This book describes an ongoing equational programming project that started in 1975. Within the project an equational programming language interpreter has been d

This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authorit

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial