A sequential abstract machine for a distributed logic language

Authors:
José C. Cunha;Manuel B. Carvalhosa
Affiliations:
Department of Computer Science, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal;Department of Computer Science, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal
Venue:
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Year:
1992

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
An abstract machine for restricted AND-parallel execution of logic programs

Proceedings on Third international conference on logic programming
Parallel logic programming in PARLOG: the language and its implementation

Parallel logic programming in PARLOG: the language and its implementation
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Delta Prolog is a concurrent logic programming language founded on the theoretical model of Distributed Logic and extending the Prolog language in order to allow the specification of concurrent systems. This paper describes Delta Prolog, its operational semantics and a sequential abstract machine (DAM) for the language.