Пример
Променливите в Goal могат да се считат за свободни, освен ако те изрично не са свързани с Goal посредствмо квантора за съществуване:
означава че “съществува Y такова че Q е true”, където Y е някаква променлива в Пролог.
| ?- setof(X, Y^(likes(X,Y)), S).
S = [bill,dick,harry,jan,tom]