|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 1 gevonden artikelen
| Titel: |
A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS |
| Auteur: |
Alexandre, Francis Bsaïes, Khaled |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 29 (2011) nr. 3 pagina's 203-223 |
| Jaar: |
2011-02-08 |
| Inhoud: |
A methodology for constructing definite programs is presented. This presentation consists of two parts. The first part is the writing of an initial specification in Horn clauses form. In this part some paradigms of construction are outlined. The specification obtained is moded and typed; moreover it has some important specific qualities: structure, clearness, correctness and executability. However the initial specification is generally not efficient. For this reason the second part of the presentation is the stage of transformation. In this part some strategies based on folding, unfolding and generation of schemata are presented. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 1 gevonden artikelen