| EPSRC Reference: |
GR/H78962/01 |
| Title: |
DECLARATIVE EXTENSIONS OF LOGIC PROGRAMMING |
| Principal Investigator: |
Cohn, Professor AG |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Leeds |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 October 1992 |
Ends: |
13 January 1996 |
Value (£): |
161,180
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
To investigate new language features for logic programming languages To evaluate these features by applying them to problems in Knowledge EngineeringProgress:The book The Goedel Programming Language is now published [4]. A procedure for occur-check analysis for Goedel has been designed and an account of the procedure, together with a proof of its correctness is now available as a technical report [3]. A preliminary implementation of this procedure in Goedel has been made for part of the Goedel language. A detailed survey with Dr John Gallagher (Bristol) has been made on meta-programming. As a result of this work, we have written a chapter on meta programming in logic programming for the Handbook of Logic in Artificial Intelligence and Logic Programming , Volume V [2]. This is now is with the publishers. A paper concerning the use of parameterised modules in meta-programming was presented at Meta94 and will be published by Springer-Verlag [1]. New collaborative work with Jonas Barklund of Uppsala University on bounded quantifiers has resulted in an extended abstract presented at a Compulog-Net meeting. Work on this is continuing and a complete paper on it is in preparation. Future work will include: extending the current implementation of Goedel to include some of the extensions described in the papers; continuing the study of the analysis techniques (used for the occur-check analysis) for optimising the Goedel compiler; develop applications in Goedel to assess the language Goedel and proposed extensions. The following papers have been completed since the last annual report. [1] P.M. Hill., A module system for meta-programming., In F.Turini, editor, Meta-Programming in Logic, Proceedings of the 4th International Workshop, Pisa, Italy. Springer-Verlag, 1995. [2] P.M. Hill and J.Gallagher., Meta-programming in logic programming., To be published in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, Oxford Science Publications, Oxford University Press. [3] P.M. Hill., Logic programming with the occur-check., Technical Report 94.32, School of Computer Studies, 1994. [4] P.M. Hill and J.W. Lloyd., The Goedel Programming Language., MIT Press, 1994.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.leeds.ac.uk |