Home
last modified time | relevance | path

Searched defs:PL_unify (Results 1 – 5 of 5) sorted by relevance

/dports/lang/yap/yap-6.2.2/packages/pyswip/pyswip/
H A Dcore.py349 PL_unify = _lib.PL_unify variable
/dports/lang/swi-pl/swipl-8.2.3/src/
H A Dpl-ldpass.h84 #define PL_unify(t1, t2) PL_unify__LD(t1, t2 PASS_LD) macro
H A Dpl-fli.c3950 PL_unify(term_t t1, term_t t2) in PL_unify() function
3956 #define PL_unify(t1, t2) PL_unify__LD(t1, t2 PASS_LD) macro
/dports/lang/yap/yap-6.2.2/library/dialect/swi/fli/
H A Dswi.c1525 X_API int PL_unify(term_t t1, term_t t2) in PL_unify() function
/dports/lang/swi-pl/swipl-8.2.3/packages/xpce/swipl/
H A Dinterface.c412 #define PL_unify(t1, t2) SP_unify((t1), (t2)) macro