scientific article; zbMATH DE number 1332654

MaRDI QIDQ4259975zbMATH OpenFDO

Authors

Publication date 9 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-03/A99-03.html

zbMATH Keywords

Escherdeclarative programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:3490935
• Functional Logic Programming: From Theory to Curry
• A domain-theoretic approach to functional and logic programming
• On a Tighter Integration of Functional and Logic Programming
• scientific article; zbMATH DE number 986251

Cited in

(9)

• Programming with narrowing: a tutorial
• Probabilistic modelling, inference and learning using logical theories
• Operational semantics for declarative multi-paradigm languages
• scientific article; zbMATH DE number 512893 (Why is no real title available?)
• Evaluation strategies for functional logic programming
• Probabilistic reasoning in a classical logic
• Functional logic programming in Maude
• A debugging scheme for functional logic programs
• Declarative debugging of functional logic programs

Describes a project that uses

Uses Software

• ETPS

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 Q4259975)