Prolog Language Higher-Order Programming call/N predicates


Example

The call/N family of predicates can call arbitrary Prolog goals at run time:

?- G=true, call(G).
true.

?- G=(true,false), call(G).
false.