Home
last modified time | relevance | path

Searched refs:FUNCTOR_prove2 (Results 1 – 3 of 3) sorted by relevance

/dports/lang/yap/yap-6.2.2/include/
H A Ddswiatoms.h800 #define FUNCTOR_prove2 (153*4+2) macro
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-comp.c646 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()
H A Dpl-rec.c2338 PL_FUNCTOR, FUNCTOR_prove2,