0件！

で検索したらこんなのがあったLilfes - http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manual/chap3.ja.html > ?- X = 三角形, X = 二等辺三角形. X: 二等辺三角形 > ?- X = 二等辺三角形, X = 直角三角形. X: 直角二等辺三角形 > ?- X = 正三角形, X = 直角…

コード補完． その状況で埋められるうるすべてのメソッド名などをPrologインタプリタに聞くことができる．

次のプログラミング言語のパーサをつくってみよう． class Foo { int get () { test().get() this.set() } int test() { } } 普通，構文解析にパーサジェネレータを使うが，文法を定義する支援はしてくれても，意味解析はしてくれない．せめて型があっている…