testFunXNameYArity
Tests the queries
?- functor(1,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 1 and the variable Y to 0 .