Optimization schemas for parallel implementation of non‐deterministic languages and systems

DOI10.1002/spe.405zbMath0984.68734OpenAlexW2023819514MaRDI QIDQ2758698

Enrico Pontelli, Gopal Gupta

Publication date: 14 May 2002

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.405

zbMATH Keywords

non-deterministic systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17)

Uses Software

• SICStus

Cites Work

• Unnamed Item
• Automatic mode inference for logic programs
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• Transformation of logic programs: Foundations and techniques
• A parallel prolog system for distributed memory

This page was built for publication: Optimization schemas for parallel implementation of non‐deterministic languages and systems