Equivalent logic programs and symmetric homogeneous forms of logic programs with equality
- 1 February 1987
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 3 (1) , 137-145
- https://doi.org/10.1111/j.1467-8640.1987.tb00181.x
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Incorporating equality into logic programming via surface deductionAnnals of Pure and Applied Logic, 1986
- Equivalences of logic programsPublished by Springer Nature ,1986
- A logical reconstruction of Prolog IIThe Journal of Logic Programming, 1984
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976