E-Book Overview
Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues of Logic Programming which were often by-passed at the large international conferences. This volume contains the twelve papers which were presented at the ALPUK's 3rd conference which was held in Edinburgh, 10-12 April 1991. The aim of the conference was to give a broad but detailed technical insight into the work currently being done in this field, both in the UK and by researchers as far afield as Canada and Bulgaria. The breadth of interest in this area of Computer Science is reflected in the range of the papers which cover - amongst other areas - massively parallel implementation, constraint logic programming, circuit modelling, algebraic proof of program properties, deductive databases, specialised editors and standardisation. The resulting volume gives a good overview of the current progress being made in the field and will be of interest to researchers and students of any aspects of logic programming, parallel computing or database techniques and management.
E-Book Content
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series Women Into Computing: Selected Papers 1988-1990 Gillian Lovegrove and Barbara Segal (Eds.) 3rd Rennement Workshop (organised by BCS-F ACS. and sponsored by IBM UK Laboratories. Hursley Park and the Programming Research Group. University of Oxford). Hursley Park, 9-11 January 1990 Carroll Morgan and J. C. P. Woodcock (Eds.) Designing Correct Circuits, Workshop jointly organised by the Universities of Oxford and Glasgow. Oxford. 26-28 September 1990 Geraint Jones and Mary Sheeran (Eds.) Functional Programming, Glasgow 1990, Proceedings of the 1990 Glasgow Workshop on Functional Programming. Ullapool. Scotland. 13-15 August 1990 Simon L. Peyton Jones. Graham Hutton and Carsten Kehler Holst (Eds.) 4th Reftnement Workshop, Proceedings of the 4th Refinement Workshop. organised by BCSFACS. Cambridge. 9-11 January 1991 Joseph M. Morris and RogerC. Shaw (Eds.) Software Re-use, Utrecht 1989, Proceedings of the Software Re-use Workshop. Utrecht, The Netherlands. 23-24 November 1989 Liesbeth Dusink and Patrick Hall (Eds.) z User Workshop, 1990, Proceedings of the Fifth Annual Z User Meeting, Oxford, 17-18 December 1990 J.E. Nicholls (Ed.) IV Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop. Banff. Alberta, Canada. 10-14 September 1990 Graham Birtwistle (Ed.) 7th UK Computer and Telecommunications Performance Engineering Workshop, Edinburgh. 22-23 July 1991 J. Hillston, P.J.B. King and R.J. Pooley (Eds.) Speclncatlons cI Database Systems, International Workshop on Specifications of Database Systems, Glasgow, 3-5 July 1991 David J. HaIpCr and Moira C. Norrie (Eds.) AI and Cognitive Science '90, University of Ulster at Jordanstown. 20-21 September 1990 Michael F. McTear and Norman Creaney (Eds.) continued on back page ... Geraint A.Wiggins, Chris Mellish and Tim Duncan (Eds.) ALPUK91 Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 Springer-Verlag London Ltd. Geraint A. Wiggins, MA, PhD Dream Group, Department of Artificial Intelligence University of Edinburgh, 80 South Bridge, Edinburgh EHl IHN, Scotland Chris Mellish, MA, PhD Department of Artificial Intelligence University of Edinburgh, 80 South Bridg