testFunNegativeArity
Tests the query
?- functor(T, foo, -1).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception domain_error(not_less_than_zero,-1).