On Structuring Contextual Logic Programming

DI Group Author

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 languageUnknown
Title of host publicationNONE
Publication statusPublished - 1 Jan 2009
EventINForum - Simpósio de Informática -
Duration: 1 Jan 2009 → …


ConferenceINForum - Simpósio de Informática
Period1/01/09 → …

Cite this