Page "Prolog" Paragraph 52
from
Wikipedia
This is obtained as follows: Initially, the only matching clause-head for the query is the first one, so proving the query is equivalent to proving the body of that clause with the appropriate variable bindings in place, i. e., the conjunction.
This goal can be proved using the fact, so the binding is generated, and the next goal to be proved is the second part of the above conjunction:.
Page 1 of 1.
2.166 seconds.