あとで読む

http://assam.cims.hokudai.ac.jp/ai/
http://assam.cims.hokudai.ac.jp/~k_mit/
ざっと見て…PrologはNFAシミュレータ(暴言)として、ETはなんなのだろう。イメージがさっぱり。
メモ。
GHCはGuarded Horn ClausesであってHaskellコンパイラではない、あとDルールが時々D言語表記されるがもちろんdmdではない。表記されてるように思えるが本当にdmdの場合もあるので要注意…。