![]() |
prolog lectures & handouts
topic slides handouts Wed 2/25 introduction, theorem provers,
facts, rules, queriesimages Fri 2/27, Mon 3/2 searching, equality tests,
arithmetic, lists & trees, etc.images Wed 3/4 cuts, dynamic knowledge images Fri 3/6 symbolic differentiation images
Last modified: Wed Mar 11 16:19:57 PST 1998