CHR for Imperative Host Languages

DOI10.1007/978-3-540-92243-8_7zbMath1229.68024OpenAlexW2152272112MaRDI QIDQ3616887

Bart Demoen, Peter van Weert, Pieter Wuille, Tom Schrijvers

Publication date: 26 March 2009

Published in: Constraint Handling Rules (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92243-8_7

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• JEOPS
• Drools
• JBoss
• Jess

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Trampolined style
• The YAP Prolog system
• As time goes by: Constraint Handling Rules
• Welcome to Constraint Handling Rules
• Guard Reasoning in the Refined Operational Semantics of CHR
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• Memory Reuse for CHR
• Logic Programming
• Optimizing compilation of constraint handling rules in HAL
• Intelligent search strategies based on adaptive Constraint Handling Rules

This page was built for publication: CHR for Imperative Host Languages