Λ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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1986-2016
024619862016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We present a new interpreter for λProlog that runs consistently faster than the byte code compiled by Teyjus, that is believed to… (More)
Is this relevant?
2009
2009
  • 2009
The name Teyjus stands ambiguously for a project and a family of systems that are about providing an efficient and robust… (More)
Is this relevant?
2009
2009
The name Teyjus stands ambiguously for a project and a family of systems that are about providing an efficient and robust… (More)
Is this relevant?
1999
1999
λProlog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and… (More)
  • figure 1
Is this relevant?
1997
1997
The language λProlog incorporates a module notion that permits the space of names and procedure declarations to be decomposed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In… (More)
Is this relevant?
Review
1988
Review
1988
λProlog is a logic programming language that extends Prolog by incorporating notions of higher-order functions, λ-terms, higher… (More)
Is this relevant?