MANTI

Haskell ★ 31 updated 13y ago

A pure subset of Prolog, implemented in Haskell

No plain-English explanation yet — one is being written right now. Check back in a minute.