home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
IN
/
NONSTRIC.I00
< prev
next >
Wrap
Text File
|
1996-06-04
|
143b
|
13 lines
A=s(a(X),b(X:(1+2)))?
B=s(b(X),a(X:(1+2)))?
C=s(a(X:(1+2)),b(X))?
D=s(b(X:(1+2)),a(X))?
non_strict(foo)?
foo(X).
cond(true,foo(X:(1+2)))?