Detecting Determinacy in Prolog Programs

DOI10.1007/11799573_12MaRDI QIDQ5449597zbMATH OpenOpenAlexFDO

Authors Andy King, Lunjin Lu, Samir Genaim

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/37598/1/content.pdf

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Programming Languages and Systems
• RedAlert: Determinacy inference for Prolog
• Determinacy Analysis for Logic Programs Using Mode and Type Information
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses
• scientific article; zbMATH DE number 4104373

Cited in

(7)

• The occur-check problem in Prolog
• Correct reasoning about logic programs
• RedAlert: Determinacy inference for Prolog
• scientific article; zbMATH DE number 4104373 (Why is no real title available?)
• Incremental and modular context-sensitive analysis
• Programming Languages and Systems
• Automatic inference of determinacy and mutual exclusion for logic programs using mode and type analyses

This page was built for publication: Detecting Determinacy in Prolog Programs

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