Tests Related to Source Information

These tests provide access to source related information. The file and line tests will fail if no source information is present. The parent_clause and parent_pred tests are available for interpreted code only.

file(File)

The current goal is invoked from a file whose absolute name is File.

line(File,Line)

The current goal is invoked from line Line, from within a file whose absolute name is File.

line(Line)

The current goal is invoked from line Line.

parent_clause(Cl)

The current goal is invoked from clause Cl.

parent_clause(Cl,Sel)

The current goal is invoked from clause Cl and within its body it is pointed to by the subterm selector Sel.

parent_clause(Cl,Sel,I)

The current goal is invoked from clause Cl, it is pointed to by the subterm selector Sel within its body, and it is the Ith goal within it. The goals in the body are counted following their textual occurrence.

parent_pred(Pred)

The current goal is invoked from predicate Pred.

parent_pred(Pred,N)

The current goal is invoked from predicate Pred, clause number N.