Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. R. Apt, From Logic Programming to Prolog, Prentice Hall International, NJ 1996
2. Lect Notes Comput Sci;B. Demoen,1993
3. D. De Schreye, R. Gluck, J. Jorgensen, M. Leuschel, B. Martens, M. H. Sorensen, Conjunctive partial deduction: foundations, control, algorithms and experiments, The Journal of Logic Programming 41 (1999), 231–277
4. M. Falaschi, G. Levi, M. Martelli, C. Palamidessi, Declarative Modeling of the Operational Behavior of Logic Languages, Theoretical Sci. 69(3):289–318 (1989)
5. M. Leuschel, Dozen Problems for Partial Deduction (A Set of Benchmarks) http://www.ecs.soton.ac.uk/~mal/systems/dppd/