home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
ASSERT2.REF
< prev
next >
Wrap
Text File
|
1996-06-04
|
1KB
|
80 lines
*** Yes
> > Rule one: 1
dynamic(p)?
p(1) :-
write('Rule one: ').
p(2) :-
write('Rule two: ').
p(3) :-
write('Rule three: ').
*** Yes
--1> Rule one: 1
dynamic(p)?
p(1) :-
write('Rule one: ').
p(3) :-
write('Rule three: ').
p(4) :-
write('RULE TWO:: ').
Rule three: 3
dynamic(p)?
p(1) :-
write('Rule one: ').
p(3) :-
write('Rule three: ').
p(4) :-
write('RULE TWO:: ').
RULE TWO:: 4
dynamic(p)?
p(1) :-
write('Rule one: ').
p(3) :-
write('Rule three: ').
p(4) :-
write('RULE TWO:: ').
*** No
--1> > First result---1
dynamic(f)?
f(1) -> 'First result---'.
f(2) -> 'Second result--'.
f(3) -> 'Third result---'.
*** Yes
--1> First result---1
dynamic(f)?
f(1) -> 'First result---'.
f(3) -> 'Third result---'.
f(4) -> 'Forth result---'.
Third result---3
dynamic(f)?
f(1) -> 'First result---'.
f(3) -> 'Third result---'.
f(4) -> 'Forth result---'.
Forth result---4
dynamic(f)?
f(1) -> 'First result---'.
f(3) -> 'Third result---'.
f(4) -> 'Forth result---'.
*** No
--1>