perlcall(X,Y) :- boundp(X), % uh... a predicate for asking that X need no further unification so perlcall only gets complete answers boundp(Y), perlcall2(X,Y), !.