• HYPROLOG

  • Referenced in 14 articles [sw02743]
  • partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism ... treating abducibles (and assumptions as well) as CHR constraints...
  • CHR

  • Referenced in 4 articles [sw20512]
  • Constraint Handling Rules (CHR) is a committed-choice rule-based language embedded in Prolog ... abduction, and type checking, among many others. CHR has previously been implemented in other Prolog ... SICStus, Eclipse, Yap), Haskell and Java. This CHR system is based on the compilation scheme ... runtime environment of CHR in SICStus...
  • CHRAnimation

  • Referenced in 3 articles [sw18637]
  • such languages work. Constraint Handling Rules (CHR) is currently used as a general purpose language ... This results in having complex programs with CHR. Nevertheless, CHR is still lacking on visualization ... tools. With Constraint Handling Rules (CHR) being a high-level rule-based language, animating ... CHR programs through animation tools demonstrates the power of the language. Such tools are useful...
  • CHR.js

  • Referenced in 3 articles [sw28857]
  • CHR.js: A CHR Implementation in JavaScript. Constraint Handling Rules (CHR) is usually compiled to logic ... this paper, we present Chr.js, a CHR system implemented in JavaScript, that is suitable ... popularity of JavaScript, Chr.js is the first CHR system that runs on almost...
  • SMCHR

  • Referenced in 2 articles [sw09322]
  • specification and implementation of constraint solvers. CHR manipulates a global store representing a flat conjunction ... constraints. By default, CHR does not support goals with a more complex propositional structure including ... disjunction, negation, etc., or CHR relies on the host system to provide such features ... handling rules (SMCHR): a tight integration of CHR with a modern Boolean satisfiability (SAT) solver...
  • Cadmium

  • Referenced in 4 articles [sw06507]
  • hybrid between Constraint Handling Rules (CHR) and term rewriting modulo Associativity, Commutativity and a restricted...
  • gtools

  • Referenced in 3 articles [sw30324]
  • stars.pval’), - convert characters to/from ASCII codes (’asc’, ’chr’), - convert character vector to ASCII representation (’ASCIIfy...
  • CUDAMPF++

  • Referenced in 1 article [sw21326]
  • that proactively sacrifices L1 Cache Hit Ratio (CHR) to get improved performance and scalability...
  • IPFViewer

  • Referenced in 0 articles [sw35266]
  • IPFViewer: Incremental, approximate analysis of steel samples. This...