GitHub - meditans/unification-sop: Haskell package that implements typed terms with logical variables in a prolog-style

meditans / unification-sop Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

Haskell package that implements typed terms with logical variables in a prolog-style

BSD-3-Clause license

3 stars 0 forks Branches Tags Activity

Notifications

About

Haskell package that implements typed terms with logical variables in a prolog-style

haskell prolog generic-programming logic-programming

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages