Representing Logic Program Schemata in Prolog (1995)

Cached

Download Links

by Timothy S. Gegg-harrison
Venue:Proceedings of the Twelfth International Conference on Logic Programming
Citations:13 - 2 self

Documents Related by Co-Citation

36 Applying Techniques to Skeletons – L. S. Sterling, M. Kirschenbaum - 1993
33 Schema-Based Transformations of Logic Programs – Norbert Fuchs, Markus P. J. Fromherz - 1991
11 Extensible Logic Program Schemata – Timothy S. Gegg-harrison
17 An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations – Wamberto W. Vasconcelos, Norbert E. Fuchs - 1996
12 Logic Program Transformation through Generalization Schemata – Pierre Flener, Yves Deville - 1996
57 Logic Program Synthesis from Incomplete Specifications – Pierre Flener , Yves Deville - 1993
11 Declarative Logic Programming with Primitive Recursive Relations on Lists – Andreas Hamfelt, Jørgen Fischer Nilsson - 1996
1312 Monads for functional programming – Philip Wadler - 1995
11 Cliche programming in Prolog – Dave Barker-Plummer - 1990
5 Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types – E. Marakakis, J. P. Gallagher - 1994
10 Generalization and program schemata: A step towards computer-aided construction of logic programs – Y Deville, J Burnay - 1989
68 Logic Programming: Systematic Program Development – Y DeVille - 1990
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
62 The implementation of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi , Fergus James Henderson, Thomas Charles Conway - 1995
55 Top-down synthesis of divide-and-conquer algorithms – D R Smith - 1985
139 Transformation of logic programs: foundations and techniques. Journal of Logic Programming – A Pettorossi, M Proietti - 1994
1858 Foundation of Logic Programming – J W Lloyd - 1987
176 An overview of -prolog – D Miller, G Nadathur - 1988
20 Basic Prolog Schemata – Timothy S Gegg-Harrison - 1989