该论文调查了 TLP 及其在 XSB Prolog 中的实现应用,同时讨论了 XSB Prolog 如何在动态改变代码和多线程环境下支持 tabling 以提高程序效率,并应用到程序分析和语义 Web 的查询中。
Dec, 2010
该研究介绍了 ProbLog 的概念以及相关算法,针对大型生物网络提出了一种有效执行查询的方式。
Jun, 2010
SWI-Prolog 作为一个社区项目,是一个用于构建知识密集型和交互式系统的工具,支持 Prolog 社区中开发的各种思想并作为外部资源之间的粘合剂。
Nov, 2010
B-Prolog 语言实现了标准 Prolog 语言,并引入了匹配子句,有限域约束求解,循环结构等特性,同时使用了 TOAM 和 TOAM Jr. 体系结构,支持操作规则和表格
Mar, 2011
本文提出了一个基于 Prolog 语言的面向机器人的知识管理系统,该系统具有以下特点:1. 使用大型语言模型的半自动化过程从自然语言文本中高效填充知识库;2. 通过一系列转换实现多机器人系统的时间并行计划的无缝生成;3. 将计划自动翻译成可执行的形式化(行为树)。该框架由一套开源工具支持,并应用在一个实际应用上。
Sep, 2023
本文介绍了概率逻辑编程(PLP)及其相关技术(如 PRISM、Possibilistic Logic Programming 等),并展示了 PITA 系统如何能够高效支持 PLP、PRISM 和 PLP。
Jul, 2011
本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序,并使用标准的 Prolog 执行有效地回答实例检索查询,是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够储存在数据库中而不必放在内存中,这提高了可扩展性并有助于在现有信息源的基础上直接使用描述逻辑本体。
Apr, 2009
介绍了基于纯逻辑物理模型语言的扩展的逻辑编程形式,其中的复杂定义是作为规则集的表示,并且通过多种形式的推理来解决不同的计算问题。
Jan, 2014
本研究基于神经网络、自然语言处理和 Prolog 设计了一套对话引擎,可与排名文本数据库进行交互,在利用句法信息和 WordNet 等语义信息后能够动态展示文本图表中最相关的内容元素。
Jul, 2020
这篇文章回顾了 SICStus Prolog 的发展历程,并介绍了其语言设计、交互式开发环境和关键应用。同时,作者还总结了 SICStus Prolog 的优点和一些不太好的设计决策。