Abstract

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.