mfvmatch.exp

来自「NASA 开发使用的一个专家系统」· EXP 代码 · 共 34 行

01: (1 2 3 4)
02: (1 2 3 4)
02: (1 2)
03: (1 2)
04: (1 2 1 1 2 2 1) () () (2)
04: (1 2 1 1 2 2) () () (1 2)
04: (1 2 1 1 2) () () (2 1 2)
04: (1 2 1 1) () () (2 2 1 2)
04: (1 2 1 1) (2) (2) (1 2)
05: () (1 2) (1 1 2 2 1 2)
05: (1 2 1 1 2 2) (1 2) ()
05: (1 2 1) (1 2) (2 1 2)
06: Passed
07: (1) () (1 2 1 2) ()
07: (1) (1 2) () (1 2)
08: ()
08: ()
08: (1 1)
08: (1 2 1 2)
08: (1 2 1)
08: (1)
09: () (1 1)
09: () (1 2 1 2)
09: (1 1) ()
09: (1 1) (1 2 1 2)
09: (1 2 1 2) ()
09: (1 2 1 2) (1 1)
10: () (1 2) (1 2 3 4 1 2 3)
10: (1 2 1 2 3 4) (1 2 3) ()
10: (1 2 1 2 3 4) (1 2) (3)
10: (1 2) (1 2 3 4) (1 2 3)
10: (1 2) (1 2 3) (4 1 2 3)
10: (1 2) (1 2) (3 4 1 2 3)