Memoing for logic programs
- 1 March 1992
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 35 (3), 93-111
- https://doi.org/10.1145/131295.131299
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Magic templates: a spellbinding approach to logic programsThe Journal of Logic Programming, 1991
- A practical framework for theabstract interpretation of logic programsThe Journal of Logic Programming, 1991
- Query evaluation in recursive databases: bottom-up and top-down reconciledData & Knowledge Engineering, 1990
- Recursive query processing: the power of logicTheoretical Computer Science, 1989
- Automatic mode inference for logic programsThe Journal of Logic Programming, 1988
- The Alexander Method — A technique for the processing of recursive axioms in deductive databasesNew Generation Computing, 1986
- 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
- An efficient context-free parsing algorithmCommunications of the ACM, 1970