Datalog
Datalog Concepts
Predicates and Atoms
Datalog Rules and Queries
The Meaning of Datalog Rules
Transitive Closure
Recursion in Datalog
Built in Predicates
Negated Subgoals
Stratified Rules
Subtleties with Stratified Rules
Email: zives@cs.washington.edu
Home Page: http://www.cs.washington.edu/homes/zives
Download presentation source