acfoltzer / Molog

A typed logic programming language embedded in Haskell
49Updated 11 years ago

Related projects

Alternatives and complementary repositories for Molog