HaskellでPrologっぽいものを作ってみた。正しいPrologの挙動が分からないのでアレだけども {-# OPTIONS -fglasgow-exts #-} {-# OPTIONS -fno-monomorphism-restriction #-} module Prolog where import List(nub) import Monad(liftM) import Control.Mona…

http://citeseer.ist.psu.edu/303981.html を読んだ。Backtracking~とかはどうでもよくて、論文でTerm implementationとContext passin implementationというのが出てくるけど、この二つの定義の関係がよくわからん。Term implementationって、例えば、GADT…

そんなことして、油売ってる場合ではない