testFunMats
Tests the queries
?- functor(mats(A,B),A,B).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 A to mats and the variable B to 2 .