% HECHOS, PREDICADOS O CLAUSULAS (funciones) compara(A, B):- A == B, fail. compara(_, _). lista( [ ] ). lista( [ H | T ]):- writeln( H ), lista( T ). junta( [X|_], Lista, [X, Lista] ). inicia:- write('Nuevo dato: '), readln(X), junta(X, [1,2,3,4,5], Y ), lista(Y). % GOAL o META (main) :- inicia.