testFailIsCallable
Tests the query
?- (fail, call(3)).Content copied to clipboard
fails on a solver initialized with default built-ins and with an empty theory: since conjunction is evaluated left-to-right and short-circuits on failure, the (otherwise erroneous) right conjunct is never resolved.