Prolog
知識と推論
https://www.kyoritsu-pub.co.jp/bookdetail/9784320026605
Prologの背景となる述語論理についての解説と、Prologの実装の両方が記載されているらしい
The Power of Prolog(英語によるPrologのまとまった解説本)
https://www.metalevel.at/prolog
ブラウザで動作するProlog向けビジュアル
IDE
環境
https://github.com/toblotron/praxis-ide
Scryer Prolog
Rust
で実装された処理系
https://www.scryer.pl/
Prologでゲームプログラミング
Game Programming in Prolog - Part 1
#プログラミング言語