1
Q
What is the general notation for predicate calculus?
A
2
Q
What is clausal form? How do you reach clausal form?
A
Slides 3-9
3
Q
How does clausal form translate into prolog?
A
4
Q
How do Horn clauses work in Prolog?
A
5
Q
What is automated proving? Rules? Facts? Queries?
A
6
Q
Example of automated proving
A
7
Q
How does resolution work?
A
8
Q
Go over resolution example…
A
Pages 15-20
9
Q
What is skolemization?
A
10
Q
How does skolemization work when within a universal quantifier?
A
11
Q
What are the limitations of Horn clauses?
A
12
Q
Another example of the limitations of prolog
A
