Visual Prolog
 | |
| 当前版本 | 2.0（1988年） |
|---|---|
| 编程语言 | C语言及组合语言 |
| 操作系统 | DOS,Windows |
| 类型 | Prolog,人工智慧 |
| 许可协议 | Commercial Software |
| 网站 | www |
Turbo Prolog 是一个以Prolog(即：Programming in Logic) 语言的软体，该系统只适用于MS-DOS, 亦可以使用Windows内的Console介面来编辑使用。
版本资讯
[编辑]Turbo Prolog 1.0 版本是Borland公司于 1986年面世，但随后于同年再出版 1.1 版本，于1988年推出 Turbo Prolog 2.0版本后即未再有更新的商业版本。 而最新的版本是视窗化，可视觉化版本Visual Prolog。
软体说明
[编辑]Borland Turbo Prolog 采用了特殊的 Prolog 的语法与类型的变量，并于使用上有一些限制，但这不符合Edinborough的标准。 然而，Turbo Prolog 编辑器包含基本的使用者介面，可以方便设计人使用。而Prolog是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智慧的研究中，它可以用来建造专家系统、自然语言理解、智慧知识库等，在早期的机器智慧研究领域，Prolog曾经是主要的开发工具。而Prolog语言中最重要的功能即是：回溯，这点与其他一般的程式语言有著明显的不同。
程式资讯
[编辑]Prolog的程式语言包含了三个主要部份：domains, predicates 与 clauses，而执行程式则是以Goal来回应。
说明如下：
domains 宣告。定义栏位的属性，如：文字，整数，数值...等。
predicates 判断，或称为谓词。即给事实项目的判断定定义与关系。
clauses 事实，或称为子句段。即为输入已知的事实条件。
范例程式
[编辑]范例是说明谁喜欢那一种运动。其中Bill喜欢的运动，就是与Tom喜欢的相同，皆是Baseball
domains
person, activity = symbol
predicates
likes(person, activity)
clauses
likes(Ellen, Tennis).
likes(John, Football).
likes(Tom, Baseball).
likes(Eric, Swimming).
likes(Mark, Tennis).
likes(Bill, X) if likes(Tom, X).
输入问题：Mark喜欢Football吗？
Goal: likes(Mark, Football)
执行结果：回复：不是
No
变化问题与回复
输入问题：喜欢Tennis有那些人
Goal: likes(X, Tennis)
执行结果：回复：有Ellen与Mark
X=Ellen
X=Mark
2 Solutions
由范例程式可以看出Prolog语言是可以判断问题与回应使用者的需求
注意事项
[编辑]目前Turbo Prolog已无更新版本。