T-93.540 Logic Programming - Course Material
- Course book Leon Sterling, Ehud Shapiro. The Art of Prolog; Advanced Programming Techniques. MIT Press, 1986.
- The whole book except the application examples is the exam material.
- Additional material delivered through Otatieto about Meta Logic and Constraint Logic Programming.
- These are also for examination
- Alternatives to the course book!
- Bratko: Prolog programming for artificial intelligence, 1986
- Rogers: A Prolog Primer, 1986
- Clocksin, Mellish: Programming in Prolog, 1981
- The code examples of the lectures are additional material
- To appear later!