testFunArityWithSub
Tests the queries
?- functor(foo(a,b,c),X,Y).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory, producing 2 solutions which binds the variable X to foo and the variable Y to 3 .