Concurrent objects in a logic programming framework
P. Mello · 1988
Some papers discuss and point out the synergetic advantages of combining logic and object-based programming (see [I], [2]).This work is mainly focussed on outlining those advantages with particular reference to concurrency~ At the state of the art the most interesting, complete proposals on this topic that deal with concurrency (see Mandala[3] and Vulcan [4]) are built on the top of the Concurrent ?roiog[5] logic programming language (CP), which is intrinsically parallel and not compatible with the sequential model of Prolog [6].While in Prolog (sub-)goals can be considered as procedure calls, in CP they are treated as process creations.The clause body is then mapped into a set of CP processes that run conceptually in parallel ("and-parallelism").We argue that this is not the only possible approach°An alternative approach could be to directly extend Prolog, the most widely used logic prograrm~ing language, in order to introduce in it concepts that are typical of parallel and distributed object-oriented systems without losing the advantages of a declarative language.This is the approach discussed in the paper and followed also in [14].