Scoping constructs in logic programming: Implementation problems and their solution

Higher-order abstract syntax

Frank Pfenning, Conal Elliott · ACM SIGPLAN Notices · 1988 · 587 citations · Full text

Computing, Computer Science, Formal Methods +10

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations

Computing, Computer Science, Logic +16

A unification algorithm for typed λ-calculus

G. Huet · Theoretical Computer Science · 1975 · 509 citations

Computing, Computer Science, Programming Languages +10

A logical analysis of modules in logic programming

Dale Miller · The Journal of Logic Programming · 1989 · 235 citations

Computing, Computer Science, Formal Methods +10

International conference on logic programming

Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · 2014 · 144 citations

Computing, Computer Science, Artificial Intelligence +12