https://arolstar52-zhtest.hf.space/index.php?action=history&feed=atom&title=Visual_Prolog
Visual Prolog - 版本历史
2026-06-25T19:33:03Z
在这个wiki上该页的修订历史
MediaWiki 1.43.8
https://arolstar52-zhtest.hf.space/index.php?title=Visual_Prolog&diff=2463031&oldid=prev
imported>InternetArchiveBot：补救2个来源，并将0个来源标记为失效。) #IABot (v2.0.8.7
2022-05-18T15:43:41Z
<p>补救2个来源，并将0个来源标记为失效。) #IABot (v2.0.8.7</p>
<p><b>新页面</b></p><div>{{Infobox software<br />
| company_name = Borland軟體公司<br />
| name = Turbo Prolog <br />
| company_logo = [[File:Borland logo.svg|150px]]<br />
| latest release version = 2.0<br />
| latest release date = {{release date and age|1988}}<br />
| programming language = [[C語言]]及[[組合语言]]<br />
| operating system = [[DOS]],[[Windows]]<br />
| genre = [[Prolog]],[[人工智慧]]<br />
| license = [[Commercial Software]]<br />
| homepage = [http://www.borland.com/ www.borland.com]<br />
| screenshot = [[File:TurboProlog1.png|200px]]<br />
}}<br />
<br />
Turbo Prolog 是一個以[[Prolog]](即：Programming in Logic) 語言的軟體，該系統只適用於[[MS-DOS]], 亦可以使用[[Windows]]內的Console介面來編輯使用。<br />
<br />
== 版本資訊 ==<br />
Turbo Prolog 1.0 版本是Borland公司於 1986年面世，但隨後於同年再出版 1.1 版本，於1988年推出 Turbo Prolog 2.0版本後即未再有更新的商業版本。 而最新的版本是視窗化，可視覺化版本'''Visual Prolog'''。<br />
<br />
[[File:TurboProlog2.png|250px]]<br />
<br />
== 軟體說明 ==<br />
[[Borland]] Turbo Prolog 採用了特殊的 [[Prolog]] 的語法與類型的變量，並於使用上有一些限制，但這不符合Edinborough的標準。 然而，Turbo Prolog 編輯器包含基本的使用者介面，可以方便設計人使用。而[[Prolog]]是一種邏輯編程語言。它建立在邏輯學的理論基礎之上，最初被運用於自然語言等研究領域。現在它已廣泛的應用在人工智慧的研究中，它可以用來建造專家系統、自然語言理解、智慧知識庫等，在早期的機器智慧研究領域，[[Prolog]]曾經是主要的開發工具。而Prolog語言中最重要的功能即是：回溯，這點與其他一般的程式語言有著明顯的不同。<br />
<br />
== 程式資訊 ==<br />
[[Prolog]]的程式語言包含了三個主要部份：domains, predicates 與 clauses，而執行程式則是以Goal來回應。<br />
<br />
說明如下：<br />
<br />
domains 宣告。定義欄位的屬性，如：文字，整數，數值...等。<br />
<br />
predicates 判斷，或稱為謂詞。即給事實項目的判斷定定義與關係。<br />
<br />
clauses 事實，或稱為子句段。即為輸入已知的事實條件。<br />
<br />
== 範例程式 ==<br />
範例是說明誰喜歡那一種運動。其中Bill喜歡的運動，就是與Tom喜歡的相同，皆是Baseball<br />
<syntaxhighlight lang="prolog"><br />
domains<br />
person, activity = symbol<br />
<br />
predicates<br />
likes(person, activity)<br />
<br />
clauses<br />
likes(Ellen, Tennis).<br />
likes(John, Football).<br />
likes(Tom, Baseball).<br />
likes(Eric, Swimming).<br />
likes(Mark, Tennis).<br />
likes(Bill, X) if likes(Tom, X).<br />
</syntaxhighlight><br />
<br />
輸入問題：Mark喜歡Football嗎？<br />
<syntaxhighlight lang="prolog"><br />
Goal: likes(Mark, Football)<br />
</syntaxhighlight><br />
<br />
執行結果：回覆：不是<br />
<syntaxhighlight lang="prolog"><br />
No<br />
</syntaxhighlight><br />
<br />
變化問題與回覆<br />
<br />
輸入問題：喜歡Tennis有那些人<br />
<syntaxhighlight lang="prolog"><br />
Goal: likes(X, Tennis)<br />
</syntaxhighlight><br />
<br />
執行結果：回覆：有Ellen與Mark<br />
<syntaxhighlight lang="prolog"><br />
X=Ellen<br />
X=Mark<br />
2 Solutions<br />
</syntaxhighlight><br />
<br />
由範例程式可以看出Prolog語言是可以判斷問題與回應使用者的需求<br />
<br />
==注意事項==<br />
目前Turbo Prolog已無更新版本。<br />
<br />
==外部連結==<br />
* [http://www.visual-prolog.com/ Visual Prolog官方網站] {{Wayback|url=http://www.visual-prolog.com/ |date=20220413105119 }}<br />
* [http://www.gprolog.org/ GNU Prolog官方網站] {{Wayback|url=http://www.gprolog.org/ |date=20210213010842 }}<br />
<br />
[[Category:Prolog]]<br />
[[Category:基于类的编程语言]]<br />
[[Category:Borland軟體]]</div>
imported>InternetArchiveBot