Topics in Programming Languages

Course number: 
4541.780
Year: 
Graduate
Credit: 
3

Theory and methodology of logic-based programming languages are studied. Programming in logic, especially in clausal forms, and their proof procedures are discussed. The course includes an application project using the PROLOG programming language.