モーダスポーネンス

Prolog備忘録的メモ

swiファイル読み込み

['XXX.swi'].

Prolog使い方

https://www.katolab.nitech.ac.jp/lecture/PROLOG/doc/starting.pdf

Prologプログラミング

www.geocities.jp