testRetractNumIfX
Tests the queries
?- retract((4 :- X)).Content copied to clipboard
fails on a solver initialized with default built-ins and with and empty theory, producing exception domain_error(clause, 4)).
Tests the queries
?- retract((4 :- X)).fails on a solver initialized with default built-ins and with and empty theory, producing exception domain_error(clause, 4)).