Today’s KR Sequence

Propositional Logic

Relational Algebra = Datalog without recursion

Datalog

First-Order Predicate Calculus

1

2

3

4

Previous slide

Next slide

Back to first slide

View graphic version