- is_units_h(?A) is semidet
- If Is A Units Head.
- is_units_b(?A) is semidet
- If Is A Units Backtackable.
- is_unit is semidet
- If Is A Unit.
- is_unit(?A, ?B) is semidet
- If Is A Unit.
- is_unit(?A, ?B, ?C) is semidet
- If Is A Unit.
- is_unit(?A, ?B, ?C, ?D) is semidet
- If Is A Unit.
- vg(?G) is semidet
- Vg.
- vg(?VALUE1, ?B, ?C) is semidet
- Vg.
- make_must_ground(?H, ?BB, ?VG) is semidet
- Make Must Be Successfull Ground.
- make_vg(?VALUE1, ?Shared, ?VALUE3, :TermS) is semidet
- Make Vg.
- set_clause_compile(?TYPE) is semidet
- Set Clause Compile.
- get_op_alias_compile(?I, ?O) is semidet
- Get Oper. Alias Compile.
- boxlog_to_pfc(:TermPFCM, ?PFC) is semidet
- Datalog Converted To Prolog Forward Chaining.
- boxlog_to_pfc_pass_2(?TYPE, :TermH, ?OUTPUT) is semidet
- Datalog Converted To Compile.
- boxlog_to_pfc_pass_3(?TYPE, ?H, ?BB, :TermH) is semidet
- Datalog Converted To Compile Extended Helper.
- conjoin_maybe(?TYPE, ?BB, ?OUTPUT) is semidet
- Conjoin Maybe.
- correct_mode(?VALUE1, ?O, ?O) is semidet
- Correct Pred Mode.
- body_for_pfc(?Mode, ?Head, ?NewNewHead, ?I, ?O) is semidet
- Body For Prolog Forward Chaining.
- body_for_mpred_1(?Mode, ?Head, ?HeadO, ?C, ?CO) is semidet
- body for Managed Predicate Secondary Helper.
- overlaping(?C, ?Head, ?Avoid) is semidet
- Overlaping.
- overlapingFunctors(?FC, ?HC) is semidet
- Overlaping Functors.
- get_reln(?C, ?F) is semidet
- Get Reln.
- avoidHeadLoop(?C, ?Head) is semidet
- Avoid Head Loop.
- isk(?Var, ?SK) is semidet
- Isk.
- isk_bind(?Var, ?Val, ?SK) is semidet
- Isk Bind.
- head_for_skolem(?H, :TermH, :TermIn) is semidet
- Head For Skolem.
- body_for_mpred_2(+Mode, +Head, -NewHead, +BodyIn, -NewBody) is semidet
- Make a NewHead and a NewBody for +Mode using Head+Body
- reduce_literal(?A, ?A) is semidet
- Reduce Literal.
- can_use_hack(?VALUE1) is semidet
- Can Use Hack.
- did_use_hack(?X) is semidet
- Did Use Hack.
- boxlog_to_pfc_pass_4(:TermIN, :TermOUT) is semidet
- Datalog Converted To Prolog.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5)
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)
- is_unit(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9, Arg10)
