Listas en visual prolog

Añadir.pro
domains
s=String*
predicates
nondeterm añadir(s,s,s).
clauses
añadir([],B,B).
añadir([X|Y],B,[X|Z]):-añadir(Y,B,Z).
goal
añadir([de,hoy,no],[pasa],X).

Conectar.pro
domainss=String*
predicates
nondeterm concatenar(s,s,s).
clauses
concatenar([],L,L).
concatenar([X|L1],L2,[X|L3]):-concatenar(L1,L2,L3).
goal
concatenar([uno,dos,tres],[cuatro],[uno,dos,tres,cuatro]).Concatenar_1.pro
domains
s=String*
predicates
nondeterm concatenar(s,s,s).
clauses
concatenar([],L,L).
concatenar([X|L1],L2,[X|L3]):-concatenar(L1,L2,L3).
goalconcatenar([uno,dos,tres],[cuatro],Z).

Concatenar_2.pro
domains
s=String*
predicates
nondeterm concatenar(s,s,s).
clauses
concatenar([],L,L).
concatenar([X|L1],L2,[X|L3]):-concatenar(L1,L2,L3).
goalconcatenar([uno,dos,tres],[Y],[uno,dos,tres,cuatro]).

Concatenar_3.pro
domains
s=String*
predicates
nondeterm concatenar(s,s,s).
clauses
concatenar([],L,L).
concatenar([],L,L).concatenar([X|L1],L2,[X|L3]):-concatenar(L1,L2,L3).
goal
concatenar([de,hoy,no],[pasa],L3).

Escribe_lista.pro
domains
s=String*
predicates
nondeterm escribe_lista(s).
clauses
escribe_lista([]):-nl.escribe_lista([X|Y]):-write(X), escribe_lista(Y).
goal
escribe_lista([a,b,c,d,e,f,g]).

Invertir.pro
domains
s=string*
predicates
nondeterm invertir(s,s)
nondeterm concatenar(s,s,s)
clausesinvertir([],[]).
invertir([X|Y],L):-invertir(Y,Z), concatenar(Z,[X],L).
concatenar([],L,L).
concatenar([X|L1],L2,[X|L3]):-concatenar(L1,L2,L3).
goal
invertir([cinco_perros, mataron, cinco_lobos],X).Longitud.pro
domains
s=string*
d=s*
a=integer
predicates
nondeterm longitud(d,a).
clauses
longitud([],0):-!.
Longitud([_|Y],N):-longitud(Y, N1), N=N1+1.
GoalLongitud([[uno,dos,tres],[cuatro],[uno,dos,tres,cuatro]], X).

Pertenece.pro
Domains
S=string*
A=string
Predicates
Nondeterm pertenece_a(a,s).
Clauses
Pertenece_a(X,[X|_]):-!.
Pertenece_a(X,[_|Y])if pertenece_a(X,Y)....