2006-04-08 あとで読む ET 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の場合もあるので要注意…。