Thursdays, 2pm to 5pm, in the Applied Logic Lab (Room 1212, CS Dept, formerly LMC/CASP Lab).
The course covers the latest developments in logic programming. Topics include
- Constraint logic programming
- Object-oriented logics
- Negation in logic programming
- Evaluation techniques such as
- Tabling
- Parallel and distributed implementations
- Advanced applications such as program analysis and verification.
- Kim Marriot and Peter Stuckey, Programming With Constraints, MIT Press, 1999.
- Joxan Jaffar and Michael Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming vol. 19/20:503-581, 1994.
- David S. Warren, Draft Book: Programming in Tabled Prolog.
- Michael Kifer, Georg Lausen, and James Wu, Logical Foundations of Object-Oriented and Frame-Based Languages, Journal of ACM, May 1995.
- Other selected papers...
To Be Announced