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

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

Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Mad

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences