home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
IN
/
T3205.IN
< prev
next >
Wrap
Text File
|
1996-06-04
|
248b
|
35 lines
%
% WILD-LIFE TESTING
%
% How predicate is input
%
% assert, asserta, retract.
%
%
assert(t(b))?
%
test1(X)?
;
test2(X)?
;
;
%
retract(t(a)),!?
%
test1(X)?
;
test2(X)?
;
%
asserta(t(a))?
%
test1(X)?
;
test2(X)?
;
;
%
retract_all(t)?
%
test1(X)?
%