High-Level Multi-Threading in hProlog

TL;DR

This paper introduces a high-level multi-threading interface in hProlog, enabling programmers to leverage multi-core CPUs efficiently through various explicit parallelism types, including a novel pipeline parallelism.

Contribution

It presents a new high-level multi-threading interface in hProlog and proposes a novel pipeline parallelism model for Prolog programming.

Findings

Implemented high-level multi-threading in hProlog

Defined and demonstrated pipeline parallelism

Enhanced parallel execution capabilities in Prolog

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.