:- use_module(library(iso_ext)). test_2 :- test_syntax_error("'\n", syntax_error(_)). test_3 :- test_syntax_error(")\n", syntax_error(incomplete_reduction)). test_261 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results