| EPSRC Reference: |
GR/L19515/01 |
| Title: |
DECLARATIVE LANGUAGE INTERFACE FOR CONSTRAINT SOLVING |
| Principal Investigator: |
Hill, Dr PM |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Leeds |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 1997 |
Ends: |
31 May 1998 |
Value (£): |
47,742
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Prolog is a high-level programming language for solving large and complex problems in an elegant way. Constraints provide the technical sophistication so that optimal solutions to important classes of these problems can be obtained efficiently. Unfortunately, for the non-expert user, the need to master the logical and non-logical features of Prolog together with the subtleties of the constraint solver can be a daunting task, preventing the full advantages of constraint logic programming being realised. Goedel is an alternative logic programming language to Prolog; the more declarative nature of Goedel together with the inclusion of the software engineering facilities of types and modules make it easier and faster to use for developing reliable software. The proposed project is to integrate constraints into Goedel in a clean and logical way. Goedel is implemented in Prolog and the recent port to IF/Prolog which has powerful constraint solvers makes the underlying constraint technology now available to Goedel. By integrating the IF/Prolog constraint solvers into Goedel, the combined benefits of the Goedel language and the constraint solvers of IF/Prolog will be available in a single product.
|
|
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 |