Home
FAQ:
Frequently Asked Questions
-
What features does lambda Prolog have?
-
polymorphic typing
-
sound unification
-
implicational and universal quantified queries
-
modular programming
-
abstract data types
-
higher-order programming
-
simply-typed lambda-terms
-
unification of lambda-terms
-
Is there any course material available for lambda Prolog?
- Leavens's course (Summer 95)
- Nadathur's course (Summer 95)
- Miller's course (Spring 95)
-
Is lambda Prolog a mixture of functional and logic programming?
-
What implementations of lambda Prolog are available?
- Teyjus
- Terzo
- Prolog/Mali
- LP-SML
- eLP
- LP2.7
-
What languages are related to lambda Prolog?
Home