ΛProlog
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
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
- 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?
2001
1999
1999
- 1999
λProlog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and… (More)
Is this relevant?
1997
1997
- 1997
The language λProlog incorporates a module notion that permits the space of names and procedure declarations to be decomposed… (More)
Is this relevant?
1995
1993
Highly Cited
1991
Highly Cited
1991
- ELP
- 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
- 1988
λProlog is a logic programming language that extends Prolog by incorporating notions of higher-order functions, λ-terms, higher… (More)
Is this relevant?