Notes on the implementation of PARLOG

DOI10.1016/0743-1066(85)90003-2MaRDI QIDQ3694655zbMATH OpenOpenAlexFDO

Authors K. L. Clark, Steve Gregory

Publication date 1985

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(85)90003-2

zbMATH Keywords

PARLOG program

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• PARLOG: parallel programming in logic
• scientific article; zbMATH DE number 3997139
• scientific article; zbMATH DE number 554480
• Programming language implementation and logic programming. International Workshop PLILP '90, Linköping, Sweden, August 20-22, 1990. Proceedings
• Parma—bridging the performance gap between imperative and logic programming

Cited in

(7)

• Semantic models for concurrent logic languages
• An abstract machine for the implementation of PARLOG on uniprocessors
• PARLOG: parallel programming in logic
• scientific article; zbMATH DE number 3997139 (Why is no real title available?)
• Transforming generate-and-test programs to execute under committed-choice AND-parallelism
• Making exhaustive search programs deterministic
• Subset-logic programs and their implementation

Describes a project that uses

Uses Software

• PARLOG

This page was built for publication: Notes on the implementation of PARLOG

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