One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. This
Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial e
Covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases,language design and implement
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and paralleli