Page "Prolog" Paragraph 55
from
Wikipedia
Notice that with the code as stated above, the query also succeeds.
One would insert additional goals to describe the relevant restrictions, if desired.
Page 1 of 1.
2.030 seconds.