Constraint Handling Rules

• Type inference for datalog with complex type hierarchies
  US Patent 2017
  What is disclosed are a novel system and method for inferring types of database queries.
• Editing and compiling business rules
  US Patent 2017
  A component in a graph-based computation having data processing components connected by linking elements representing data flows is updated by receiving a rule specification…
• Soft constraints in scheduling
  US Patent 2012
  A method for implementing soft constraints in scheduling comprises receiving a description of circuit behavior.
• User programmable deductive spreadsheet apparatus…
  US Patent 2010
  A user programmable deductive spreadsheet is implemented as an add-in to an existing mathematical spreadsheet program…
• Integrating optimization directly into databases
  US Patent 2009
  Systems, methods and articles solve computationally complex problems. Example embodiments provide data query language features that may be used to express optimization problems.
• Position display system of mobile terminal
  US Patent 2002
  A position detection system of a mobile terminal includes a small zone communication system such as the PHS system, and a center station connected to an exchange station forming the PHS system.

“Analyse&Predict”, a first version of Data Analysis Tool to explore csv spreadsheets written in SWI Prolog and CHR is available online now at:

http://datamining.informatik.uni-ulm.de

Feedback is very welcome – it will stay online for about two weeks only.