>>395
いっそPrologなどいかがでしょう。むかしメジャーでしたし、
これ以上不可能くらいに枯れてますよ。