scientific article; zbMATH DE number 7453099

MaRDI QIDQ5020541

Falco Nogatz, Sebastian Krings, Philipp Körner

Publication date: 6 January 2022

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Fifty Years of Prolog and Beyond

Uses Software

• clpfd

Cites Work

• Unnamed Item
• Unnamed Item
• A polymorphic type system for Prolog
• Theory and practice of constraint handling rules
• Coding guidelines for Prolog
• Improving Prolog programs: Refactoring for Prolog
• Towards Typed Prolog

This page was built for publication: