| EPSRC Reference: |
GR/K79642/01 |
| Title: |
DETECTING AND EXPLOITING DETERMINACY IN LOGIC PROGRAMS |
| Principal Investigator: |
King, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 1996 |
Ends: |
28 February 1998 |
Value (£): |
87,014
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
One attractive, unique feature of logic programming is their ability to succinctly and declaratively express search. The alternatives of a search are simply expressed as non-deterministic predicates. Search is then implemented by backtracking through these predicates; in effect exploring all alternatives of the search tree until a solution is found. Backtracking, however, brings with it penalties which are incurred even in logic programs which do not deploy search. To be more precise, the backtracking mechanism incurs time and memory overheads in sequential processor execution; limits the parallelism that can be extracted from a logic program; and finally impedes program transformation. As a consequence, programmers often resort to non-declarative language features that force deterministic behaviour. The primary aim of the project is to construct determinacy analysers which will detect deterministic predicats and therefore underpin the efficient sequential and parallel execution of languages such as Prolog and Goedel. This will not only improve performance, but will also enable the programmer to write more declarative code that is quicker to program and easier to maintain. The relevance of this work to program transformation strategies, the design of new declarative languages, and the implementation of automated theorem provers will also be investigated.
|
|
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.kent.ac.uk |