https://github.com/meditans/unification-sop
Haskell package that implements typed terms with logical variables in a prolog-style
https://github.com/meditans/unification-sop
generic-programming haskell logic-programming prolog
Last synced: 11 months ago
JSON representation
Haskell package that implements typed terms with logical variables in a prolog-style
- Host: GitHub
- URL: https://github.com/meditans/unification-sop
- Owner: meditans
- License: bsd-3-clause
- Created: 2019-02-03T21:27:08.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-03-21T00:14:47.000Z (almost 7 years ago)
- Last Synced: 2025-01-24T05:15:16.765Z (about 1 year ago)
- Topics: generic-programming, haskell, logic-programming, prolog
- Language: Haskell
- Homepage:
- Size: 165 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0