Loading...
Please wait, while we are loading the content...
Similar Documents
An environment for combining prolog programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Vargas-Vera, Maria Robertson, David Inder, Robert |
| Copyright Year | 1992 |
| Abstract | The purpose of this paper is to describe an environment for the construction of complex Prolog programs by combining simpler Prolog programs. The technique consists of the development in parallel of pieces of software which are combined to produce the nal program. For producing elegant and eecient programs we need to keep information such as: the kind of program according to a classiication eeected by considering features of the program and information about history development such as the initial skeleton and techniques that the user applied in the construction of the program. The problem of combining two programs for producing a new program while retaining correctness properties is not an easy problem. Therefore we design a system which provides assistance in deciding how to combine the two programs. The system is based on program transformation, a technique used for optimisation of programs BD77], supplemented with knowledge of program development. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.dai.ed.ac.uk/groups/ssp/psfiles/maria/dai-610.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
