SWI-Prolog -- list_trivial_fails/1

Availability::- use_module(library(check)).(can be autoloaded)

Source

[det]list_trivial_fails

[det]list_trivial_fails(+Options)

List goals that trivially fail because there is no matching clause. Options:

module_class(+Classes): Process modules of the given Classes. The default for classes is [user]. For example, to include the libraries into the examination, use [user,library].