DocumentCode :
3260281
Title :
Incremental, high level implementation of Prolog in an open system framework
Author :
Loia, Vincenzo ; Cattaneo, Giuseppe ; Quaggetto, Michel
Author_Institution :
Dipartimento di Inf. ed Applicazioni, Salerno Univ., Baronissi, Italy
fYear :
1992
fDate :
15-20 Jun 1992
Firstpage :
394
Lastpage :
403
Abstract :
Proposes a new framework to implement a complete logic programming system. This framework is composed of a set of new mechanisms intended to give high level and safe means to manage a computation history. Upon this framework the authors developed a logic programming environment prototype, called MxLog, featuring a complete Prolog-II interpreter and its debugging environment. This prototype has been realised following a new implementation philosophy independent of hardware constraints and based on an incremental strategy, expressed in terms of agents in a sequential open system
Keywords :
PROLOG; logic programming; open systems; program debugging; program interpreters; programming environments; MxLog; Prolog-II interpreter; agents; computation history; debugging environment; incremental high level implementation; logic programming environment; sequential open system; Communication system control; Context; Debugging; Hardware; History; Internet; Logic programming; Open systems; Proposals; Prototypes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
Type :
conf
DOI :
10.1109/SEKE.1992.227963
Filename :
227963
Link To Document :
بازگشت