From 71f59ac5709a59ec500b5679cf5dd3ab9f22d26e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 18 Jun 2010 00:29:07 +0100 Subject: [PATCH] PL_unify_list_codes --- library/yap2swi/yap2swi.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/library/yap2swi/yap2swi.c b/library/yap2swi/yap2swi.c index 32285f325..76dea181d 100755 --- a/library/yap2swi/yap2swi.c +++ b/library/yap2swi/yap2swi.c @@ -1651,6 +1651,11 @@ X_API int PL_unify_list_ncodes(term_t t, size_t len, const char *chars) return Yap_unify(Yap_GetFromSlot(t), chterm); } +X_API int +PL_unify_list_codes(term_t l, const char *chars) +{ return PL_unify_list_ncodes(l, strlen(chars), chars); +} + /* SWI: int PL_unify_nil(term_t ?l) YAP long int unify(YAP_Term* a, Term* b) */ X_API int PL_unify_nil(term_t l)