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)

Related topics

Related topics

11 relations
Higher-order abstract syntaxHigher-order programmingLambda calculusList of programming languages by type

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
We present a framework and proof-of-concept implementation for functional spatial reasoning within high-order logic programming… 
2001
2001
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
This paper reports a case study in the use of proof planning in the context of higher order syntax. Rippling is a heuristic for… 
1999
1999
Lightweight Lemmas in lProlog
1998
1998
Abstract compilation of lProlog
1998
1998
Compilation abstraite de LambdaProlog
1996
1996
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations
We discuss issues relevant to the practical use of a previously proposed notation for lambda terms in contexts where the… 
1995
1995
Representing Logic Program Schemata in lambda-Prolog
Program schemata and programming techniques provide a mechanism for representing the essential characteristics of logic programs… 
1994
1994
A Semantics for lambda-Prolog
1993
1993
Continuations in λProlog
Continuations are well known in functional programming where they have been used to transform and compile programs. Some… 
1993
1993
Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)