home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
REFOUT
/
CLAUSE.REF
< prev
next >
Wrap
Text File
|
1996-06-04
|
737b
|
60 lines
*** Yes
> >
*** Yes
X = (f1(a) -> Y), Y = a.
--1>
*** Yes
X = (f1(b) -> Y), Y = b.
--1>
*** No
>
*** Yes
X = (f2 -> Y), Y = c.
--1>
*** Yes
X = (f2(a,s,d) -> Y), Y = (s, d).
--1>
*** No
>
*** Yes
X = (f3(a,s,d) -> Y), Y = (s, d).
--1>
*** Yes
X = (f3 -> Y), Y = c.
--1>
*** No
>
*** Yes
X = (g -> Y), Y = a.
--1>
*** Yes
X = (g(a) -> Y), Y = b.
--1>
*** No
>
*** Yes
X = (h -> Y), Y = a.
--1>
*** Yes
X = (h -> Y), Y = b.
--1>
*** No
>
*** Yes
A = [], B = list, C = B, X = (append(A,B) -> B).
--1>
*** Yes
A = [_A|_B], B = list, C = [_A|append(_B,B)], X = (append(A,B) -> C).
--1>
*** No
>
*** Yes
X = (append([],_A: list) -> _A).
--1>
*** Yes
X = (append([_A|_B],_C: list) -> [_A|append(_B,_C)]).
--1>
*** No
> >