1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
==========================================
erewrite in MATCH-TEST : <> < me : User | soln: 0 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotMatch(me, interpreter(0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'f['b.Foo, 'a.Foo])
==========================================
erewrite in MATCH-TEST : <> < me : User | soln: 1 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotMatch(me, interpreter(0), 0,
'X:Foo <- 'f['a.Foo, 'b.Foo] ;
'Y:Foo <- 'a.Foo)
==========================================
erewrite in MATCH-TEST : <> < me : User | soln: 2 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > noSuchResult(me, interpreter(0),
0)
==========================================
erewrite in MATCH-CACHE-TEST : <> < me : User | none > createInterpreter(
interpreterManager, me, none) .
rewrites: 7
result Configuration: <> < me : User | soln: 3, got: gotMatch(me, interpreter(
0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'f['b.Foo, 'a.Foo]), got: gotMatch(me, interpreter(0), 0,
'X:Foo <- 'f['a.Foo, 'b.Foo] ;
'Y:Foo <- 'a.Foo) > noSuchResult(me, interpreter(0), 0)
==========================================
erewrite in XMATCH-TEST : <> < me : User | soln: 0 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'b.Foo, 'g['f[[], 'a.Foo]])
==========================================
erewrite in XMATCH-TEST : <> < me : User | soln: 1 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'f['b.Foo, 'a.Foo], 'g[[]])
==========================================
erewrite in XMATCH-TEST : <> < me : User | soln: 2 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'f['a.Foo, 'b.Foo] ;
'Y:Foo <- 'a.Foo, 'g[[]])
==========================================
erewrite in XMATCH-TEST : <> < me : User | soln: 3 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'b.Foo ;
'Y:Foo <- 'a.Foo, 'g['f['a.Foo, []]])
==========================================
erewrite in XMATCH-TEST : <> < me : User | soln: 4 > createInterpreter(
interpreterManager, me, none) .
rewrites: 3
result Configuration: <> < me : User | none > noSuchResult(me, interpreter(0),
0)
==========================================
erewrite in XMATCH-CACHE-TEST : <> < me : User | none > createInterpreter(
interpreterManager, me, none) .
rewrites: 11
result Configuration: <> < me : User | soln: 5, got: gotXmatch(me, interpreter(
0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'b.Foo, 'g['f[[], 'a.Foo]]), got: gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'a.Foo ;
'Y:Foo <- 'f['b.Foo, 'a.Foo], 'g[[]]), got: gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'b.Foo ;
'Y:Foo <- 'a.Foo, 'g['f['a.Foo, []]]), got: gotXmatch(me, interpreter(0), 0,
'X:Foo <- 'f['a.Foo, 'b.Foo] ;
'Y:Foo <- 'a.Foo, 'g[[]]) > noSuchResult(me, interpreter(0), 0)
Bye.
|
