Skip to search formSkip to main contentSkip to account menu

ΛProlog

Known as: LProlog, Lambda prolog, LambdaProlog 
λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming… 
2017
2017
Many language designers have adopted gradual typing. However, there remains open questions regarding how to gradualize languages… 
2016
2016
Many languages are beginning to integrate dynamic and static typing. Siek and Taha offered gradual typing as an approach to this… 
2001
2001
We give a logic programming language based on Fiore, Plotkin and Turi's binding algebras.In this language, we can use not only… 
2000
2000
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of… 
1997
1997
We describe the construction and use of a system for translating higher order logic-based specifications into programs in the…