A mathematical framework for the problem of combination of Prolog programs
Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1992
|
| Schriftenreihe: | University <Edinburgh> / Department of Artificial Intelligence: DAI research paper
612 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Abstract: "The purpose of this paper is to describe a mathematical framework which supports our environment for the construction of complex Prolog programs by combining simpler Prolog programs described in [VV92]. This framework includes three groups of properties: correctness properties which hold after applying each composition method; properties for the type of program which is obtained in each stage of the combining process and properties for the definition of the join specification. Our motivation for providing this framework is to guarantee the soundness of the composition process at the three levels ie. on our methods, on the type of combined program and properties which are useful to the user level." |
|---|---|
| Beschreibung: | 16 S. |