Abstract
Standardization for Prolog came during the 1990’s, initially and deliberately leaving out one aspect which is essential for real world application development: the modularity mechanism. This situation has in the meantime been remedied in the current ISO proposal for modules in Prolog. In this article we build on our previous work on Contextual Logic Programming (CxLP) and introduce mechanisms which provide much needed functionality: on one hand, a stricter specification for acceptable program structure when using contexts and, on the other, a mechanism which more effectively promotes OO-style code reuse and concealment, while retaining a lightweight syntax.
| Original language | English |
|---|---|
| Title of host publication | Actas do INForum Simpósio de Informática 2009 |
| Editors | Luís Rodrigues, Rui Lopes |
| Place of Publication | Lisboa |
| Publisher | Faculdade de Ciências, Universidade de Lisboa |
| Pages | 197-200 |
| Number of pages | 4 |
| ISBN (Print) | 978-972-9348-18-1 |
| Publication status | Published - 2009 |
| Event | INForum: Simpósio de Informática 2009 - Lisboa, Portugal Duration: 10 Sept 2009 → 11 Sept 2021 |
Conference
| Conference | INForum |
|---|---|
| Country/Territory | Portugal |
| City | Lisboa |
| Period | 10/09/09 → 11/09/21 |