>>791
ちょっとは自分で調べてくれ。
http://www.summa.jp/lang/logic/

Prologがオススメ。