Establish an elementary understanding of predicate calculus and resolution.
Discuss logic/declarative programming.
Explore programming in Prolog.
Explore programming in CLIPS.
3.144.19.243