Logic Programming
Expanding the Horizons
Published on 1. May 1991
Book
Hardback
200 pages
978-1-871516-15-9 (ISBN)
Description
Proceedings of the first UK Logic Programming Conference sponsored by the British Government's Alvey Programme. This book provides an up-to-date presentation of the results of advanced UK research in the general area of Logic Programming, supported by the Alvey Programme. It presents both the theory and the applications of Logic Programming as chapters are provided by both industrial and academic researchers.
More details
Language
English
Place of publication
United Kingdom
Publishing group
Intellect
Target group
College/higher education
Professional and scholarly
ISBN-13
978-1-871516-15-9 (9781871516159)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
Introduction - logic programming in the UK; a logic language; PR - a language for practical reasoning; a temporal logic programming machine; virtual logic neurons; logic programming in an engineering consultancy; implementing logic languages by graph rewriting; Kelpie - a concurrent logic programming system for knowledge-based applications; evaluating different strategies for handling incomplete information in a logic database.