Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- ArticleNovember 2001
Optimizing Compilation of Constraint Handling Rules
Proceedings of the 17th International Conference on Logic ProgrammingNovember 2001, Pages 74–89CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we discuss the ...
- ArticleNovember 2001
Building Constraint Solvers with HAL
- Maria J. García de la Banda,
- David Jeffery,
- Kim Marriott,
- Nicholas Nethercote,
- Peter J. Stuckey,
- Christian Holzbaur
Proceedings of the 17th International Conference on Logic ProgrammingNovember 2001, Pages 90–104Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to a problem often requires experimentation with different constraint solvers or even building a problem-specific solver. HAL is a new ...
- ArticleJanuary 1999
MCORBA: A CORBA Binding for Mercury
PADL '99: Proceedings of the First International Workshop on Practical Aspects of Declarative LanguagesJanuary 1999, Pages 211–227MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of the language, and has several advantages over similar bindings for other ...