W-Prolog

http://goanna.cs.rmit.edu.au/~winikoff/wp/

SWI-Prologのサイトが繋がらないみたいですのでW-Prologなるものを見つけてきました。Javaで書かれててほんとお手軽。

可能性の列挙なんてのはPrologの仕事だ…なんて、いきなり数日前の真逆の意見を書いてみるテスト。*1

human(jim).
human(pam) :- not(human(jim)).
human(val) :- human(alb).
human(alb).

とか入れといて

human(X)

とQueryしてMoreMoreすると

Yes: human(jim)
(approx. 31 ms., memory used: 14% out of 2 Mb)
Yes: human(val)
(approx. 31 ms., memory used: 14% out of 2 Mb)
Yes: human(alb)
(approx. 31 ms., memory used: 14% out of 2 Mb)
No.

とかなんとか。
仮にAI対戦verの人狼を作るとしてもこんな感じだと思います。

*1:単にVAIOが戻ってくるまで作業ができないので欲求不満なだけかもしれません。本番では決して使わないことを誓います