Thread selection and control Towards a concurrency model for Prolog

Explicit expressions of concurrency advance Prolog's standing as a practical programming language capable of exploiting modern multiprocessor computers. This dissertation describes the design and implementation of a high-level concurrency model for Prolog. The design is based on self-blocking threads which facilitate the separation of thread creation and execution and the implementation of suspend and resume primitives, both of which are critical to Prolog interoperability. The model subsumes the one recommended in ISO/IEC DTR 13211-5:2007 and provides for high-level features such as backtracking, multiple executions and execution modes. Experimental results based on a proof-of-concept implementation show that the model is competitively efficient in terms of simplicity and expressiveness, as well as performance