PAN: A portable, parallel Prolog: Its design, realisation and performance.

DOI10.1007/BF03037372zbMath1033.68029MaRDI QIDQ1862650

George Xirogiannis, Hamish Taylor

Publication date: 15 July 2003

Published in: New Generation Computing (Search for Journal in Brave)

zbMATH Keywords

parallelizationlogic programmingPVM

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• CS-Prolog
• PVM
• Prolog
• Ciao
• CiaoPP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A methodology for granularity-based control of parallelism in logic programs
• Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
• Cuts and side-effects in and-or parallel Prolog
• Static analysis of logic programs for independent and parallelism
• Mechanical program analysis
• A parallel prolog system for distributed memory
• A freeness and sharing analysis of logic programs based on a pre-interpretation

This page was built for publication: PAN: A portable, parallel Prolog: Its design, realisation and performance.