scientific article; zbMATH DE number 7453099

MaRDI QIDQ5020541zbMATH OpenFDO

Authors Falco Nogatz, Philipp Körner, Sebastian Krings

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08230, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.8

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Coding guidelines for Prolog
• scientific article; zbMATH DE number 4172365
• scientific article; zbMATH DE number 194116
• scientific article; zbMATH DE number 4028945
• scientific article; zbMATH DE number 7453192
• The Prolog debugger and declarative programming
• scientific article; zbMATH DE number 1926613
• On the implementation of GNU Prolog
• scientific article; zbMATH DE number 236857
• A simple code improvement scheme for prolog

Cites work

• A new module system for Prolog
• A polymorphic type system for Prolog
• Coding guidelines for Prolog
• Combined static and dynamic assertion-based debugging of constraint logic programs
• Improving Prolog programs: Refactoring for Prolog
• Theory and practice of constraint handling rules
• Towards Typed Prolog

Cited in

(1)

• Fifty Years of Prolog and Beyond

Describes a project that uses

Uses Software

• clpfd

This page was built for publication:

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