![]() |
YAP 7.1.0
|
nth_clause(+ H, I,- R) More...
nth_clause(+ H, I,- R)
Find the I_th clause in the predicate defining _H, and give a reference to the clause Alternatively, if the reference R is given the head H is unified with a description of the predicate and I is bound to its position