Predicates and Atoms

- Relations are represented by predicates

- Tuples are represented by atoms.

Purchase( “joe”, “bob”, “Nike Town”, “Nike Air”, 2/2/98)

- arithmetic: built-in relations:

X < 100, X+Y+5 > Z/2

- negated atoms:

NOT Product(“Brooklyn Bridge”, $100, “Microsoft”)

Just like in

First-Order Predicate Calculus

Previous slide

Next slide

Back to first slide

View graphic version