This collection of papers from the first UK Logic Programming Conference, London, February 1989, presents the results of research in the UK supported by the Alvey program. The papers, from both industry and academia, cover both theory and application. Annotation copyright Book News, Inc. Portland, Or.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.