Trannsfrming imperative programs to rule-based programs /
Frederick Khoury
Trannsfrming imperative programs to rule-based programs / Frėdėrick Khoury ; Supervised Slim Abdelnnadher - Cairo : Frederick Khoury , 2009 - 63Leaves ; 30cm
Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering
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
Trannsfrming imperative programs to rule-based programs / Frėdėrick Khoury ; Supervised Slim Abdelnnadher - Cairo : Frederick Khoury , 2009 - 63Leaves ; 30cm
Thesis (M.Sc.) - German University - Faculty of Postgraduate studies and scientific research - Department of Computer Science and Engineering
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