Constraint Handling Rules
CHRのプログラム例を示す。