Partial deduction of updateable definite logic programs
- 31 January 1994
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 18 (1), 1-26
- https://doi.org/10.1016/0743-1066(94)90039-6
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- Updating knowledge basesNew Generation Computing, 1990
- Updates, a new frontierLecture Notes in Computer Science, 1988
- An experiment in partial evaluation: The generation of a compiler generatorLecture Notes in Computer Science, 1985