Meta-Programming in Logic Programming (1994)

View PDF

Download Links

by P.M. Hill , J.G. Gallagher , P. M. Hill , J. Gallagher
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming
Citations:51 - 3 self

Active Bibliography

141 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
1 Advanced techniques in finite unfolding – Bernhard Martens, Daniel De Schreye
2 Developing Correct and Efficient Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 1996
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
117 S-Semantics Approach: Theory and Applications – A. Bossi, M. Gabbrielli, G. Levi, M. Martelli - 1994
42 Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments – Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen - 1999
18 Metaprogramming in Logic – Jonas Barklund - 1994
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000