On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores

DOI10.1017/S1471068416000296zbMath1379.68081arXiv1608.01499OpenAlexW2522894021MaRDI QIDQ4593066

No author found.

Publication date: 9 November 2017

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

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

zbMATH Keywords

performanceschedulingimplementationor-parallelismenvironment copying

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Logic programming (68N17)

Related Items (1)

Parallel Logic Programming: A Sequel

Uses Software

• PALS
• YAP-Prolog
• YapOr

Cites Work

• Unnamed Item
• Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
• The YAP Prolog system
• Threads and or-parallelism unified

This page was built for publication: On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores