Explicit control of logic programs through rule algebra
- 1 March 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 103-116
- https://doi.org/10.1145/308386.308422
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Relational queries computable in polynomial time (Extended Abstract)Published by Association for Computing Machinery (ACM) ,1982