Did you know ... Search Documentation:
Pack pfc -- prolog/pfc2.0/mpred_at_box.pl
PublicShow source
 assert_setting01(?X) is semidet
:- srtrace.
 which_file(?F) is semidet
Which File.
 in_mpred_kb_module is semidet
In Managed Predicate Knowledge Base Module.
 box_type(?F, ?A, ?VALUE3) is semidet
Datalog Type.
 get_file_type_local(?File, ?Type) is det
Get File Type.
 set_fileAssertMt(ABox) is semidet
Sets the File''s Module.
 set_defaultAssertMt(?M) is semidet
Sets Current Module.
 defaultAssertMt(-Ctx) is det
M is an "assertion component" Prolog Module within a knowledge base.

not just user modules

 ensure_imports(?M) is semidet
Ensure Imports.
 skip_user(?M) is semidet
Skip over 'user' module and still see 'system'.
 ensure_imports_tbox(?M, ?TBox) is semidet
Ensure Imports Tbox.
 correct_module(?M, ?X, ?T) is semidet
Correct Module.
 correct_module(?M, ?Goal, ?F, ?A, ?T) is semidet
Correct Module.
 make_shared_multifile(?CallerMt, ?PredMt, :TermPI) is semidet
Make Shared Multifile.
 make_reachable(?UPARAM1, ?Test) is semidet
Make Reachable.
 import_predicate(?CM, :TermM) is semidet
Import Predicate.

Undocumented predicates

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

 make_module_name_local(Arg1, Arg2)
 make_module_name_local0(Arg1, Arg2)
 make_shared_multifile(Arg1)
 make_shared_multifile(Arg1, Arg2, Arg3, Arg4)
 add_import_predicate(Arg1, Arg2, Arg3)
 autoload_library_index(Arg1, Arg2, Arg3, Arg4)
 ensure_abox(Arg1)
 baseKB_hybrid_support(Arg1, Arg2)
 setup_module_ops(Arg1)
 makeConstant(Arg1)
 mtCanAssert(Arg1)
 transitive_path(Arg1, Arg2, Arg3)
 user_m_check(Arg1)
 add_abox_module(Arg1)
 ensure_tbox(Arg1)
 fixup_modules
 inherit_into_module(Arg1, Arg2)
 fixup_module(Arg1, Arg2)
 is_undefaulted(Arg1)
 map_inheritance(Arg1)