2007-05-13 パーサ Prolog で検索したらこんなのがあったLilfes - http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manual/chap3.ja.html > ?- X = 三角形, X = 二等辺三角形. X: 二等辺三角形 > ?- X = 二等辺三角形, X = 直角三角形. X: 直角二等辺三角形 > ?- X = 正三角形, X = 直角三角形. no 型つきPrologというところか.これだとパーサがかきやすいのかな.