Variables are scopedwithin a query

?- person(X), female(X). X=karen

Read the comma as “and”

These two uses of X

must represent same value

Previous slide

Next slide

Back to first slide

View graphic version