I still can't believe I had the great opportunity of meeting and being taught by CHR founders & legends such as Prof. Dr. Thom Fruhwirth, Prof. Dr. Slim Abdennadher, Dr. Jon Sneyyers, Dr. Peter Van Weert and many other professionals =D =D.
CHR basically means Constraint Handling Rules which is another form of logical constraint programming similar - in a way - to prolog.
CHR basically means Constraint Handling Rules which is another form of logical constraint programming similar - in a way - to prolog.
Those people I mentioned above are the founders of KU Leuven CHR. One of the main CHR schools that have ever evolved in the CHR history. They actually, built the main foundations of CHR and starting from their work many other similar CHR systems have evolved. The made many important accomplishments that include important logical theoretical proofs such as:
General definition of the CHR machine in Theory of Computation,
proving the CHR machines are turing complete by simulating turing machines in CHR,
Determing Decidability of CHR,
Computational complexity of CHR,
Defining linear logic Semantics for CHR and much much more.
You can contact me if you want the slides. They're pretty dense, what I just mentioned are just a little overview of their awesome accomplishments
General definition of the CHR machine in Theory of Computation,
proving the CHR machines are turing complete by simulating turing machines in CHR,
Determing Decidability of CHR,
Computational complexity of CHR,
Defining linear logic Semantics for CHR and much much more.
You can contact me if you want the slides. They're pretty dense, what I just mentioned are just a little overview of their awesome accomplishments
Here is a Brief overview of CHR history. Just to make you get the feel of what I'm talking about:
So, this summer I traveled to leuven, Belgium and participated in the first CHR summer school. And again, it was another awesome experience. Regardless, some super complicated logical proofs,equations and symbols being mentioned on the fly. Topics I've never heard of before and conclusions based on other conclusions that were derived from other proven Theories in the underlying layer of linear logic inner join with the theory of computation haha!. I had so much fun getting to learn CHR for the first time. I won't lie to you, It was pretty intense. Especially the logical part. I've never seen such logical symbols, ways of proof or even linear logic before. Of course! you are being taught by FOUNDERS of CHR , what do you expect lol?. DOn't forget that it's a one week intense course.
But what I really loved, were the discussions, the replies and the way of teaching. We were like getting into the core foundations of the programming language. Analyzing programs behaviors, complexity and generalization of so much stuff. Defining new terms, proving new theories.. I felt like I was back with them while they were making CHR and I've never been in such area regarding any programing language before ! It felt so awesome. We had, older people and some other developers who had pre-experience in CHR participating in the summer school with us as well.
Epic w1n !
Just on our very 2nd day in the course, A CHR programming contest was scheduled. I wasn't quite sure If I should participate... I mean I only had one day of CHR , And I have no previous knowledge of it at all! Anyhow, I got crazy and gave it a try. On random I teamed up with my friends Amr Hany and Moustafa. Our other friends also made a team of their own (moataz mekki, mohamed el monayri, mahmoud hossam) which was one of the encouraging reasons I joined the contest. I was like Give it a try, it won't hurt. We received some warmup questions 1st but since we overthought the 1st easy question we didn't have enough time to finalize the last one. (That was in the face!). But then we received the real contest questions and we only had two hours of time to solve 6 questions with various degrees of difficulty. Submitted a working code for the 1st easiest question, the 2nd easiest one too. And then we were all tired. (The contest was at the end of a long lecture day) We thought a little bit, wrote some code but then me and my friend Amr Gave up and left (I knew I have no mind to think anymore). However, our friend moustafa decided to stay and solve that 3rd Question. We still had time left Also, if we submitted that 3rd Question we would be the only team who have done so and that would put us ahead of all the other teams.
Then when we met moustafa later on that day, he told us he managed to solve that 3rd Question. Thanks 2 him, and to the good team work (We have never worked together before) we won the contest =D. It was announced the last day (I dun quite remember) of the course. And we were greeted by all the professors =D. I was shocked actually, because it was our very 1st experience with CHR , and there were some people who were experienced with CHR. Couldn't believe we made it that far in a contest we weren't quite sure abt joining in the 1st place!
Then when we met moustafa later on that day, he told us he managed to solve that 3rd Question. Thanks 2 him, and to the good team work (We have never worked together before) we won the contest =D. It was announced the last day (I dun quite remember) of the course. And we were greeted by all the professors =D. I was shocked actually, because it was our very 1st experience with CHR , and there were some people who were experienced with CHR. Couldn't believe we made it that far in a contest we weren't quite sure abt joining in the 1st place!
Some Pix =D
