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 [email protected]. Tony Dodd Richard Owens Steve Torrance