HiLog: A foundation for higher-order logic programming

This publication has 30 references indexed in Scilit:

• Automata-driven indexing of prolog clauses
  The Journal of Logic Programming, 1995
• F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
  ACM SIGMOD Record, 1989
• BAROQUE: a browser for relational databases
  ACM Transactions on Information Systems, 1986
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• The undecidability of the second-order unification problem
  Theoretical Computer Science, 1981
• Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks
  Artificial Intelligence, 1980
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Completeness in the theory of types
  The Journal of Symbolic Logic, 1950
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940