[Prolog]
Prolog入門
理論
Prologのプログラムは次の３つの要素から成る。
事実: 事物とその関係についていくつかの事実を宣言すること。
規則: 事物とその関係についての規則を定義すること。
質問: 事物とその関係について質問すること。
実際のインストール手順
- Debian/busterで検証
$ sudo apt-get install swi-prolog $ prolog --version SWI-Prolog version 8.0.2 for x86_64-linux
- 簡単なプログラム
- statementの終わりにはピリオドが必要
$ cat hello.pl
human(me).
human(you).
parent(me, papa).
parent(me, mama).
parent(papa, grandpa).
parent(mama, grandma).
ancestor(X, Y) :- parent(X, Y).
ancestor(X, Z) :-
ancestor(X, Y),
parent(Y, Z).
// ディレクトリの移動
?- chdir('/path/to/src/').
true.
// ソースファイルの読み込み
?- [hello].
true.