Here's a Prolog implementation of a version of the language and I have been working on. I'm pretty sure that the algebraic setup is wrong (meaning that the calculus doesn't admit substitution), but the rest of the file is parametric in that. gist.github.com/laMudri/dd47ef
Conversation
Would be fun to try this in Makam! Been playing around with it recently and it's been a bunch of fun.
1
It's nice because you can actually do data types in it without needing to resort to comments (no mode checking though, sadly):
Quote Tweet
Replying to @brendanzab and @luctielen
This is what I have so far of my Makam work, if you're interested: gist.github.com/brendanzab/7a3
1
Yeah, I'm quite keen on trying this in another logic programming language. My wishlist is:
- Parametrised modules
- Static types, modes
- Functions/macros on terms
- Custom (infix) term notation
- Exhaustive testing of laws over finite domains
I guess Makam offers a few of these.
3
2
Mercury is the other one I can think of, so that's where the dilemma is.
1
1
Hey you are forgetting GHC's constraint solver
2
3
Oh yeah I forgot GHC was a dynamically typed interpreted logic programming language