Did you know ... Search Documentation:
Pack pfc -- prolog/pfc2.0/mpred_listing.pl
PublicShow source
 lqu is semidet
Lqu.
 pp_facts is semidet
Pretty Print Facts.
 pp_facts(?Pattern) is semidet
Pretty Print Facts.
 pp_facts(?P, ?C) is semidet
Pretty Print Facts.
 pp_items(?Type, :TermH) is semidet
Pretty Print Items.
 pp_item(?MM, :TermH) is semidet
Pretty Print Item.
 get_clause_vars_for_print(?HB, ?HB) is semidet
Get Clause Variables For Print.
 mpred_classify_facts(:TermH, ?User, :TermPfc, ?H) is semidet
Managed Predicate Classify Facts.
 print_db_items(?T, ?I) is semidet
Print Database Items.
 print_db_items(?I) is semidet
Print Database Items.
 pp_rules is semidet
Pretty Print Rules.
 pp_triggers is semidet
Pretty Print Triggers.
 pp_supports is semidet
Pretty Print Supports.
 draw_line is semidet
Draw Line.
 loop_check_just(:GoalG) is semidet
Loop Check Justification.
 show_pred_info(?F) is semidet
Show Predicate Info.
 show_pred_info_0(?Head) is semidet
show Predicate info Primary Helper.
 print_db_items(?Title, ?Mask, ?What) is semidet
Print Database Items.
 print_db_items(?Title, ?Mask, ?SHOW, ?What0) is semidet
Print Database Items.
 mpred_contains_term(?What, ?VALUE2) is semidet
Managed Predicate Contains Term.
 mpred_list_triggers(?What) is semidet
Managed Predicate List Triggers.
 mpred_list_triggers_nlc(?What) is semidet
Managed Predicate List Triggers Nlc.
 mpred_list_triggers_0(?What) is semidet
Managed Predicate list triggers Primary Helper.
 mpred_list_triggers_types(?VALUE1) is semidet
Managed Predicate list triggers Types.
 print_db_items_and_neg(?Title, ?Fact, ?What) is semidet
Print Database Items And Negated.
 mpred_list_triggers_1(?What) is semidet
Managed Predicate list triggers Secondary Helper.

Undocumented predicates

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

 pinfo(Arg1)
 pp_filtered(Arg1)
 mpred_listing_file