@tuprolog/arg2p 0.17.2 → 0.18.0

package/2p-dsl-theory.js.map

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeWithTheories.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["toClause","<this>","theory","clauseFunctions","theoryOf","clauses","otherClauses","list","mutableTheory","mutableTheoryOf","logicProgramming","function","<init>","empty","of","scope","termificator","variablesProvider","unificator","theoryFactory","message","copy","newScope","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECiDIA,yBAAIC,aAAJD,EAA6B;A,QDjDjC,uB;ICiDmF,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;EAW9EE,gBAAWC,eAAXD,EACI;A;;QD7DR,cEijZiB,wBDp/YA,eCo/YA,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/0ZA,eC+0ZA,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OC6DiB,eC+0ZA,mB;MAAA,6C;UD/0ZgD,YAA1B,IAAgB,iBCg1ZrB,IDh1ZgB,CAAX,eAAW,CAAK,C;MCg1Z/C,WAAY,GAAI,SAAJ,C;;IDh1ZgD,OAA5D,sBCi1ZG,WDj1ZH,C;EAA2D,C;EAI/DE,uCACIC,O,EACAC,YAFJF,EAGY;A;;QDpEhB,cE2hXqB,2B;QA4cD,qB;QAAA,ODn6Xe,YCm6Xf,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UCoEmC,YCm6Xf,mB;MAAA,6C;UACZG,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDr6X2C,OAA/C,sBAAS,cCu6Xd,WDv6Xc,CAAT,C;EAA8C,C;EAI1DH,uCACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;EAShFI,uBAAkBL,eAAlBK,EACI;A;;QDrFR,cEijZiB,wBD59YO,eC49YP,CAAa,MAAb,C;QA2VA,qB;QAAA,ODvzZO,eCuzZP,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OCqFwB,eCuzZP,mB;MAAA,6C;UDvzZuD,YAA1B,IAAgB,iBCwzZ5B,IDxzZuB,CAAX,eAAW,CAAK,C;MCwzZtD,WAAY,GAAI,SAAJ,C;;IDxzZuD,OAAnE,6BCyzZG,WDzzZH,C;EAAkE,C;EAItEC,8CACIJ,O,EACAC,YAFJG,EAGmB;A;;QD5FvB,cE2hXqB,2B;QA4cD,qB;QAAA,OD34X6B,YC24X7B,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UC4FiD,YC24X7B,mB;MAAA,6C;UACZF,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;ID74XyD,OAAtD,6BAAgB,cC+4X5B,WD/4X4B,CAAhB,C;EAAqD,C;EAIxEE,8CACIJ,O,EACAC,YAFJG,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;EE1ElGC,0BHzBA,U,EG2BIC,UAFJD,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;ECejDE,mBAAAA,EAAA;A;IACgD,0C;EADhD,C;6BAMIC,UAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;2BAcxCC,UACIC,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALJL,EAOI;A,IAMC,OAND,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,KAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,MAAd,KAA6B,UAA7B,GAAyC,aAAzC,GAA4D,aAAc,KAAK,UAAL,CALlF,C;EAMA,C;0BAbJA,UJ/DR,K,EAAA,Y,EAAA,iB,EAAA,U,EAAA,a,EAAA,MI+DQA,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCAChC,I,CAAA,K;6CACM,yBAAqB,UAArB,C;;G;2BAgBnCA,UACII,U,EACAC,a,EACAJ,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;oCAN/FA,UACII,U,EJrFZ,a,EAAA,K,EAAA,Y,EAAA,iB,EAAA,MIoFQJ,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;EJzFrE,iCAAA,EAAA;AAAA;AAAA,qBAAA;;AAAA,GAAA;A,EKiB+BF,mCAClBG,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALkBP,EAAA;A,IAC3B,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;ICaI,MDPQ,eAAU,IAAkB,CAAlB,KAAkB,MCOpC,IDP6C,eAAU,IAAa,CAAb,KAAa,MCOpE,E,CAAQ;A,UACRQ,UDPI,0F;MCQJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,KDJQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCIR,C,CAAQ;A,UACRA,YDJI,yF;MCKJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;EDrB2B,C;2CLjB/B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CKqCaC,UAASN,KAATM,EACL;A,IAMC,OAND,8BACI,KADJ,EAEI,IAAa,CAAb,KAAa,KAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAHtB,EAII,IAJJ,CAII,KAJJ,EAKI,IALJ,CAKI,KALJ,C;EAMA,C;2CAGKA,UAASH,UAATG,EACL;A,IAMC,OAND,8BACI,IADJ,CACI,KADJ,EAEI,IAFJ,CAEI,KAFJ,EAGI,IAHJ,CAGI,KAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,KAAc,KAAK,UAAL,CALlB,C;EAMA,C;2CAGKC,UAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;gDLzDvE,UAAA,EAAA;AAAA;AAAA,GAAA;gDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;oDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,cAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,QAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,QAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,QAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,MAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA,MAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,IAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,EAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,sBAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;qDAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,eAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;sDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,EAAA,QAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,aAAA,EAAA,aAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,aAAA,EAAA,aAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;qEAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,+BAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;iEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,2BAAA,UAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,cAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kCAAA,UAAA,CAAA;AAAA,EAAA,CAAA;0DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA;AAAA,EAAA,CAAA;A,EAAA,wDAAA,EAAA,EAAA;AAAA,sCCiDwEC,UDjDxE,ICiDwEA,EAAA;A,MAAA,4B;IAAS,C,EDjDjF,CAAA,EAAA,CAAA;AAAA,GAAA;A;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeWithTheories.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-theory/src/commonMain/kotlin/it/unibo/tuprolog/dsl/theory/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["toClause","<this>","theory","clauseFunctions","theoryOf","clauses","otherClauses","list","mutableTheory","mutableTheoryOf","logicProgramming","function","<init>","empty","of","scope","termificator","variablesProvider","unificator","theoryFactory","message","copy","newScope","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECiDIA,yBAAIC,aAAJD,EAA6B;A,QDjDjC,uB;ICiDmF,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;EAW9EE,gBAAWC,eAAXD,EACI;A;;QD7DR,cEijZiB,wBDp/YA,eCo/YA,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/0ZA,eC+0ZA,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OC6DiB,eC+0ZA,mB;MAAA,6C;UD/0ZgD,YAA1B,IAAgB,iBCg1ZrB,IDh1ZgB,CAAX,eAAW,CAAK,C;MCg1Z/C,WAAY,GAAI,SAAJ,C;;IDh1ZgD,OAA5D,sBCi1ZG,WDj1ZH,C;EAA2D,C;EAI/DE,uCACIC,O,EACAC,YAFJF,EAGY;A;;QDpEhB,cE2hXqB,2B;QA4cD,qB;QAAA,ODn6Xe,YCm6Xf,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UCoEmC,YCm6Xf,mB;MAAA,6C;UACZG,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDr6X2C,OAA/C,sBAAS,cCu6Xd,WDv6Xc,CAAT,C;EAA8C,C;EAI1DH,uCACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;EAShFI,uBAAkBL,eAAlBK,EACI;A;;QDrFR,cEijZiB,wBD59YO,eC49YP,CAAa,MAAb,C;QA2VA,qB;QAAA,ODvzZO,eCuzZP,O;WAAb,oBAAa,I,EAAb;A,UF54ZJ,OCqFwB,eCuzZP,mB;MAAA,6C;UDvzZuD,YAA1B,IAAgB,iBCwzZ5B,IDxzZuB,CAAX,eAAW,CAAK,C;MCwzZtD,WAAY,GAAI,SAAJ,C;;IDxzZuD,OAAnE,6BCyzZG,WDzzZH,C;EAAkE,C;EAItEC,8CACIJ,O,EACAC,YAFJG,EAGmB;A;;QD5FvB,cE2hXqB,2B;QA4cD,qB;QAAA,OD34X6B,YC24X7B,O;WAAhB,oBAAgB,I,EAAhB;A,UFv+XJ,UC4FiD,YC24X7B,mB;MAAA,6C;UACZF,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;ID74XyD,OAAtD,6BAAgB,cC+4X5B,WD/4X4B,CAAhB,C;EAAqD,C;EAIxEE,8CACIJ,O,EACAC,YAFJG,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;EE1ElGC,0BHzBA,U,EG2BIC,UAFJD,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;ECejDE,mBAAAA,EAAA;A;IACgD,0C;EADhD,C;6BAMIC,UAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;2BAcxCC,UACIC,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALJL,EAOI;A,IAMC,OAND,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,KAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,MAAd,KAA6B,UAA7B,GAAyC,aAAzC,GAA4D,aAAc,KAAK,UAAL,CALlF,C;EAMA,C;0BAbJA,UJ/DR,K,EAAA,Y,EAAA,iB,EAAA,U,EAAA,a,EAAA,MI+DQA,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCAChC,I,CAAA,K;6CACM,yBAAqB,UAArB,C;;G;2BAgBnCA,UACII,U,EACAC,a,EACAJ,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;oCAN/FA,UACII,U,EJrFZ,a,EAAA,K,EAAA,Y,EAAA,iB,EAAA,MIoFQJ,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;EJzFrE,iCAAA,EAAA;AAAA;AAAA,qBAAA;;AAAA,GAAA;A,EKiB+BF,mCAClBG,K,EACAC,Y,EACAC,iB,EACAC,U,EACAC,aALkBP,EAAA;A,IAC3B,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;ICaI,MDPQ,eAAU,IAAkB,CAAlB,KAAkB,MCOpC,IDP6C,eAAU,IAAa,CAAb,KAAa,MCOpE,E,CAAQ;A,UACRQ,UDPI,0F;MCQJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,KDJQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCIR,C,CAAQ;A,UACRA,YDJI,yF;MCKJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;EDrB2B,C;2CLjB/B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;2CKqCaC,UAASN,KAATM,EACL;A,IAMC,OAND,8BACI,KADJ,EAEI,IAAa,CAAb,KAAa,KAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAHtB,EAII,IAJJ,CAII,KAJJ,EAKI,IALJ,CAKI,KALJ,C;EAMA,C;2CAGKA,UAASH,UAATG,EACL;A,IAMC,OAND,8BACI,IADJ,CACI,KADJ,EAEI,IAFJ,CAEI,KAFJ,EAGI,IAHJ,CAGI,KAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,KAAc,KAAK,UAAL,CALlB,C;EAMA,C;2CAGKC,UAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;gDLzDvE,UAAA,EAAA;AAAA;AAAA,GAAA;gDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;oDAAA,UAAA,OAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,cAAA,OAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,QAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,QAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,QAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,MAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,UAAA,MAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA,MAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,IAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,IAAA,EAAA,KAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,IAAA,EAAA,KAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,IAAA,EAAA,IAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,IAAA,EAAA,IAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,IAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,sBAAA,IAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;kDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,YAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,KAAA,CAAA;AAAA,EAAA,CAAA;qDAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,eAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,KAAA,CAAA;AAAA,EAAA,CAAA;8CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,QAAA,KAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,aAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,KAAA,CAAA;AAAA,EAAA,CAAA;+CAAA,UAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,SAAA,KAAA,CAAA;AAAA,EAAA,CAAA;iDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,WAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;yDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,mBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;sDAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,WAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,WAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA,QAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,EAAA,QAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,MAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;2CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,KAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,KAAA,EAAA,KAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,KAAA,EAAA,KAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,KAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;2DAAA,UAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA,aAAA,EAAA,aAAA,EAAA,iBAAA,CAAA;AAAA,EAAA,CAAA;6CAAA,UAAA,aAAA,EAAA,aAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,OAAA,aAAA,EAAA,aAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;8DAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,wBAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;gDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,UAAA,OAAA,CAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,gCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;wDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;qEAAA,UAAA,UAAA,EAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,+BAAA,UAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;uDAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,iBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,OAAA,EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,uCAAA,OAAA,EAAA,UAAA,CAAA;AAAA,EAAA,CAAA;+DAAA,UAAA,OAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,yBAAA,OAAA,CAAA;AAAA,EAAA,CAAA;iEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,2BAAA,UAAA,CAAA;AAAA,EAAA,CAAA;mDAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,cAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,kCAAA,UAAA,CAAA;AAAA,EAAA,CAAA;0DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA,qBAAA;AAAA,EAAA,CAAA;A,EAAA,wDAAA,EAAA,EAAA;AAAA,sCCiDwEC,UDjDxE,ICiDwEA,EAAA;A,MAAA,4B;IAAS,C,EDjDjF,CAAA,EAAA,CAAA;AAAA,GAAA;A;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/2p-dsl-unify.js

@@ -18,11 +18,11 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
   'use strict';
   //region block: imports
-  var protoOf = kotlin_kotlin.$_$.v7;
+  var protoOf = kotlin_kotlin.$_$.e8;
   var VOID = kotlin_kotlin.$_$.b;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var initMetadataForInterface = kotlin_kotlin.$_$.k7;
+  var initMetadataForInterface = kotlin_kotlin.$_$.t7;
   //endregion
   //region block: pre-declaration
   function anyMguWith(_this__u8e3s4, other) {
@@ -35,25 +35,25 @@
     return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
   }
   function mgu(term1, term2, occurCheckEnabled) {
-    return this.q1l(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
+    return this.z1l(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function mguAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.a3c(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.x3p(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
   }
   function match(term1, term2, occurCheckEnabled) {
     return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function matchAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.b3c(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.y3p(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
   }
   function unify(term1, term2, occurCheckEnabled) {
     return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function unifyAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.c3c(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.z3p(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
   }
   initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [Unificator, BaseLogicProgrammingScope]);
   //endregion