fork(2) download
  1. eliminar([], E, []).
  2. eliminar([X|Xs], N, [X|Laux]) :- N =\= X, eliminar(Xs, N, Laux).
  3. eliminar([X|Xs], N, Laux) :- N =:= X, eliminar(Xs, N, Laux).
  4.  
  5. ?- eliminar([2,4,6,8,4,5], 4, L), write(L).
Success #stdin #stdout #stderr 0.02s 7784KB
stdin
Standard input is empty
stdout
[2,6,8,5]
stderr
Warning: /home/OVfJcc/prog:1:
	Singleton variables: [E]

ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit