Concurrent Logic Programming
Uwe Glässer · Teubner-Texte zur Informatik · 1993
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]).