Logic Programming - New Frontiers
Brough, D. R. / Brough, D. R. This book contains a collection of papers from the second conference of the Association for Logic Programming. The work included contains original contributions from leading researchers on the theory, applications and implementations of logic programming.
The range of topics includes: Framework for Principled Debugging of Prolog Programs A Model of OR-Parallel Prolog Execution Using Graph Reduction Applications of Constraint Logic Programmin...