Help for this page
perlcall(X,Y) :- boundp(X), % uh... a predicate for asking that X need no further u +nification so perlcall only gets complete answers boundp(Y), perlcall2(X,Y), !.