A design and implementation of the extended Andorra model

DOI10.1017/S1471068411000068zbMATH Open1247.68045OpenAlexW3104527097MaRDI QIDQ2909520FDOQ2909520

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

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

zbMATH Keywords

implementationlogic programmingextended Andorra model

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)

Cited In (3)

• Parallel Logic Programming: A Sequel
• Logic Programming
• Fifty Years of Prolog and Beyond

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)