Compiling multi-paradigm declarative programs into Prolog

DOI10.1007/10720084_12MaRDI QIDQ2729761zbMATH OpenFDO

Authors Sergio Antoy, Michael Hanus

Publication date 30 September 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720084_12

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Functional Logic Programming: From Theory to Curry
• scientific article; zbMATH DE number 1950450
• A new functional-logic compiler for Curry: Sprite
• Adding linear constraints over real numbers to Curry
• Declarative compilation for constraint logic programming

Cited in

(21)

• A new functional-logic compiler for Curry: Sprite
• Operational semantics for declarative multi-paradigm languages
• Evaluation strategies for functional logic programming
• ObjectCurry: an object-oriented extension of the declarative multi-paradigm language curry
• Adding linear constraints over real numbers to Curry
• Improving functional logic programs by difference-lists
• Improving the efficiency of non-deterministic computations
• Towards translating embedded Curry to C
• Reporting failures in functional logic programs
• Implementing relational specifications in a constraint functional logic language
• Transforming functional logic programs into monadic functional programs
• Compiling a functional logic language: \textit{The Fair Scheme}
• scientific article; zbMATH DE number 572196 (Why is no real title available?)
• FUNCTIONAL PEARL Concurrent distinct choices
• scientific article; zbMATH DE number 2087569 (Why is no real title available?)
• Functional Logic Programming: From Theory to Curry
• From Logic to Functional Logic Programs
• Implementing functional logic languages using multiple threads and stores
• Declaring numbers
• Compiling a default reasoning system into Prolog
• Programming with narrowing: a tutorial

Describes a project that uses

Uses Software

• BABEL
• Oz

This page was built for publication: Compiling multi-paradigm declarative programs into Prolog

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