Querying extensionals

Query extensional predicates with the ?- syntax: check whether a tuple is present, or look up tuples by leaving some components as variables.

Variables are upper-case by convention; _ is the special “don’t-care” variable.