Spans the whole field of computational logic seen from the point of view of logic programming. Topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field.
