Publisher's Synopsis
Provides an introduction to logic programming, covering such subjects as virtual logic neurons, logic programming in an engineering consultancy, implementing logic languages by graph rewriting, and Kelpie - a concurrent logic programming system for knowledge-based applications.