Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master
SUBJECT

Code	Subject	
MID1007	Rule-Based Programming	

Section	Semester	Hours: C+S+L	Category	Type	
Component-Based Programming - in English	3	2+1+1	speciality	compulsory	
Formals Methods in Programming - in English	3	2+1+1	speciality	compulsory	

Teaching Staff in Charge	Assoc.Prof. MOTOGNA Simona Claudia, Ph.D., motogna@cs.ubbcluj.ro	
Aims	The course will introduce students to a completely different way of programming, in which you specify rules of behavior. It will discuss paradigms that allow rule constructions, or addition of rules, and the application areas for which they are suited.	
Content	This course emphasizes program structure as well as functional and rule-based programming, which is compared to more traditional procedural programming. The unit aims to demonstrate medium to large scale rule-based program design, to survey the application areas for which rule based techniques are best suited, and to provide an introduction to the implementation and semantics of rules. Several case studies will be considered in order to prove this approach.	
Bibliography	1.R Bird and P Wadler. An Introduction to Functional Programming (2nd Edition if available). Prentice-Hall. 1996
2. I Bratko. Prolog Programming for Artificial Intelligence. Addison-Wesley
3. Friedman-Hill, Ernest, JESS in Action, Manning, Greenwich, CT, 2003.
4. Kowalski, T., Levy, L. &#8211; Rule-Based Programming, Springer, 1996
5. Mitchell, J. &#8211; Concepts in Programming Languages, Cambridge Univ. Press, 2003 
6. S Thomson. The Craft of Functional Programming. Addison-Wesley. 1996.
7. Jess Homepage - http://www.jessrules.com/jess/index.shtml
8. JUnit homepage &#8211; www.junit.org
	
Assessment	The students will be asked to make a presentation of a paper from an additional reference and present it in public, during seminar hours. Also during the semester they have to work on a project that will implement rule based concepts in a medium application written in an object-oriented or component based language. The final grade will be computed based on the following algorithm: 
- paper presentation 20% 
- project 30% 
- final exam 50%