トップ 差分 一覧 Farm ソース 検索 ヘルプ PDF RSS ログイン

Diary/2008-6-20

Progol

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