Declarative modeling of the operational behavior of logic languages
- 1 December 1989
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 69 (3) , 289-318
- https://doi.org/10.1016/0304-3975(89)90070-4
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- A fixpoint semantics of Horn sentences based on substitution setsTheoretical Computer Science, 1987
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's methodThe Journal of Logic Programming, 1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Unit Refutations and Horn SetsJournal of the ACM, 1974