Tengo un problema con un ejercicio de prolog, el cual es el de construir un predicado que dado un átomo a
como primer argumento, un segundo átomo s
como segundo argumento, se unifique a un tercer parámetro L
, que contenga un conjunto de números correspondiente a las posiciones donde el átomo a
aparece en el átomo s
. considerando 0 como la primera posición.
Como ejemplo tengo esto:
buscaInstanciasAtom(asa, aSaasasasa, L)
deber resultar en L = [3,5,7]
.
Teniendo en cuenta esto hice lo siguiente:
buscaInstanciasAtom(A, S, L):- sub_string(S,Posicion,_,_,A), L=Posicion.
Pero en vez de resultar L=[3,5,7]
, resulta en L=3,L=5,L=7
, y no se como insertar en una sola lista, ayuda por favor.