Inserire una breve descrizione delle modifiche fatte
(Richiesto)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Objects with State in Contextual Logic Programming
Programming Language Implementation and Logic Programming, pp. 220–234
Lecture Notes in Computer Science 714
Springer-Verlag
1993
The amalgamation of object-oriented concepts into the logic programming paradigm represents a promising approach to the exploitation of prototyping techniques for building complex software systems. Starting from the CSM implementation of contextual logic programming, an extension path toward object-oriented abstractions and mechanisms is proposed. In particular, the state modification issue is addressed by making a clear distinction between deductive and updating phases.
Objects with State in Contextual Logic Programming (PLILP’93, 26/08/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini)
Lecture Notes in Computer Science (LNCS)
PFCNR-SICALPAR — Progetto Finalizzato del Consiglio Nazionale delle Ricerche "Sistemi Informatici e Calcolo parallelo" (01/01/1989–31/12/1994)