+/0¶

+* P is nondet

The same as call( _P_). This feature has been kept to provide compatibility with C-Prolog. When compiling a goal, YAP generates a call( _X_) whenever a variable X is found as a goal.

 a(X) :- X.

is converted to:

 a(X) :- call(X).