たけおかの Prologページ 目次
Prologを使ってみる (動作確認 程度のProlog入門)
Prologの入門文書に飽きた人に
WAM; Warrenの抽象マシンの論文の和訳
GnuEmacsと、Prologを一緒に使うと便利! (古い prolog.el用)
GnuEmacsと、Prologを一緒に使うと便利! (新しい prolog.el用)
実際にProlog処理系を使ったときの、あれこれ
Prologで記述した、StarTrek(1976年頃流行した古いゲーム)
イスカンダルのトーフ屋ゲーム(1978年に発表された、古いゲーム)をPrologで記述した
SB-Prologを使う
時相論理言語 Temporal Prolog の一実現について
Temporal Prolog(たけおか版)マニュアル
Temporal Prolog ソース
Temporal Prolog サンプルなど、ファイル一式
Temporal Prolog(たけおか版)の説明(関西コーダーズ 2011/JUN/19)
名状しがたい SAN値Prologマニュアル
SAN値Prolog ソース
SAN値論理と名状しがたいSAN値Prolog (kernel/VM探検隊 2012/APR/22)
Prologなどの歌
たけおかの Lispページ 目次
たけおかのAIlaboホームページ
たけおか(竹岡尚三)のホームページ