jmaessen/toylog
A series of simple datalog engines in Haskell, demonstrating argument-counting classes for semi-naive evaluation and prefix matching via constructor currying
正在读取项目信息…
A series of simple datalog engines in Haskell, demonstrating argument-counting classes for semi-naive evaluation and prefix matching via constructor currying