- list_trivial_fails is det
- list_trivial_fails(+Options) is det
- 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].