% -*- Prolog -*-
%
% Simple asserta/retract test.
%
% $Id: 020,v 1.2 2000/07/25 13:29:01 peteg Exp $

:- dynamic(test/1).

asserta_test :-
	asserta(test(1)),
	asserta(test(2)),
	asserta(test(3)).

write_test :-
	test(X),
	write(test(X)),
	nl,
	fail.
write_test.

retract_test :-
	retract(test(X)),
	write(test(X)),
	nl,
	fail.
retract_test.

main :-
	asserta_test,
	write_test,
	retract_test.
