Prolog

• Programming in Logic is not on the exam or in the coursework
• You write predicates (functions), and they get evaluated in a particular order
• The problem with Logic is that it actually takes a long time to derive all the possible facts
• Expert Systems have a conflict resolution strategy
• The Prolog program combines the rules with the conflict resolution strategy