Predicates and Atoms

- relations are represented by predicates

- tuples are represented by atoms.

Purchase( “joe”, “bob”, “Nike Town”, “Nike Air”)

- arithmetic comparison atoms:

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

- negated atoms:

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