Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
same_length([], []). same_length([_|T1], [_|T2]) :- same_length(T1, T2). list_swap(As,I,J,Cs) :- same_length(As,Cs), append(BeforeI,[AtI|PastI],As), append(BeforeI,[AtJ|PastI],Bs), append(BeforeJ,[AtJ|PastJ],Bs), append(BeforeJ,[AtI|PastJ],Cs), length(BeforeI,I), length(BeforeJ,J). remove_element(H,[H|L],L). ejecutar_instruccion(EstadoActual,X,Y,EstadoSiguiente):- EstadoActual =.. Lista, remove_element(name(regs),Lista,NwLista), list_swap(NwLista,X,Y,L), EstadoSiguiente =