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.
2017
2017
Many language designers have adopted gradual typing. However, there remains open questions regarding how to gradualize languages… 
2016
2016
  • D. Miller
  • Formal Aspects of Computing
  • 2016
  • Corpus ID: 7296708
In a world where trusting software systems is increasingly important, formal methods and formal proof can help provide some basis… 
2015
2015
We present a new interpreter for $$\lambda $$Prolog that runs consistently faster than the byte code compiled by Teyjus, that is… 
Highly Cited
1999
Highly Cited
1999
Higher-order, typed logic programming languages such as lambda-Prolog and Twelf have emerged in this last decade as the solution… 
Highly Cited
1996
Highly Cited
1996
  • D. Miller
  • Theoretical Computer Science
  • 1996
  • Corpus ID: 6444778
Highly Cited
1996
Highly Cited
1996
Highly Cited
1991
Highly Cited
1991
  • D. Miller
  • International Conference on Logic Programming
  • 1991
  • Corpus ID: 451294
The unification of simply typed ‚-terms modulo the rules of fl- and ·-conversions is often called “higher-order” unification… 
Highly Cited
1989
Highly Cited
1989
  • F. Pfenning
  • [] Proceedings. Fourth Annual Symposium on Logic…
  • 1989
  • Corpus ID: 6747706
A description is given of Elf, a metalanguage for proof manipulation environments that are independent of any particular logical… 
Highly Cited
1988
Highly Cited
1988
  • F. Pfenning
  • LISP and Functional Programming
  • 1988
  • Corpus ID: 9832421
We show that the problem of partial type inference in the nth-order polymorphic &lgr;-calculus is equivalent to nth-order… 
Highly Cited
1987
Highly Cited
1987
By permitting function and predicate symbols to be variables and by replacing first-order terms by simply typed $lambda$-terms, a…