Searched defs:PL_get_head (Results 1 – 3 of 3) sorted by relevance
293 PL_get_head = _lib.PL_get_head variable
631 X_API int PL_get_head(term_t ts, term_t h) in PL_get_head() function
2026 PL_get_head(term_t l, term_t h) in PL_get_head() function