Intensional query answering by partial evaluation
- 1 November 1996
- journal article
- Published by Springer Nature in Journal of Intelligent Information Systems
- Vol. 7 (3) , 205-233
- https://doi.org/10.1007/bf00125368
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- What is failure? An approach to constructive negationActa Informatica, 1995
- Partial deduction of logic programs wrt well-founded semanticsNew Generation Computing, 1994
- Loop checking in partial deductionThe Journal of Logic Programming, 1993
- Data management for mobile computingACM SIGMOD Record, 1993
- Supporting Transformations for the Partial Evaluation of Logic ProgramsJournal of Logic and Computation, 1993
- Partial evaluation in logic programmingThe Journal of Logic Programming, 1991
- The limitations of partial evaluationPublished by Springer Nature ,1989
- Intelligent query answering in rule based systemsThe Journal of Logic Programming, 1987
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984