Did you know ... | Search Documentation: |
Pack xtools -- prolog/mark_preds.pl |
The order of this clauses matters, because we record as marked from the most specific to the most generic one !!!
The logic is: a call to a predicate will potentially use:
(1) all the assertions (2) the clauses that match, and (3) the dynamic calls that match
The following predicates are exported, but not or incorrectly documented.