W dniu 2010-06-24 18:07, Christian Wirth pisze: > An example: > > TermA=[1,test("_11","_12") :- > +(1,"_11","_12")],TermB=[2,test("_11","_13") :- > +(2,"_11","_13")],List=[TermA,TermB],constToVarRecList(List),List=[[1,test(1,A) > :- _]|_] > All occurances of _11 should be 1 and _12=A after this, but it isn't > > the unconverted version would be: > TermA=[1,test(_11,_12) :- +(1,_11,_12)],TermB=[2,test(_11,_13) :- > +(2,_11,_13)],List=[TermA,TermB],List=[[1,test(1,A) :- _]|_] > and this works ofc. > > I understand now the problem. I must leave now but will answer tomorrow. Best regards -- [ Wit Jakuczun http://pl.linkedin.com/in/jakuczunwit ] [ WLOG Solutions http://wlogsolutions.com ]Received on Thu Jun 24 2010 - 16:10:59 CEST
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST