testUndefPred
Tests the queries
?- undef_pred.Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception existence_error(procedure, undef_pred/0).
Tests the queries
?- undef_pred.fails on a solver initialized with default built-ins and with and empty theory, producing exception existence_error(procedure, undef_pred/0).