just did a map using two lists as input! logic programming is cooool
having fun playing with makam:
Conversation
Having too much fun with Makam…
3
3
Have you tried Twelf?
1
Oh not before! I think it introduces data types in a similar way to Makam and λProlog right? What made you bring it up?
1
Yes, syntax looks very familiar. I don't know what's the theory behind Makam and λProlog, but Twelf is based on en.wikipedia.org/wiki/Logical_f
Actually they look very similar. I wonder why there is no any "what's the difference" description.
2
1
IIUC, Makam is mainly intended for prototyping and Twelf for proving.
1
1
Yeah, there's no real facility for doing proofs about a logic in Makam. It's nice for building an executable prototype in a form that is not far off natural deduction though, with some support for inline tests.
In comparison to other similar tools, I really like how everything is just lamda-prolog clauses. From messing around the ascii psuedo-maths notation is more trouble than it's worth. It's nice to have namespaces and words :)