@tuprolog/arg2p 0.14.2 → 0.16.2

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

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../../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],"ignoreList":[],"x_google_ignoreList":[],"names":["toClause","<this>","theory","clauseFunctions","item","theoryOf","clauses","otherClauses","element","list","mutableTheory","mutableTheoryOf","logicProgramming","unificator","function","<init>","empty","of","scope","termificator","variablesProvider","theoryFactory","of$default","message","<get-scope>","<get-termificator>","<get-unificator>","copy","newScope","structOf","functor","args","tupleOf","terms","logicListOf","blockOf","factOf","head","consOf","tail","directiveOf","body1","body","contains","variable","get","where","lambda","with","varOf","name","atomOf","value","logicListFrom","last","ruleOf","clauseOf","indicatorOf","arity","anonymous","whatever","numOf","intOf","radix","realOf","truthOf","unifierOf","assignments","substitutionOf","<get-emptyLogicList>","<get-_>","getValue","thisRef","property","<get-X>","<get-Y>","mgu","term1","term2","occurCheckEnabled","match","unify","merge","substitution1","substitution2","emptyTheory","emptyMutableTheory","LogicProgrammingScopeWithTheories$clauseOf$ref","p0","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAgBIA,CAAIC,aAAJD,EAA6B;A;IAAkD,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;iBAG9EE,CAAWC,eAAXD,EACI;A;;sBCo6WS,wBDp6WA,eCo6WA,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/vXA,eC+vXA,O;WAAb,oBAAa,I,EAAb;A,UAAKE,OD/vXQ,eC+vXA,mB;MAAA,6C;UD/vXgD,YAA1B,IAAgB,iBCgwXrB,IDhwXgB,CAAX,eAAW,CAAK,C;MCgwX/C,WAAY,GAAI,SAAJ,C;;IDhwXgD,OAA5D,sBCiwXG,WDjwXH,C;EAA2D,C;wCAG/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBCw4UK,2B;QA4cD,qB;QAAA,ODp1Ve,YCo1Vf,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UDp1V0B,YCo1Vf,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDt1V2C,OAA/C,sBAAS,cCw1Vd,WDx1Vc,CAAT,C;EAA8C,C;wCAG1DJ,CACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;wBAGhFK,CAAkBP,eAAlBO,EACI;A;;sBCo5WS,wBDp5WO,eCo5WP,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/uXO,eC+uXP,O;WAAb,oBAAa,I,EAAb;A,UAAKN,OD/uXe,eC+uXP,mB;MAAA,6C;UD/uXuD,YAA1B,IAAgB,iBCgvX5B,IDhvXuB,CAAX,eAAW,CAAK,C;MCgvXtD,WAAY,GAAI,SAAJ,C;;IDhvXuD,OAAnE,6BCivXG,WDjvXH,C;EAAkE,C;+CAGtEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBCw3UF,2B;QA4cD,qB;QAAA,ODp0V6B,YCo0V7B,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UDp0VwC,YCo0V7B,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDt0VyD,OAAtD,6BAAgB,cCw0V5B,WDx0V4B,CAAhB,C;EAAqD,C;+CAGxEE,CACIL,O,EACAC,YAFJI,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;2BEnClGC,CACIC,U,EACAC,UAFJF,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;oBCQjDG,CAAAA,EAAA;A;IACgD,0C;EADhD,C;sCAIIC,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAGxCC,CACIC,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJJ,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;mCAbJK,CACIJ,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,a,QALJC,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCAChC,I,CAAA,K;6CACM,yBAAqB,UAArB,C;;G;oCAWnCL,CACIJ,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;6CAN/FK,CACIT,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iB,QALJE,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;;;;;;oCC5CtCP,CAClBG,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALkBN,EAAA;A,IAC3B,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;ICsBI,MDhBQ,eAAU,IAAkB,CAAlB,KAAkB,MCgBpC,IDhB6C,eAAU,IAAa,CAAb,KAAa,MCgBpE,E,CAAQ;A,UACRQ,UDhBI,0F;MCiBJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,KDbQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCaR,C,CAAQ;A,UACRA,YDbI,yF;MCcJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;ED9B2B,C;oDAClBC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAezBC,CAAST,KAATS,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;oDAEKA,CAASd,UAATc,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;oDAEKC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;yDA7CvEC,CAQAC,O,EAAAC,IARAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAQAC,O,EAAAC,IARAF,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAQAC,O,EAAAC,IARAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAQAC,O,EAAAC,IARAF,EAAA;A,IAAA,6C;EAAA,C;wDAAAG,CAQAC,KARAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAQAC,KARAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAQAC,KARAD,EAAA;A,IAAA,wC;EAAA,C;4DAAAE,CAQAD,KARAC,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAQAD,KARAC,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAQAD,KARAC,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAQAF,KARAE,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAQAF,KARAE,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAQAF,KARAE,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAQAC,IARAD,EAAA;A,IAAA,8B;EAAA,C;uDAAAE,CAQAD,I,EAAAE,IARAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAQAC,K,EAAAC,IARAF,EAAA;A,IAAA,0C;EAAA,C;4DAAAG,CAQAC,QARAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAQAC,QARAD,EAAA;A,IAAA,oC;EAAA,C;oDAAAE,CAQAD,QARAC,EAAA;A,IAAA,+B;EAAA,C;sDAAAC,CAQAC,MARAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAQAD,MARAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAQAC,IARAD,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAQAC,IARAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAQAC,KARAD,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAQAC,KARAD,EAAA;A,IAAA,mC;EAAA,C;oDAAAE,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAQAlB,I,EAAAI,K,EAAAC,IARAa,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAQAnB,I,EAAAK,IARAc,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAQAP,I,EAAAQ,KARAD,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAQAP,I,EAAAQ,KARAD,EAAA;A,IAAA,mD;EAAA,C;0DAAAE,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAQAT,KARAS,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAQAT,KARAS,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAQAT,KARAS,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAQAT,KARAS,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAQAT,KARAS,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAQAT,KARAS,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAQAT,KARAS,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAQAT,KARAS,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAQAT,KARAS,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAQAT,KARAS,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAQAV,KARAU,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAQAV,KARAU,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAQAV,KARAU,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAQAV,KARAU,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAQAV,KARAU,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAQAV,KARAU,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAQAV,K,EAAAW,KARAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAQAZ,KARAY,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAQAZ,KARAY,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAQAZ,KARAY,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAQAZ,KARAY,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAQAb,KARAa,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAQAC,WARAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAQAC,WARAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAQAC,WARAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAQAD,WARAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAQAD,WARAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAQAD,WARAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;yDAAAC,CAQAC,O,EAAAC,QARAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAQAC,K,EAAAC,K,EAAAC,iBARAH,EAAA;A,IAAA,sD;EAAA,C;oDAAAA,CAQAC,K,EAAAC,KARAF,EAAA;A,IAAA,mC;EAAA,C;oEAAAI,CAQAH,K,EAAAC,K,EAAAC,iBARAC,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAQAH,K,EAAAC,KARAE,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAQAJ,K,EAAAC,K,EAAAC,iBARAE,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAQAJ,K,EAAAC,KARAG,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAQAC,a,EAAAC,a,EAAAL,iBARAG,EAAA;A,IAAA,sF;EAAA,C;sDAAAA,CAQAC,a,EAAAC,aARAF,EAAA;A,IAAA,qD;EAAA,C;+EAAA7E,CAQAC,O,EAAAO,UARAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAQAC,OARAD,EAAA;A,IAAA,2C;EAAA,C;uEAAAA,CAQAQ,U,EAAAP,OARAD,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAQAC,OARAD,EAAA;A,IAAA,mC;EAAA,C;+EAAAA,CAQAC,O,EAAAO,UARAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAQAC,OARAD,EAAA;A,IAAA,2C;EAAA,C;sFAAAM,CAQAL,O,EAAAO,UARAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAQAL,OARAK,EAAA;A,IAAA,kD;EAAA,C;8EAAAA,CAQAE,U,EAAAP,OARAK,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAQAL,OARAK,EAAA;A,IAAA,0C;EAAA,C;sFAAAA,CAQAL,O,EAAAO,UARAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAQAL,OARAK,EAAA;A,IAAA,kD;EAAA,C;0EAAA0E,CAQAxE,UARAwE,EAAA;A,IAAA,uD;EAAA,C;4DAAAA,CAAAA,EAAA;A,IAAA,+B;EAAA,C;iFAAAC,CAQAzE,UARAyE,EAAA;A,IAAA,8D;EAAA,C;mEAAAA,CAAAA,EAAA;A,IAAA,sC;EAAA,C;yDJgBwEC,CAAAC,EAAAD,E;oBAAAE,C,QAAAA,EAAA;A,MAAA,gC;IAAS,C;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["../../../../../../../../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],"ignoreList":[],"x_google_ignoreList":[],"names":["toClause","<this>","theory","clauseFunctions","item","theoryOf","clauses","otherClauses","element","list","mutableTheory","mutableTheoryOf","logicProgramming","unificator","function","<init>","empty","of","scope","termificator","variablesProvider","theoryFactory","of$default","message","<get-scope>","<get-termificator>","<get-unificator>","copy","newScope","structOf","functor","args","tupleOf","terms","logicListOf","blockOf","factOf","head","consOf","tail","directiveOf","body1","body","contains","variable","get","where","lambda","with","varOf","name","atomOf","value","logicListFrom","last","ruleOf","clauseOf","indicatorOf","arity","anonymous","whatever","numOf","intOf","radix","realOf","truthOf","unifierOf","assignments","substitutionOf","<get-emptyLogicList>","<get-_>","getValue","thisRef","property","<get-X>","<get-Y>","mgu","term1","term2","occurCheckEnabled","match","unify","merge","substitution1","substitution2","emptyTheory","emptyMutableTheory","LogicProgrammingScopeWithTheories$clauseOf$ref","p0","LogicProgrammingScopeWithTheories$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAiDIA,CAAIC,aAAJD,EAA6B;A;IAAkD,OAAlD,wDAAuC,oDAAvC,C;EAAiD,C;iBAW9EE,CAAWC,eAAXD,EACI;A;;sBC44YS,wBD54YA,eC44YA,CAAa,MAAb,C;QA2VA,qB;QAAA,ODvuZA,eCuuZA,O;WAAb,oBAAa,I,EAAb;A,UAAKE,ODvuZQ,eCuuZA,mB;MAAA,6C;UDvuZgD,YAA1B,IAAgB,iBCwuZrB,IDxuZgB,CAAX,eAAW,CAAK,C;MCwuZ/C,WAAY,GAAI,SAAJ,C;;IDxuZgD,OAA5D,sBCyuZG,WDzuZH,C;EAA2D,C;wCAI/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBC+2WK,2B;QA4cD,qB;QAAA,OD3zXe,YC2zXf,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UD3zX0B,YC2zXf,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;ID7zX2C,OAA/C,sBAAS,cC+zXd,WD/zXc,CAAT,C;EAA8C,C;wCAI1DJ,CACIC,O,EACAC,YAFJF,EAGY;A,IAAqE,OAArE,sBAA2D,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAA3D,C;EAAoE,C;wBAShFK,CAAkBP,eAAlBO,EACI;A;;sBCo3YS,wBDp3YO,eCo3YP,CAAa,MAAb,C;QA2VA,qB;QAAA,OD/sZO,eC+sZP,O;WAAb,oBAAa,I,EAAb;A,UAAKN,OD/sZe,eC+sZP,mB;MAAA,6C;UD/sZuD,YAA1B,IAAgB,iBCgtZ5B,IDhtZuB,CAAX,eAAW,CAAK,C;MCgtZtD,WAAY,GAAI,SAAJ,C;;IDhtZuD,OAAnE,6BCitZG,WDjtZH,C;EAAkE,C;+CAItEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBCu1WF,2B;QA4cD,qB;QAAA,ODnyX6B,YCmyX7B,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UDnyXwC,YCmyX7B,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDryXyD,OAAtD,6BAAgB,cCuyX5B,WDvyX4B,CAAhB,C;EAAqD,C;+CAIxEE,CACIL,O,EACAC,YAFJI,EAGmB;A,IAA4E,OAA5E,6BAAkE,QAA/B,OAAO,wBAAU,YAAV,EAAP,CAA+B,CAAlE,C;EAA2E,C;;;;2BE1ElGC,CACIC,U,EACAC,UAFJF,EAGO;A,iEAF4C,K;IAEG,OAAV,WAAf,uCAAG,UAAH,CAAe,C;EAAS,C;oBCejDG,CAAAA,EAAA;A;IACgD,0C;EADhD,C;sCAMIC,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAcxCC,CACIC,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJJ,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;mCAbJK,CACIJ,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,a,QALJC,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCAChC,I,CAAA,K;6CACM,yBAAqB,UAArB,C;;G;oCAgBnCL,CACIJ,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iBALJH,EAM2B;A,IAAqE,OAArE,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,C;EAAoE,C;6CAN/FK,CACIT,U,EACAQ,a,EACAH,K,EACAC,Y,EACAC,iB,QALJE,E;6CAEmC,yBAAqB,UAArB,C;6BACV,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;;;;;;oCCxEtCP,CAClBG,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALkBN,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;oDAClBC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAgBzBC,CAAST,KAATS,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;oDAGKA,CAASd,UAATc,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;oDAGKC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;yDAzDvEC,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAiBAC,O,EAAAC,IAjBAF,EAAA;A,IAAA,6C;EAAA,C;wDAAAG,CAiBAC,KAjBAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,wC;EAAA,C;4DAAAE,CAiBAD,KAjBAC,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAiBAD,KAjBAC,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAiBAD,KAjBAC,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAiBAF,KAjBAE,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAiBAF,KAjBAE,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAiBAF,KAjBAE,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAiBAC,IAjBAD,EAAA;A,IAAA,8B;EAAA,C;uDAAAE,CAiBAD,I,EAAAE,IAjBAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAiBAC,K,EAAAC,IAjBAF,EAAA;A,IAAA,0C;EAAA,C;4DAAAG,CAiBAC,QAjBAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAiBAC,QAjBAD,EAAA;A,IAAA,oC;EAAA,C;oDAAAE,CAiBAD,QAjBAC,EAAA;A,IAAA,+B;EAAA,C;sDAAAC,CAiBAC,MAjBAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAiBAD,MAjBAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAiBAC,IAjBAD,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAiBAC,IAjBAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAiBAC,KAjBAD,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAiBAC,KAjBAD,EAAA;A,IAAA,mC;EAAA,C;oDAAAE,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAiBApB,K,EAAAqB,IAjBAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAiBAlB,I,EAAAI,K,EAAAC,IAjBAa,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAiBAnB,I,EAAAK,IAjBAc,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAiBAP,I,EAAAQ,KAjBAD,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAiBAP,I,EAAAQ,KAjBAD,EAAA;A,IAAA,mD;EAAA,C;0DAAAE,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAiBAT,KAjBAS,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAiBAT,KAjBAS,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAiBAV,KAjBAU,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAiBAV,KAjBAU,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAiBAV,K,EAAAW,KAjBAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAiBAZ,KAjBAY,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAiBAZ,KAjBAY,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAiBAb,KAjBAa,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAiBAC,WAjBAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAiBAC,WAjBAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAiBAC,WAjBAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAiBAD,WAjBAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAiBAD,WAjBAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAiBAD,WAjBAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;yDAAAC,CAiBAC,O,EAAAC,QAjBAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAiBAC,K,EAAAC,K,EAAAC,iBAjBAH,EAAA;A,IAAA,sD;EAAA,C;oDAAAA,CAiBAC,K,EAAAC,KAjBAF,EAAA;A,IAAA,mC;EAAA,C;oEAAAI,CAiBAH,K,EAAAC,K,EAAAC,iBAjBAC,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAiBAH,K,EAAAC,KAjBAE,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAiBAJ,K,EAAAC,K,EAAAC,iBAjBAE,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAiBAJ,K,EAAAC,KAjBAG,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAiBAC,a,EAAAC,a,EAAAL,iBAjBAG,EAAA;A,IAAA,sF;EAAA,C;sDAAAA,CAiBAC,a,EAAAC,aAjBAF,EAAA;A,IAAA,qD;EAAA,C;+EAAA7E,CAiBAC,O,EAAAO,UAjBAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,2C;EAAA,C;uEAAAA,CAiBAQ,U,EAAAP,OAjBAD,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,mC;EAAA,C;+EAAAA,CAiBAC,O,EAAAO,UAjBAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAiBAC,OAjBAD,EAAA;A,IAAA,2C;EAAA,C;sFAAAM,CAiBAL,O,EAAAO,UAjBAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,kD;EAAA,C;8EAAAA,CAiBAE,U,EAAAP,OAjBAK,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,0C;EAAA,C;sFAAAA,CAiBAL,O,EAAAO,UAjBAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAiBAL,OAjBAK,EAAA;A,IAAA,kD;EAAA,C;0EAAA0E,CAiBAxE,UAjBAwE,EAAA;A,IAAA,uD;EAAA,C;4DAAAA,CAAAA,EAAA;A,IAAA,+B;EAAA,C;iFAAAC,CAiBAzE,UAjBAyE,EAAA;A,IAAA,8D;EAAA,C;mEAAAA,CAAAA,EAAA;A,IAAA,sC;EAAA,C;yDJiDwEC,CAAAC,EAAAD,E;+CAAAE,C,IAAAA,EAAA;A,MAAA,4B;IAAS,C,EAjDjF,C,EAAA,C;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/2p-dsl-unify.js

@@ -18,11 +18,11 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
   'use strict';
   //region block: imports
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.f7;
   var VOID = kotlin_kotlin.$_$.b;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.u6;
   //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.r1i(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
+    return this.e1k(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function mguAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.t2y(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.i31(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.u2y(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.j31(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.v2y(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.k31(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
   }
   initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [BaseLogicProgrammingScope, Unificator]);
   //endregion

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

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null],"ignoreList":[],"x_google_ignoreList":[],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","mgu$default","match","match$default","unify","unify$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;qBAWUA,CAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAI,IAAK,eAAL,aAAK,CAAT,EAAmB,IAAM,eAAN,KAAM,CAAzB,C;EAAiC,C;qBAGzEG,CAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;uBAG3EC,CAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;cAGjFC,CACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,SAAI,IAAM,eAAN,KAAM,CAAV,EAAoB,IAAM,eAAN,KAAM,CAA1B,EAAoC,iBAApC,C;EAAqD,C;iBAJvEI,CACIH,K,EACAC,K,EACAC,iB,QAHJC,E;qDAGiC,I;;G;gBAIjCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJpEC,CACIL,K,EACAC,K,EACAC,iB,QAHJG,E;qDAGiC,I;;G;gBAIjCC,CACIN,K,EACAC,K,EACAC,iBAHJI,EAIW;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJlEC,CACIP,K,EACAC,K,EACAC,iB,QAHJK,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null],"ignoreList":[],"x_google_ignoreList":[],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","mgu$default","match","match$default","unify","unify$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;qBAqCUA,CAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAI,IAAK,eAAL,aAAK,CAAT,EAAmB,IAAM,eAAN,KAAM,CAAzB,C;EAAiC,C;qBAQzEG,CAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;uBAU3EC,CAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAM,IAAK,eAAL,aAAK,CAAX,EAAqB,IAAM,eAAN,KAAM,CAA3B,C;EAAmC,C;cASjFC,CACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,SAAI,IAAM,eAAN,KAAM,CAAV,EAAoB,IAAM,eAAN,KAAM,CAA1B,EAAoC,iBAApC,C;EAAqD,C;iBAJvEI,CACIH,K,EACAC,K,EACAC,iB,QAHJC,E;qDAGiC,I;;G;gBASjCC,CACIJ,K,EACAC,K,EACAC,iBAHJE,EAIa;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJpEC,CACIL,K,EACAC,K,EACAC,iB,QAHJG,E;qDAGiC,I;;G;gBASjCC,CACIN,K,EACAC,K,EACAC,iBAHJI,EAIW;A,IAAwD,OAAxD,yBAAM,IAAM,eAAN,KAAM,CAAZ,EAAsB,IAAM,eAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJlEC,CACIP,K,EACAC,K,EACAC,iB,QAHJK,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}