f(1,aaa,0xbfffddbc) -> <a>
f(2,bbb,0xbfffddc0) -> <b>
g(aaa,666)
f(3,ccc,0xbfffddc4) -> <c>
g(ccc,999)
New match:
[FACT] <Fact-4> (1)  ==> <f>
 (2)  ====> <3>
 (3)  ==> <ccc>
 (4)  ==> <0xbfffddc4>
[FACT] <Fact-5> (1)  ==> <g>
 (2)  ==> <ccc>
 (3)  ====> <999>
Old match:
[FACT] <Fact-1> (1)  ==> <f>
 (2)  ====> <1>
 (3)  ==> <aaa>
 (4)  ==> <0xbfffddbc>
[FACT] <Fact-3> (1)  ==> <g>
 (2)  ==> <aaa>
 (3)  ====> <666>
g(aaa,666)
New match:
[FACT] <Fact-1> (1)  ==> <f>
 (2)  ====> <1>
 (3)  ==> <aaa>
 (4)  ==> <0xbfffddbc>
[FACT] <Fact-6> (1)  ==> <g>
 (2)  ==> <aaa>
 (3)  ====> <666>
Old match:
[FACT] <Fact-4> (1)  ==> <f>
 (2)  ====> <3>
 (3)  ==> <ccc>
 (4)  ==> <0xbfffddc4>
[FACT] <Fact-5> (1)  ==> <g>
 (2)  ==> <ccc>
 (3)  ====> <999>
Old match:
[FACT] <Fact-1> (1)  ==> <f>
 (2)  ====> <1>
 (3)  ==> <aaa>
 (4)  ==> <0xbfffddbc>
[FACT] <Fact-3> (1)  ==> <g>
 (2)  ==> <aaa>
 (3)  ====> <666>
h(aaa,666)
Matches for Pattern 1
f-1
f-2
f-4
Matches for Pattern 2
 None
Matches for Pattern 3
 None
Partial matches for CEs 1 - 2
f-1,f-6
f-4,f-5
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-7
advice(aaa,0xbfffddbc,666) -> <a>
f(4,aaa,0xbfffddbc) -> <a>
h(aaa,666)
Matches for Pattern 1
f-1
f-2
f-4
f-8
Matches for Pattern 2
 None
Matches for Pattern 3
 None
Partial matches for CEs 1 - 2
f-1,f-6
f-4,f-5
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-9
advice(aaa,0xbfffddbc,666) -> <a>
g(aaa,666)
New match:
[FACT] <Fact-8> (1)  ==> <f>
 (2)  ====> <4>
 (3)  ==> <aaa>
 (4)  ==> <0xbfffddbc>
[FACT] <Fact-10> (1)  ==> <g>
 (2)  ==> <aaa>
 (3)  ====> <666>
Old match:
[FACT] <Fact-1> (1)  ==> <f>
 (2)  ====> <1>
 (3)  ==> <aaa>
 (4)  ==> <0xbfffddbc>
[FACT] <Fact-6> (1)  ==> <g>
 (2)  ==> <aaa>
 (3)  ====> <666>
h(aaa,999)
