Inlined Tests and Term Manipulation¶
- current_choice_point/1
- functor/3
- arg/3
- ?X/0
- X/0
- var/1
- nonvar/1
- compound/1
- float/1
- primitive/1
- db_reference/1
- number/1
- integer/1
- atomic/1
- atom/1
- otherwise/0
- true/0
- false/0
- fail/0
Define:¶
Functions:¶
1. static Int p_atom(USES_REGS1):
1. static Int p_atomic(USES_REGS1):
1. static Int p_integer(USES_REGS1):
1. static Int p_nonvar(USES_REGS1):
1. static Int p_number(USES_REGS1):
1. static Int p_var(USES_REGS1):
1. static Int p_db_ref(USES_REGS1):
1. static Int p_primitive(USES_REGS1):
1. static Int p_compound(USES_REGS1):
1. static Int p_float(USES_REGS1):
1. static Int p_equal(USES_REGS1):
1. static Int p_dif(USES_REGS1):
1. static Int p_eq(USES_REGS1):
1. static Int p_arg(USES_REGS1):
1. static Int p_functor(USES_REGS1):
1. static Int p_fail(USES_REGS1):
1. static Int p_true(USES_REGS1):
1. static Int eq(Term t1, Term t2 USES_REGS):
1. int Yap_eq(Term t1, Term t2):
1. static Term cp_as_integer(choiceptr cp USES_REGS):
1. static Int p_cut_by(USES_REGS1):
1. static Int p_cut_at(USES_REGS1):
1. static Int p_erroneous_call(USES_REGS1):