A sequential abstract machine for a distributed logic language
José C. Cunha, Manuel B. Carvalhosa · 1992
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.