Concurrency in Prolog Using Threads and a Shared Database

@inproceedings{Carro1999ConcurrencyIP,
  title={Concurrency in Prolog Using Threads and a Shared Database},
  author={Manuel Carro and Manuel V. Hermenegildo},
  booktitle={ICLP},
  year={1999}
}
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the standard implementations, and/or the communication and synchronization facilities provided do not fit as naturally within the language model as we feel is possible. In this paper we propose a new mechanism for implementing synchronization and communication for concurrency, based on atomic accesses to designated facts… CONTINUE READING

8 Figures & Tables

Topics

Statistics

0510'00'02'04'06'08'10'12'14'16'18
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.