Visual Prolog

Turbo Prolog 是一个以Prolog(即:Programming in Logic) 语言的软体,该系统只适用于MS-DOS, 亦可以使用Windows内的Console介面来编辑使用。

Turbo Prolog
当前版本2.0(1988年,​36年前​(1988
编程语言C语言组合语言
操作系统DOS,Windows
类型Prolog,人工智慧
许可协议Commercial Software
网站www.visual-prolog.com 编辑维基数据

版本资讯

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

外部链接