Home
last modified time | relevance | path

Searched defs:PL_unify_atom (Results 1 – 3 of 3) sorted by relevance

/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-ldpass.h107 #define PL_unify_atom(t, a) PL_unify_atom__LD(t, a PASS_LD) macro
H A Dpl-fli.c2808 PL_unify_atom(term_t t, atom_t a) in PL_unify_atom() function
2812 #define PL_unify_atom(t, a) PL_unify_atom__LD(t, a PASS_LD) macro
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.c1532 X_API int PL_unify_atom(term_t t, atom_t at) in PL_unify_atom() function