<<ＭＩＳ強化履歴>>MIS TEST STATUS

08/25/96

1.le
le(X,X):-
le(X,s(Y)):-le(X,Y)

2.me
mbr(X,[X|Y]):-
mbr(X,[Y|Z]):-mbr(X,Z)

3.gf
gf(X,Y):-f(X,Z),f(Z,Y)
gf:ATOM=LONG TIME
gf:HEAD=SHORTTIME

09/06/96

1.ap
NOTYET
VMMODE
CPOVF->VM
HNOVF->VM
CSEQOVF->VM

2.ac
ac(X,Y):-p(X,Y)
ac(X,Y):-p(X,Z),ac(Z,Y)

09/14/96

1.fa
fa(X,Y):-pa(X,Y),man(Y)

09/27/96

1.ap
CLAUSEGENERATE
:genap
ap([],X,X):-
ap([X|Y],Z,[X|V]):-ap(Y,Z,V)
ﾀﾀﾞｼasktogodｱﾘ

11/03/96

1.ap
ap([],X,X):-.
ap([X|Y],Z,[X|V]):-ap(Y,Z,V).
ﾀﾀﾞｼasktogodｱﾘ
:multa,2:bindy
(stdinfileﾆｼﾞｮｳｷﾄyyy----yn(EACHCR,OVEREXCNTS[y]s))
(cmis-1<stdinfile>stdoutfileｶﾞﾍﾞﾝﾘ)

11/07/96

1.jk
wtar(X,Y,Z):-tar(X),jir(Y),gor(Z).
ｶﾗ
wtar(X,Y,Z):-tar(X),jir(Y),gor(Z),tsyo(X,Y),tsyo(X,Z).
ﾀﾀﾞｼ
:multa,6

11/18/96

1.fc
fc(X,Y):-sub(X,1,Z),fc(Z,V),mul(X,V,Y).
ﾀﾀﾞｼ
:multa,4:samepn

11/22/96

1.pl
pl(0,X,X):-.
pl(s(X),Y,s(Z)):-pl(X,Y,Z).
ﾀﾀﾞｼ
:multa,2:bindy