YAP 7.1.0
nth_clause/3

nth_clause(+ H, I,- R) More...

Detailed Description

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

Definition at line 1 of file preds.yap.


The documentation for this class was generated from the following file: