From c7b5cc235e9ba07ac7aecdb2bf4859f7da78b855 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Thu, 17 Jun 2010 00:28:03 +0100 Subject: [PATCH] atomic_list_concat/3 (SWI compatibility). --- pl/utils.yap | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/pl/utils.yap b/pl/utils.yap index ed98a5d7f..2a26a0a30 100644 --- a/pl/utils.yap +++ b/pl/utils.yap @@ -352,6 +352,15 @@ atom_concat(X,Y,At) :- atomic_list_concat(L,At) :- atomic_concat(L, At). +atomic_list_concat(L, El, At) :- + '$add_els'(L,El,LEl), + atomic_concat(LEl, At). + +'$add_els'([A,B|L],El,[A,El|NL]) :- !, + '$add_els'([B|L],El,NL). +'$add_els'(L,_,L). + + atomic_concat(X,Y,At) :- ( nonvar(X), nonvar(Y)