Visual Prolog

Turbo Prolog

File:TurboProlog1.png
当前版本	2.0（1988年​（1988））
源代码库	{{URL|example.com|可选的显示文本}}
编程语言	C语言及组合语言
引擎
操作系统	DOS,Windows
类型	Prolog,人工智慧
许可协议	Commercial Software

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。

File:TurboProlog2.png

软体说明

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已无更新版本。

外部链接

• Visual Prolog官方网站 （页面存档备份，存于互联网档案馆）
• GNU Prolog官方网站 （页面存档备份，存于互联网档案馆）