SWI-Prolog入門

インストール
$ sudo apt install swi-prolog

処理系の起動
$ swipl

処理系を起動すると下記の表示になる
?-

処理系の終了
?- halt.

Helpの表示
$ swipl --help

処理系内でのHelpの表示
処理系内で項目ごとのHelpを表示できる
「consult」のHelpを表示する例
?- help(consult).
Helpを終了するには「q」を押す