instance/2¶

"instance(+ R,- T" )

If R refers to a clause or a recorded term, T is unified with its most general instance. If R refers to an unit clause C, then T is unified with _C_ :- true. When R is not a reference to an existing clause or to a recorded term, this goal fails.