Threads and or-parallelism unified

DOI10.1017/S1471068410000190zbMath1209.68088arXiv1007.4438MaRDI QIDQ3585157

Ricardo Rocha, Vitor Costa, Inês Dutra

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.4438

zbMATH Keywords

implementationmulti-threadingor-parallelism

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Parallel Logic Programming: A Sequel ⋮ On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores

Uses Software

• YAP-Prolog
• YapOr

Cites Work

• Unnamed Item
• Parallel ILP for distributed-memory architectures
• OR-parallel execution of Prolog on a multi-sequential machine
• Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism