home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
MODULE_T.R04
< prev
next >
Wrap
Text File
|
1996-06-04
|
209b
|
21 lines
*** Yes
> >
*** Yes
>
bb(c => d,e => _A,g => _B) :-
_B .i = 123,
h(_A).
*** Yes
>
% 'h' is undefined.
*** Yes
>
*** Yes
A = bb(c => d,e => @(j => 111),g => @(i => 123)).
--1>
*** No
>