Logic programming in the context of multiparadigm programming: the Oz experience

DOI10.1017/S1471068403001741MaRDI QIDQ4819002zbMATHOpenAlexFDO

Authors Peter van Roy, Per Brand, Denys Duchier, Seif Haridi, Christian Schulte, Martin Henz

Publication date 24 September 2004

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068403001741

zbMATH Keywords

concurrent constraint programminghistoryPrologsoftware developmentlanguage designencapsulated searchmultiparadigm programmingOz

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1088219
• scientific article; zbMATH DE number 826298
• Multiparadigm Constraint Programming Languages
• scientific article; zbMATH DE number 107704
• scientific article; zbMATH DE number 1688813

Cited in

(6)

• Local consistency for extended CSPs
• Logic programming
• A new generic scheme for functional logic programming with constraints
• A framework for timed concurrent constraint programming with external functions
• Constraint functional logic programming over finite domains
• Closures and Modules Within Linear Logic Concurrent Constraint Programming

Describes a project that uses

Uses Software

• HiLog
• CLAIRE
• SALSA
• KLIC
• Haskell
• Mozart
• Oz
• LISP

This page was built for publication: Logic programming in the context of multiparadigm programming: the Oz experience

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