visual prolog是一款相当强大的软件，其编程语言为prolog语言。Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现已广泛的应用在人工智能的研究中，可以用来建造专家系统、自然语言理解、智能知识库等。同时对一些通常的应用程序的编写也很有帮助，能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序
2021-08-30 20:45:43
28.21MB
1
XGP 是一个集成开发环境，它扩展了 GNU Prolog 以在 Macintosh OS X 下与 Cocoa 一起工作。它提供了与 LPA 与 MacProlog32 基本兼容的用户界面和图形工具。 需要 Mac OS X 10.2.1 或更高版本。
2021-08-03 09:32:56
2.43MB
1
这是第二部分，跟第一部分是一本书，想学Prolog的就看看吧
2021-07-24 23:43:58
13.21MB
1
我正在看这本书，感觉不错，与大家分享一下，想学Prolog的可以看一下，分两部分（因为我一次只能上传小于20M的文件）
2021-07-24 23:36:51
16.58MB
1
概要
:- use_module (library( dcg_util )) .
ho ( ho ) --> "ho" .
comma --> ", " .
?- phrase(exactly(3,ho,Matches),`hohoho`).
Matches = [ ho , ho , ho ] .
?- phrase(list(ho,comma,Santa),`ho, ho, ho`).
Santa = [ ho , ho , ho ] .
?- phrase(list(ho,comma,[ho,ho,ho]),Text).
Text = ` ho , ho , ho ` .
描述
该模块是用于处理 Prolog 的定语从句文法 (DCG) 的谓词和组合器的集合。 我尽量使这些规则对称，以便您可以将它们用于解析和生成。
这些谓词中的大多数都会分解出我在 DCG 中注意到的模式。 其中一
2021-07-03 14:06:17
8KB
1
Prolog语言实现斐波那契问题的求解 Prolog语言实现斐波那契问题的求解Prolog语言实现斐波那契问题的求解
2021-06-24 20:39:37
175B
1
已知3个柱子1，2，3和3个盘子A，B，C（A比B小，B比C小）。初始状态下，A，B，C依次放到1柱上。目标状态是A，B，C依次放在柱子2上。条件是每次可移动一个盘子，盘子上方是空顶方可移动，而任何时候都不允许大盘放在小盘之上。
包含prolog代码以及实验报告
2021-06-22 21:04:51
102KB
1
该项目使用 SWI Prolog 的推理能力来编写一个代理，该代理将在 Wumpus 世界中安全移动。
运行程序： • 打开 SWI Prolog 并加载目录 • 启动 SWI-Prolog：pl • 加载世界模拟器：?- [wumpus_world]。 • 加载代理：?- [my_agent]。 • 运行代理： ?-evaluate_agent(1, Score, Time) • 更正为：“wumpus:evaluate_agent(1, Score, Time)”？ 是
2021-06-22 15:04:55
14KB
1