Higher-order logic programming

by Gopalan Nadathur , Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Citations:155 - 18 self

Active Bibliography

305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
1111 Proof-Carrying Code – George C. Necula - 1997
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
Higher-Order Logic as the Basis for Logic Programming – Higher-order Horn Clauses, Gopalan Nadathur, Gopalan Nadathur, Dale Miller - 1989
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991