Visual Prolog

Turbo Prolog

当前版本	2.0（1988年​（1988））
编程语言	C語言及組合语言
操作系统	DOS,Windows
类型	Prolog,人工智慧
许可协议	Commercial Software
网站	www.visual-prolog.com

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 事實

範例程式

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).

輸入問題

Goal: likes(Mark, Football)

執行結果

No