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
|
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, (0).Zero) .
rewrites: 3
result Variant: {'_+_['cst1.Elem, '#1:XOR],
'X:XOR <- '#1:XOR, 1, (none).Parent, false}
==========================================
reduce in TEST : metaGetVariant(upModule('XOR, false), upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, (0).Zero) .
rewrites: 3
result Variant: {'_+_['cst1.Elem, '#1:XOR],
'X:XOR <- '#1:XOR, 1, (none).Parent, false}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, 10, (0).Zero) .
rewrites: 3
result Variant: {'_+_['cst1.Elem, '#11:XOR],
'X:XOR <- '#11:XOR, 11, (none).Parent, false}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, 1) .
rewrites: 6
result Variant: {'cst1.Elem,
'X:XOR <- '0.XOR, (0).Zero, (0).Zero, true}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, 2) .
rewrites: 3
result Variant: {'0.XOR,
'X:XOR <- 'cst1.Elem, (0).Zero, (0).Zero, true}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, 3) .
rewrites: 3
result Variant: {'%1:XOR,
'X:XOR <- '_+_['cst1.Elem, '%1:XOR], 1, (0).Zero, false}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), (
empty).GroundTermList, (0).Zero, 4) .
rewrites: 3
result Variant?: noVariant
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst2 + X:XOR), upTerm(a +
X:XOR), (0).Zero, (0).Zero) .
rewrites: 4
result Variant: {'_+_['cst2.Elem, '#1:XOR],
'X:XOR <- '#1:XOR, 1, (none).Parent, false}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst2 + X:XOR), upTerm(a +
X:XOR), (0).Zero, 1) .
rewrites: 6
result Variant: {'0.XOR,
'X:XOR <- 'cst2.Elem, (0).Zero, (0).Zero, true}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst2 + X:XOR), upTerm(a +
X:XOR), (0).Zero, 2) .
rewrites: 4
result Variant: {'%1:XOR,
'X:XOR <- '_+_['cst2.Elem, '%1:XOR], 1, (0).Zero, false}
==========================================
reduce in TEST : metaGetVariant(['XOR], upTerm(cst2 + X:XOR), upTerm(a +
X:XOR), (0).Zero, 3) .
rewrites: 4
result Variant?: noVariant
Bye.
|
