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

declarative programming languageEscher

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4164127
• 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)

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

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)