λProlog

λProlog is a programming language created in 1988 by Gopalan Nadathur and Dale Miller.

λProlog is a logic programming language that extends Prolog by incorporating notions of higher-order functions, λ-terms, higher-order unification, polymorphic types, and mechanisms for building modules and secure abstract data types.

• Tags: programming language
• Early development of λProlog happened in Duke University and University of Pennsylvania
• λProlog on HOPL
• Read more about λProlog on the web: 1.