try write few rules in CHR (or Prolog?)

• Constraint Handling Rules—library(car)
• A side-by-side comparison of Prolog, Prolog with coroutines and CHR

TODO: attach CHR symbolic executor of Zend??