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

DOI10.1002/SPE.405MaRDI QIDQ2758698zbMATH OpenOpenAlexFDO

Authors Enrico Pontelli, Gopal Gupta

Publication date 14 May 2002

Published in Software. Practice \& 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)

Recommendations

• An optimal data structure to handle dynamic environments in non-deterministic computations
• A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
• Data structures for order-sensitive predicates in parallel nondeterministic systems
• scientific article; zbMATH DE number 5198953
• A parallel implementation of flat concurrent Prolog

Cites work

• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• A parallel prolog system for distributed memory
• Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
• Automatic mode inference for logic programs
• Transformation of logic programs: Foundations and techniques

Cited in

(1)

• An optimal data structure to handle dynamic environments in non-deterministic computations

Describes a project that uses

Uses Software

• SICStus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2758698)