Logic programming in the context of multiparadigm programming: the Oz experience
From MaRDI portal
Publication:4819002
DOI10.1017/S1471068403001741zbMath1090.68017MaRDI QIDQ4819002
Seif Haridi, Martin Henz, Christian Schulte, Denys Duchier, Peter van Roy, Per Brand
Publication date: 24 September 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
history; Prolog; concurrent constraint programming; software development; language design; encapsulated search; multiparadigm programming; Oz
68N17: Logic programming
Related Items
Constraint functional logic programming over finite domains, Closures and Modules Within Linear Logic Concurrent Constraint Programming, A new generic scheme for functional logic programming with constraints, Local consistency for extended CSPs, A Framework for Timed Concurrent Constraint Programming with External Functions
Uses Software