@tuprolog/arg2p-causality-solver 0.17.2 → 0.18.0

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

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
+{"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

@@ -1,13 +1,76 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports);
-  else
-    globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify']);
-}(function (_) {
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
+  else {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-unify'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-unify'.");
+    }
+    if (typeof globalThis['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
+    }
+    if (typeof globalThis['2p-dsl-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
+    }
+    globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-unify'], globalThis['2p-dsl-core']);
+  }
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
   'use strict';
+  //region block: imports
+  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.$_$.t7;
+  //endregion
   //region block: pre-declaration
+  function anyMguWith(_this__u8e3s4, other) {
+    return this.mgu(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  }
+  function anyMatches(_this__u8e3s4, other) {
+    return this.match(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  }
+  function anyUnifyWith(_this__u8e3s4, other) {
+    return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  }
+  function mgu(term1, 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.r3q(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.s3q(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.t3q(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [Unificator, BaseLogicProgrammingScope]);
+  //endregion
+  function LogicProgrammingScopeWithUnification() {
+  }
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = matchAny;
+  _.$_$.b = mguAny;
+  _.$_$.c = unifyAny;
+  _.$_$.d = anyMatches;
+  _.$_$.e = match;
+  _.$_$.f = anyMguWith;
+  _.$_$.g = mgu;
+  _.$_$.h = anyUnifyWith;
+  _.$_$.i = unify;
+  _.$_$.j = LogicProgrammingScopeWithUnification;
   //endregion
   return _;
 }));

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

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt"],"sourcesContent":[null],"ignoreList":[0],"x_google_ignoreList":[0],"names":[],"mappings":";;;;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","match","unify"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;ECqCUA,oBAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAI,IAAK,eAAL,aAAK,CAAT,EAAmB,IAAM,eAAN,KAAM,CAAzB,C;EAAiC,C;EAQzEG,oBAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;EAU3EC,sBAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;EASjFC,aACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,SAAI,IAAM,eAAN,KAAM,CAAV,EAAoB,IAAM,eAAN,KAAM,CAA1B,EAAoC,iBAApC,C;EAAqD,C;EAJvEA,gBACIC,K,EACAC,K,EDrER,iB,EAAA,MCmEIF,E;qDAGiC,I;;G;EASjCI,eACIH,K,EACAC,K,EACAC,iBAHJC,EAIa;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;EAJpEA,kBACIH,K,EACAC,K,EDjFR,iB,EAAA,MC+EIE,E;qDAGiC,I;;G;EASjCC,eACIJ,K,EACAC,K,EACAC,iBAHJE,EAIW;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;EAJlEA,kBACIJ,K,EACAC,K,ED7FR,iB,EAAA,MC2FIG,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}