Publisher's Synopsis
A collection of papers presenting both theory and application of logic programming from both industry and academia. The topics covered include: logic for practical reasoning, temporal programming machines, concurrent logic programming systems, and virtual logic neutrons.