Logic programming : expanding the horizons

First published in Great Britain in 1991 by Intellect Books Suite 2, 108/110 London Road, Oxford OX3 9AW British Library Cataloguing in Publication Data Logic programming: expanding the horizons. 1. Computer systems. Programming I. Dodd, Tony 1952- II. Owens, Richard II. Torrance, Steve ISBN 1-871516-15-3 Printed and bound in Great Britain by Billings & Sons Ltd, Worcester Preface ======= This volume contains eight of the papers given at the Expanding the Horizons workshop held at Imperial College on 13th-14th February 1989, and retrospectively numbered as the first UK Logic Programming Conference, a subsequent conference having been held in Bristol in 1990 and a third planned for Edinburgh in 1991. The second and third editors organised the workshop together with Chris Moss and John Smith, while the first organised the publication of this volume. The summary programme distributed to delegates appears on the following page. The editors wish to record their thanks to Intellect Ltd for helping overcome the various problems that arose while the volume was in preparation, and to the authors for their patience and co-operation. Readers may be interested to know of the existence of the U.K. branch of the Association for Logic Programming, which is ultimately responsible for the UK Logic Programming Conference and offers a number of other services to members. Further details may be obtained from A.L.P. U.K. P.O. Box 469 Oxford OX2 0RR or email alpuk@uk.ac.ic.doc. Tony Dodd Richard Owens Steve Torrance 1 Introduction: The Logic Programing Initiative (Correct Title: "Introduction: Alvey and Logic Programming") Tony Dodd and Steve Torrance 14 1: An Incremental Pure Logic Language with Constraints and Classical Negation Ed Babb 63 2: PR: A Logic for Practical Reasoning Tim Flannagan 82 3: A Temporal Logic Programming Machine Dov Gabbay 124 4: Evaluating Different Strategies for Handling Incomplete Information in a Logic Database Qinzheng Kong and Howard Williams 147 5: Virtual Logic Neurons Fukimi Kozato and Graem Ringwood 164 6: Implementing Logic Languages by Graph Rewriting Peter Mc.Brien 189 7: Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications Hamish Taylor 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.