| ?- 
yes
| ?- 
X = john
Y = edward
X = john
Y = aliceno
| ?- 
X = edward
Y = alice
X = edward
Y = alice
X = alice
Y = edward
X = alice
Y = edwardno
| ?-