Feb, 2011

Ciao 及其设计哲学概述

PDF
TL;DRCiao 是一种多范式编程系统，支持逻辑编程，提供了许多来自不同编程范式和风格的有用特性，同时支持模块化和分离编译等编程环境，并提供了强大的预处理器和单元测试框架等工具，旨在在保留动态语言的灵活性和交互式开发的同时，提供静态语言的竞争力。
发现论文，激发创造
  • B-Prolog 的语言特征和架构

    B-Prolog 语言实现了标准 Prolog 语言，并引入了匹配子句，有限域约束求解，循环结构等特性，同时使用了 TOAM 和 TOAM Jr. 体系结构，支持操作规则和表格

    Mar, 2011

  • YAP Prolog 系统

    本文介绍了 Prolog 系统 YAP 的结构和设计，重点介绍了 YAP 为逻辑编程社区做出的三个重要贡献：实现高效的 Prolog 引擎、提供动态索引机制并在单个逻辑编程系统中集成或并行和 tabling。

    Feb, 2011

  • ECLiPSe - 从 LP 到 CLP

    ECLiPSe 是一款基于 Prolog 的编程系统，旨在开发和部署约束编程应用程序，同时也用于教授组合问题求解的大多数方面，如问题建模、约束编程、数学规划和搜索技术。

    Dec, 2010

  • eclingo: 一个 Epistemic Logic Programs 求解器

    eclingo 是基于 Answer Set Programming 系统 clingo 开发的一个解决 Gelfond 1991 下的认知逻辑程序的求解器，通过使用 clingo 的语法扩展能力定义主观文字实现了对程序的谨慎和勇敢结果的搜索，并在一些场景中提高求解效率。

    Aug, 2020

  • SWI-Prolog

    SWI-Prolog 作为一个社区项目，是一个用于构建知识密集型和交互式系统的工具，支持 Prolog 社区中开发的各种思想并作为外部资源之间的粘合剂。

    Nov, 2010

  • PITA 系统：带表和答案包含的不确定推理

    本文介绍了概率逻辑编程（PLP）及其相关技术（如 PRISM、Possibilistic Logic Programming 等），并展示了 PITA 系统如何能够高效支持 PLP、PRISM 和 PLP。

    Jul, 2011

  • 谓词逻辑作为建模语言：IDP 系统

    介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式，其中的复杂定义是作为规则集的表示，并且通过多种形式的推理来解决不同的计算问题。

    Jan, 2014

  • XSB：使用表格逻辑编程扩展 Prolog

    该论文调查了 TLP 及其在 XSB Prolog 中的实现应用，同时讨论了 XSB Prolog 如何在动态改变代码和多线程环境下支持 tabling 以提高程序效率，并应用到程序分析和语义 Web 的查询中。

    Dec, 2010

  • SICStus Prolog -- 首个 25 年

    这篇文章回顾了 SICStus Prolog 的发展历程，并介绍了其语言设计、交互式开发环境和关键应用。同时，作者还总结了 SICStus Prolog 的优点和一些不太好的设计决策。

    Nov, 2010

  • Clingo = ASP + Control: 预备报告

    介绍了新的 ASP 系统 clingo 4，其提供高级结构来实现复杂推理过程，支持高级搜索形式（如优化或理论求解），并通过嵌入脚本语言 lua 和 python 实现控制能力，为 ASP 的声明输入语言提供了一种新的指令来支持命名和可参数化子程序的逻辑程序结构化。通过严格分离逻辑程序和控制程序，clingo 4 还取消了增量和反应推理的专用系统，其灵活性超越了 iclbingo 和 oclingo 的解决过程。

    May, 2014