testNoFooIsCallable
Tests the query
?- (nofoo(X), call(X)).Content copied to clipboard
fails on a solver initialized with default built-ins, the unknown flag set to error, and an empty theory, producing exception existence_error(procedure, nofoo/1).