Did you know ... Search Documentation:
examples.pl
PublicShow source
Source index_examples is det
Source index_examples(+Backlog) is det
Source reindex_examples is det
Update the example index.
To be done
- We only have to reprocess modified or new examples.
Source ex_xref(?Id, -Code, -XRef) is nondet

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

Source index_examples is det
Source index_examples(+Backlog) is det
Source reindex_examples is det
Update the example index.
To be done
- We only have to reprocess modified or new examples.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source examples(Arg1, Arg2, Arg3, Arg4)