Queries with multiple atoms
Add another extensional listing each Pokémon’s types.
Several tuples may share one id: a Pokémon can have multiple types.
Query to find Pokémon with both “water” and “ice”:
- Database view: there must be two rows with matching
Id - Deductive view: there must be two matching facts
The comma is "and": every body atom must hold.