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
Replying to
Oh not before! I think it introduces data types in a similar way to Makam and λProlog right? What made you bring it up?
Replying to
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
Yeah, maybe λProlog was inspired? Wikipedia doesn't really show it, but perhaps it's mentioned in some of the papers/documentation?
1
Show replies