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
80
81
82
|
==========================================
erewrite in VARIANT-MATCH-TEST : <> < me : User | problem:('_+_['X:XOR,
'c1.Elem] <=? '_+_['Y:XOR, 'c2.Elem], empty) > createInterpreter(
interpreterManager, me, newProcess) .
rewrites: 5
result Configuration: <> < me : User | soln: 2, result(gotVariantMatcher(me,
interpreter(0), 3,
'X:XOR <- '_+_['c1.Elem, 'c2.Elem, 'Y:XOR])), problem:('_+_['X:XOR, 'c1.Elem]
<=? '_+_['Y:XOR, 'c2.Elem], empty) > noSuchResult(me, interpreter(0), 0,
true)
==========================================
variant match in XOR : X + c1 <=? Y + c2 .
rewrites: 3
Matcher 1
X --> c1 + c2 + Y
No more matchers.
==========================================
erewrite in VARIANT-MATCH-TEST : <> < me : User | problem:('_+_['X:XOR, 'Y:XOR]
<=? '_+_['c1.Elem, 'c2.Elem], empty) > createInterpreter(
interpreterManager, me, newProcess) .
rewrites: 19
result Configuration: <> < me : User | soln: 9, result(gotVariantMatcher(me,
interpreter(0), 10,
'X:XOR <- 'c1.Elem ;
'Y:XOR <- 'c2.Elem), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- 'c2.Elem ;
'Y:XOR <- 'c1.Elem), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '0.XOR ;
'Y:XOR <- '_+_['c1.Elem, 'c2.Elem]), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '_+_['c1.Elem, 'c2.Elem] ;
'Y:XOR <- '0.XOR), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '_+_['c1.Elem, '#1:XOR] ;
'Y:XOR <- '_+_['c2.Elem, '#1:XOR]), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '_+_['c2.Elem, '#1:XOR] ;
'Y:XOR <- '_+_['c1.Elem, '#1:XOR]), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '_+_['c1.Elem, 'c2.Elem, '#1:XOR] ;
'Y:XOR <- '#1:XOR), gotVariantMatcher(me, interpreter(0), 0,
'X:XOR <- '#1:XOR ;
'Y:XOR <- '_+_['c1.Elem, 'c2.Elem, '#1:XOR])), problem:('_+_['X:XOR, 'Y:XOR]
<=? '_+_['c1.Elem, 'c2.Elem], empty) > noSuchResult(me, interpreter(0), 0,
true)
==========================================
variant match in XOR : X + Y <=? c1 + c2 .
rewrites: 10
Matcher 1
X --> c1
Y --> c2
Matcher 2
X --> c2
Y --> c1
Matcher 3
X --> 0
Y --> c1 + c2
Matcher 4
X --> c1 + c2
Y --> 0
Matcher 5
X --> c1 + #1:XOR
Y --> c2 + #1:XOR
Matcher 6
X --> c2 + #1:XOR
Y --> c1 + #1:XOR
Matcher 7
X --> c1 + c2 + #1:XOR
Y --> #1:XOR
Matcher 8
X --> #1:XOR
Y --> c1 + c2 + #1:XOR
No more matchers.
Bye.
|
