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.
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.
