scientific article; zbMATH DE number 7453099

MaRDI QIDQ5020541FDOQ5020541

Authors: Falco Nogatz, Philipp Körner, Sebastian Krings 

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08230

Title of this publication is not available (Why is that?)

Recommendations

• Coding guidelines for Prolog
• Publication:3197303
• 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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Theory and practice of constraint handling rules
• Improving Prolog programs: Refactoring for Prolog
• Title not available (Why is that?)
• A polymorphic type system for Prolog
• Title not available (Why is that?)
• Towards Typed Prolog
• Coding guidelines for Prolog

Cited In (1)

• Fifty Years of Prolog and Beyond

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)