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
Yeah, maybe λProlog was inspired? Wikipedia doesn't really show it, but perhaps it's mentioned in some of the papers/documentation?
1
They are different types of logics, but very similar.
I have found a paper that provides a translation from LF to λProlog and vice versa (chapter 5) eiti.uottawa.ca/~afelty/dist/d
1
1