swi-prolog安裝及使用(基於)

1.首先安裝程序(ubuntu下)

sudo apt-get update

sudo apt-get install swi-prolog

安裝成功後,進入程序直接通過命令行輸入prolog進入SWI-prolog

2.輸入邏輯關係

提供一個簡單的例子:

已知事實：father(tom,jerry).  father(jack,tom).
建立規則：grandfather(X,Z):-father(X,Y),father(Y,Z).
詢問：grandfather(X,jerry).

這裏有兩種輸入方式:
一.直接命令行鍵入事實與規則

[user].
這裏" . “就相當於程序運行語句結束符號” ; "
之後就隨意輸入事實與規則

二.從文件中導入規則與事實

[filename].
filename:文件名