home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
IN
/
CURRY6.IN
< prev
next >
Wrap
Text File
|
1996-06-04
|
739b
|
40 lines
f(A,B,C) -> A+B+C.
X=f(A)?
Y=X(2=>B)?
Z=Y(3=>C)?
A=4, B=5, C=6?
Z=X(3=>C)?
W=Z(2=>45)?
A=10,B=45?
C=33?
Z1=f(2=>B,3=>C)?
Z2=Z1(A), Y1=Y(3=>C), Z3=Z(2=>B)?
.
X=f(A), Y=f(2=>A), Z=f(3=>A)?
X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
A=1, B=2, C=3?
.
X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
A=1, B=2, C=3?
X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
X=f(A), Y=f(2=>A), Z=f(3=>A)?
.
X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
A=1, B=2, C=3?
X=f(A), Y=f(2=>A), Z=f(3=>A)?
.
X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
X=f(A), Y=f(2=>A), Z=f(3=>A)?
A=1, B=2, C=3?
.
A=1, B=2, C=3?
X2=X1(2=>C), Y2=Y1(3=>C), Z2=Z1(C)?
X1=X(3=>B), Y1=Y(B), Z1=Z(2=>B)?
X=f(A), Y=f(2=>A), Z=f(3=>A)?
.