SWI-Prolog -- list_trivial

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

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].