Searched refs:PL_strip_module_ex (Results 1 – 3 of 3) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-ldpass.h | 126 #define PL_strip_module_ex(t,m,p) PL_strip_module_ex__LD(t,m,p PASS_LD) macro
|
H A D | pl-comp.c | 649 if ( !PL_strip_module_ex(head, m, head) ) in get_head_and_body_clause() 3684 if ( !PL_strip_module_ex(term, &module, tmp) ) in assert_term() 4063 if ( !PL_strip_module_ex(A1, &m, tail) )
|
H A D | pl-proc.c | 2856 if ( !PL_strip_module_ex(term, &m, cl) ||
|