Software Engineering and Prolog References

Appeared in Volume 7/3, August 1994


tsarcho@dfki.uni-kl.de 
Panagiotis Tsarchopoulos
22nd April 1994

Any references to Software Engineering books/articles related to the development of Prolog (or generally Logic) programs are appreciated.


fuchs@ifi.unizh.ch 
Norbert E. Fuchs
28th June 1994

Here are some references:

T. Clement, K.-K. Lau (Eds.), Proc. of LOPSTR '91, Springer Verlag, 1992

K.-K. Lau, T. Clement (Eds.), Proc. of LOPSTR '92, Springer Verlag, 1993

Y. Deville (Ed.), Proc. of LOPSTR '93, Springer Verlag, 1994

A. Bundy, Tutorial Notes: Reasoning about Logic Programs, in: G. Comyn, N. E. Fuchs, M. Ratcliffe (Eds.), Logic Programming in Action, Proc. of the LP Summer School LPSS '92, LNAI 636, Springer Verlag, pp. 252-277, 1992

P. Flener, Logic Algorithm Synthesis from Examples and Properties, PhD, Universite Catholique de Louvain, 1993

Y. Deville, Logic Programming, Systematic Program Development, Addison-Wesley, 1990

M. P. J. Fromherz, A Methodology for Executable Specifications Combining Logic Programming, Object-Orientation and Multiple Views. University of Zurich, Computer Science Dept., Ph.D. thesis, 1993

N. E. Fuchs, Specifications Are (Preferably) Executable, Software Engineering Journal, September 1992, pp. 323-334

N. E. Fuchs, Hoare Logic, Executable Specifications and Logic Programs, Structured Programming, 13, pp. 129-135, 1992

N. E. Fuchs, M. P. J. Fromherz, Schema-Based Transformations of Logic Programs, in: K.-K. Lau, T. Clement (Eds.), Proc. of LOPSTR '91, University of Manchester, 1991, Springer, 1992

N. E. Fuchs, M. P. J. Fromherz, Software Development Based on Executable Specifications and Transformations, Technical Report 94.07, Department of Computer Science, University of Zurich, to appear in C. Beierle, L. Plumer (eds.), Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and AI, Elsevier