CHR in Action

DOI10.1007/978-3-319-27436-2_22zbMath1473.68187OpenAlexW2399270015MaRDI QIDQ5743605

Nada Sharaf, Arwa Ismail, Slim Abdennadher

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27436-2_22

zbMATH Keywords

animationconstraint handling rulessource-to-source transformationXPCE

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• CHRAnimation
• JAWAA
• ANIMAL
• Zeus
• BALSA

Cites Work

• Constraint Handling Rules
• The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming
• Theory and practice of constraint handling rules
• Visualization of CHR through Source-to-Source Transformation

This page was built for publication: CHR in Action