prolog lectures & handouts

	topic	slides		handouts
Wed 2/25	introduction, theorem provers, facts, rules, queries	images	pdf
Fri 2/27, Mon 3/2	searching, equality tests, arithmetic, lists & trees, etc.	images	pdf
Wed 3/4	cuts, dynamic knowledge	images	pdf
Fri 3/6	symbolic differentiation	images	pdf

cse341 home page

---

Last modified: Wed Mar 11 16:19:57 PST 1998