Process Models of Logic Programs: a Comparison
Number of Authors: 1
1986 (English)Report (Refereed)
One way to deal with parallelism in logic programs is to define an execution model which is based upon communicating processes, instead of on sequential execution. Several such models have been given. This paper discusses what general properties such an execution model should fulfil, and gives a comparative study of some of the models proposed. Finally the approach of defining an operational model and distinguishing inherent parallelism in it is discussed briefly.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1986, 1. , 12 p.
SICS Research Report, ISSN 0283-3638 ; R86:07
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21328OAI: oai:DiVA.org:ri-21328DiVA: diva2:1041362
Original report number R86007.2016-10-312016-10-31Bibliographically approved