Searched defs:PL_unify_list (Results 1 – 3 of 3) sorted by relevance
/dports/lang/swi-pl/swipl-8.2.3/src/ |
H A D | pl-ldpass.h | 114 #define PL_unify_list(l, h, t) PL_unify_list__LD(l, h, t PASS_LD) macro
|
H A D | pl-fli.c | 3355 PL_unify_list(term_t l, term_t h, term_t t) in PL_unify_list() function 3360 #define PL_unify_list(l, h, t) PL_unify_list__LD(l, h, t PASS_LD) macro
|
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/ |
H A D | swi.c | 1644 X_API int PL_unify_list(term_t tt, term_t h, term_t tail) in PL_unify_list() function
|