testFunFlag
Tests the query
?- (current_prolog_flag(max_arity,A), X is A + 1, functor(T, foo, X)).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception representation_error(max_arity).