Publisher's Synopsis
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs, implementation of logic programming systems, and inference machines.