base.pro

% DEMO DE BASES DINAMICAS
%--------------------------
limpiaDatos:-
	dato(X), retract(dato(X)), fail.
limpiaDatos:-!.

inicio:-
	limpiaDatos,
	assert(dato(8)),
	assert(dato(7)),
	ciclo.

comando([inserta]):-
	write('Inserta datos: '),
	readln(X),
	busca(X), 
	assert(dato(X)).
comando([inserta]):- !,
	writeln('Ya existe el comando...').

comando([borra]):- dato(X), retract(dato(X)).

comando([muestra]):- dato(Info), writeln(Info), fail.
comando([muestra]):-!.
comando([salir]):- !, fail.

busca([X]):- dato(X), !, fail.
busca(_):-!.

ciclo:-
	write('Comando: '),
	readln(X), comando(X), !, ciclo.
ciclo:-!.

:-
	dynamic dato.