testAbolishFooNeg
Tests the queries
?- abolish(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).
Tests the queries
?- abolish(foo/(-1)).fails on a solver initialized with default built-ins and with and empty theory, producing exception domain_error(not_less_than_zero,-1).