High-Level Multi-Threading in hProlog
Programming Languages
2011-12-26 v2
Abstract
A new high-level interface to multi-threading in Prolog, implemented in hProlog, is described. Modern CPUs often contain multiple cores and through high-level multi-threading a programmer can leverage this power without having to worry about low-level details. Two common types of high-level explicit parallelism are discussed: independent and-parallelism and competitive or-parallelism. A new type of explicit parallelism, pipeline parallelism, is proposed. This new type can be used in certain cases where independent and-parallelism and competitive or-parallelism cannot be used.
Cite
@article{arxiv.1112.3786,
title = {High-Level Multi-Threading in hProlog},
author = {Timon Van Overveldt and Bart Demoen},
journal= {arXiv preprint arXiv:1112.3786},
year = {2011}
}
Comments
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011