たけおかの 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ホームページ

たけおか(竹岡尚三)のホームページ