Did you know ... Search Documentation:
Pack pfc -- prolog/pfc2.0/mpred_expansion.pl
PublicShow source
 default_te(?IF, ?VAR, ?VAL) is semidet
Default Te.
 a(?C, ?I) is nondet
A.
 alt_calls(+Op) is semidet
Alt Calls.
 show_doall(:Goal) is semidet
Show Doall.
 is_pred_declarer(?P) is semidet
If Is A Predicate Declarer.
 is_relation_type(?P) is semidet
If Is A Relation Type.
 functor_declares_instance(?F, ?C) is semidet
Functor Declares Instance.
 functor_declares_instance_0(?P, ?P) is semidet
safe_functor declares instance Primary Helper.
 functor_declares_collectiontype(+Op, ?VALUE2) is semidet
Functor Declares Collectiontype.
 instTypePropsToType(+Op, ?VALUE2) is semidet
Inst Type Props Converted To Type.
 reduce_clause(?Op, ?C, ?HB) is semidet
Reduce Clause.
 demodulize(?Op, ?H, ?HH) is semidet
Demodulize.
 to_reduced_hb(?Op, ?HB, ?HH, ?BB) is semidet
Converted To Reduced Head+body.
 any_op_to_call_op(+Op, ?VALUE2) is semidet
Any Oper. Converted To Call Oper..
 db_expand_maplist(:PRED2FE, ?List, ?T, ?G, ?O) is semidet
Database Expand Maplist.
 should_expand(:TermG) is semidet
Must Be Successfull Expand.

TODO Maybe later? should_expand(G):- \+ skip_expand(G), arg(_,G,E),compound(E).

 is_stripped_module(+Op) is semidet
Is a stripped Module (Meaning it will be found via inheritance)
 expand_kif_string_or_fail(++Op, ++Sent, --SentO) is semidet
Expand if String of KIF.
 fully_expand_clause(++Op, :TermSent, --SentO) is det
Fully Expand Clause.
 as_is_term(:TermNC) is semidet
Converted To If Is A Term Primary Helper.
 infix_op(?Op, ?VALUE2) is semidet
Infix Oper..
 comparitiveOp(+Op) is semidet
Comparitive Oper..
 additiveOp(+Op) is semidet
Additive Oper..
 is_unit(?C) is semidet
If Is A Unit.
 is_unit_functor(?F) is semidet
If Is A Unit Functor.
 mpred_expand_rule(?PfcRule, ?Out) is det
Managed Predicate Expand.
 db_expand_final(+Op, +TermNC, ?NC) is semidet
Database Expand Final.
 is_elist_functor(+Op) is semidet
If Is A Elist Functor.
 as_list(?EC, ?AL) is det
Converted To List.
 listToE(?EL, ?E) is det
List Converted To E.
 db_expand_chain(+Op, ?M, ?PO) is det
Database Expand Chain.
 fully_expand_head(?A, ?B, ?C) is semidet
Database Expand A Noloop.
 is_arity_pred(+Op) is semidet
If Is A Arity Predicate.
 map_f(?F, ?F) is semidet
Map False.
 ex_argIsa(?P, ?N, ?C) is semidet
ex Argument (isa/2).
 compound_all_open(?C) is semidet
Compound All Open.
 remodulize(?Op, ?H, ?HH) is det
Re-Modulize.
 from_univ(?Prefix, ?Op, :TermMORE, ?Out) is semidet
Converted From Univ.
 expand_props(?Op, ?Term, ?OUT) is semidet
Expand Props.
 conjoin_l(?A, :TermAA, ?C) is semidet
Conjoin (list Version).
 into_mpred_form(:TermV, ?VO) is semidet
Converted To Managed Predicate Form.
 into_mpred_form_ilc(?G, ?O) is semidet
Converted To Managed Predicate Form Inside Of Loop Checking.
 into_mpred_form6(?X, ?H, ?P, ?N, ?A, ?O) is semidet
Converted To Managed Predicate Form6.
 acceptable_xform(?From, ?To) is semidet
Acceptable Xform.
 transform_holds(?H, ?In, ?Out) is semidet
Transform Holds.
 foreach_arg(:TermARGS, ?N, ?ArgIn, ?ArgN, ?ArgOut, ?Call, :TermARGS) is semidet
Foreach Argument.
 transform_functor_holds(+Op, ?F, ?ArgInOut, ?N, ?ArgInOut) is semidet
Transform Functor Holds.
 transform_holds_3(+Op, :TermA, ?A) is semidet
Transform Holds Helper Number 3..
 holds_args(?HOFDS, ?FIST) is semidet
Holds Arguments.
 do_expand_args(?Op, ?Term, ?Term) is semidet
Do Expand Arguments.
 do_expand_args_pa(?Exp, ?P, ?ARGS, ?Out) is semidet
Do Expand Arguments Pa.
 do_expand_args_l(+Op, :TermA, :TermA) is semidet
Do Expand Arguments (list Version).
 expand_goal_correct_argIsa(?A, ?B) is semidet
expand goal correct Argument (isa/2).
 db_op_simpler(+Op, ?VALUE2, :TermARG3) is semidet
Database Oper. Simpler.
 db_op_sentence(?Op, ?Prop, ?ARGS, ?C0) is semidet
Database Oper. Sentence.
 simply_functors(:PRED2Db_pred, ?Op, ?Wild) is semidet
Simply Functors.
 reduce_clause_from_fwd(Op, +H, ?H) is semidet
Reduce Clause Converted From Forward Repropigated.
 append_as_first_arg(+C, ?I, ?V) is semidet
Append Converted To First Argument.
 to_predicate_isas(:TermV, :TermV) is semidet
Converted To Predicate Isas.
 exact_args(+Q) is semidet
Exact Arguments.
 db_quf_l(?Op, ?And, ?C12, ?Pre2, ?Templ2) is semidet
Database Quf (list Version).
 db_quf_l_0(?Op, ?And, :TermC, ?D2, ?D3) is semidet
Database quf (List version) Primary Helper.
 db_quf(+Op, ?C, ?Pretest, ?Template) is semidet
Database Quf.
 translate_args(?O, ?Prop, ?A, ?OBJ, ?N, :TermARG6, :TermARG7, ?GIN, ?GIN) is semidet
Translate Arguments.
 translateOneArg(?Op, ?Prop, ?Obj, ?Type, ?VAR, ?VAR, ?G, ?G) is semidet
Translate One Argument.
 translateListOps(?O, ?Prop, ?Obj, ?Type, ?VAL, :TermARG6, ?G, ?G) is semidet
Translate List Oper.s.
 compare_op(?Type, :PRED2F, ?OLD, ?VAL) is semidet
Compare Oper..
 expanded_different(?G0, ?G1) is semidet
Expanded Different.
 expanded_different_ic(?G0, ?G1) is semidet
Expanded Different Ic.
 expanded_different_1(?G0, :TermG1) is semidet
expanded different Secondary Helper.
 into_functor_form(?HFDS, ?X, ?O) is semidet
Converted To Functor Form.
 into_functor_form(?Dbase_t, ?X, ?Dbase_t, ?A, ?X) is semidet
Converted To Functor Form.

Undocumented predicates

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

 cheaply_u(Arg1)
 cheaply_u(Arg1)
 maybe_prepend_mt(Arg1, Arg2, Arg3)
 try_expand_head(Arg1, Arg2, Arg3)
 db_expand_0(Arg1, Arg2, Arg3)
 replaced_module(Arg1, Arg2, Arg3)
 fully_expand_into_cache(Arg1, Arg2, Arg3)
 exact_args0(Arg1)
 expand_isEach_or_fail(Arg1, Arg2)
 expand_props(Arg1, Arg2, Arg3, Arg4)
 fix_negations(Arg1, Arg2)
 fixed_negations(Arg1, Arg2)
 fixed_syntax(Arg1, Arg2)
 fully_expand(Arg1, Arg2)
 fully_expand(Arg1, Arg2, Arg3)
 fully_expand_goal(Arg1, Arg2, Arg3)
 fully_expand_into_cache(Arg1, Arg2, Arg3)
 fully_expand_real(Arg1, Arg2, Arg3)
 fully_expand_into_cache(Arg1, Arg2, Arg3)
 is_meta_functor(Arg1, Arg2, Arg3)
 is_unit_like(Arg1)
 post_expansion(Arg1, Arg2, Arg3)
 must_remodulize(Arg1, Arg2, Arg3)
 recommify(Arg1, Arg2)
 recommify(Arg1, Arg2, Arg3)
 string_to_mws(Arg1, Arg2)
 transitive_lc_nr(Arg1, Arg2, Arg3)
 was_isa_ex(Arg1, Arg2, Arg3)
 mpred_expansion_file
 expand_kif_string(Arg1, Arg2)
 temp_comp(Arg1, Arg2, Arg3, Arg4)
 get_ruleRewrite(Arg1, Arg2)
 try_expand_head(Arg1, Arg2, Arg3)
 expand_isEach_or_fail(Arg1, Arg2)
 fully_expand(Arg1, Arg2, Arg3)
 fully_expand(Arg1, Arg2)
 mpred_expansion_file