-R. Dyckhoff (Ed.): Extensions of Logic Programming, Proceedings 1993, Springer-Verlag 1994