Concurrent Logic Programming
Process interpretation of logic programs establishes the abstract computational model of concurrent logic programming in which the active objects of a computation are conceived as concurrent processes. Process interpretation, generally, is in contrast to procedural interpretation of logic programs [Ueda89]. The latter one provides the abstract computational model of conventional (sequential) Prolog, as introduced by Kowalski in ([Kowalski79a], [Kowalski79b]).
Unable to display preview. Download preview PDF.