Home
last modified time | relevance | path

Searched refs:PL_var_occurs_in (Results 1 – 4 of 4) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-funcs.h389 COMMON(int) PL_var_occurs_in(term_t var, term_t value);
H A Dpl-write.c1713 if ( PL_var_occurs_in(var, value) ) in reunify_acyclic_substitutions()
H A Dpl-read.c1698 PL_var_occurs_in(var->variable, result) ) in is_singleton()
H A Dpl-prims.c601 PL_var_occurs_in(term_t var, term_t value) in PL_var_occurs_in() function