!Progol
という言語を教えてもらった．
http://www.doc.ic.ac.uk/~shm/progol.html
帰納で推論規則をつくるらしい．
結構，いろいろな大学のチュートリアルとかもあるみたい．