Visual Prolog

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

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