[Prolog]
Prolog入門
理論
Prologのプログラムは次の3つの要素から成る。
事実: 事物とその関係についていくつかの事実を宣言すること。
規則: 事物とその関係についての規則を定義すること。
質問: 事物とその関係について質問すること。
実際のインストール手順
- 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.