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