A design and implementation of the extended Andorra model

DOI10.1017/S1471068411000068MaRDI QIDQ2909520zbMATH OpenOpenAlexFDO

Authors Ricardo Lopes, Vítor Costa, Fernando Silva

Publication date 30 August 2012

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

Full work available at URL https://doi.org/10.1017/s1471068411000068

zbMATH Keywords

extended Andorra modelimplementationlogic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic Programming
• Determinacy analysis for efficient execution of logic programs
• scientific article; zbMATH DE number 3942996
• scientific article; zbMATH DE number 712424
• An execution model for exploiting AND-parallelism in logic programs

Cited in

(4)

• Determinacy analysis for efficient execution of logic programs
• Logic Programming
• Fifty Years of Prolog and Beyond
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• Oz
• GC
• SICStus

This page was built for publication: A design and implementation of the extended Andorra model

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