Searched refs:FUNCTOR_prove2 (Results 1 – 3 of 3) sorted by relevance
800 #define FUNCTOR_prove2 (153*4+2) macro
646 if ( PL_is_functor(clause, FUNCTOR_prove2) ) in get_head_and_body_clause()3718 PL_FUNCTOR, FUNCTOR_prove2, in assert_term()4793 if ( PL_is_functor(term, FUNCTOR_prove2) ) in decompile()4807 TRY(PL_unify_functor(term, FUNCTOR_prove2)); in decompile()
2338 PL_FUNCTOR, FUNCTOR_prove2,