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已无更新版本。
外部链接
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.