HiLog: A foundation for higher-order logic programming
- 28 February 1993
- journal article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 15 (3), 187-230
- https://doi.org/10.1016/0743-1066(93)90039-j
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Automata-driven indexing of prolog clausesThe Journal of Logic Programming, 1995
- F-logic: a higher-order language for reasoning about objects, inheritance, and schemeACM SIGMOD Record, 1989
- BAROQUE: a browser for relational databasesACM Transactions on Information Systems, 1986
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networksArtificial Intelligence, 1980
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940