Frederick Khoury <br/><br/>
Trannsfrming imperative programs to rule-based programs /  
Frėdėrick Khoury ; Supervised Slim Abdelnnadher 
 - Cairo :   Frederick Khoury ,   2009 
 - 63Leaves ;   30cm 
<br/><br/>Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering 
<br/><br/> Constraint Handling Rules (CHR) is a declarative high- level rule - based programming language . CHR which is turing complete is utilized in the development of constraint solvers . Programs developed using CHR consist of multi-headed guarded rules containing conjunctions of constraints . Programs have properties that characterize their operation