@tuprolog/arg2p 0.10.2 → 0.11.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1 +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],"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>","<get-X>","<get-Y>","<get-_>","<get-emptyLogicList>","anonymous","atomOf","value","blockOf","terms","clauseOf","head","body","consOf","tail","contains","variable","directiveOf","body1","factOf","get","getValue","thisRef","property","indicatorOf","name","arity","intOf","radix","logicListFrom","last","logicListOf","numOf","realOf","ruleOf","structOf","functor","args","substitutionOf","assignments","truthOf","tupleOf","unifierOf","varOf","whatever","where","lambda","with","match","term1","term2","occurCheckEnabled","merge","substitution1","substitution2","mgu","unify","emptyMutableTheory","emptyTheory","copy","newScope","toClause$clauseOf","LogicProgrammingScopeWithTheories$toClause$clauseOf$ref","LogicProgrammingScopeWithTheories$toClause$clauseOf$ref$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAeIA,CAAIC,aAAJD,EAA6B;A;IAAkD,OAAlD,wDAAuC,6DAAvC,C;EAAiD,C;iBAG9EE,CAAWC,eAAXD,EACI;A;;sBCqyVS,wBAhyVf,eAgyVe,CAAa,MAAb,C;QA+UA,qB;QAAA,OA/mWf,eA+mWe,O;WAAb,oBAAa,I,EAAb;A,UAAKE,OA/mWP,eA+mWe,mB;MAAA,6C;;sBDpnWsC,qBAAL,KAAX,eAAW,CAAK,C;MCqnW/C,WAAY,GAAI,SAAJ,C;;IDrnWgD,OAA5D,sBCsnWG,WDtnWH,C;EAA2D,C;wCAG/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBC+yTK,2B;QAwbD,qB;QAAA,OA/tUmD,YA+tUnD,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UA/tU8D,YA+tUnD,mB;MAAA,6C;;UACZC,ODhtU65oV,O;MCitUj5oV,OAAZ,WAAY,EAAO,IAAP,C;;IDzuU2C,OAA/C,sBAAS,cC2uUd,WD3uUc,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;;sBCqxVS,wBAzwVD,eAywVC,CAAa,MAAb,C;QA+UA,qB;QAAA,OAxlWD,eAwlWC,O;WAAb,oBAAa,I,EAAb;A,UAAKN,OAxlWO,eAwlWC,mB;MAAA,6C;;sBDpmW6C,qBAAL,KAAX,eAAW,CAAK,C;MCqmWtD,WAAY,GAAI,SAAJ,C;;IDrmWuD,OAAnE,6BCsmWG,WDtmWH,C;EAAkE,C;+CAGtEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBC+xTF,2B;QAwbD,qB;QAAA,OAxsUJ,YAwsUI,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UAxsUO,YAwsUI,mB;MAAA,6C;;UACZC,ODhtU65oV,O;MCitUj5oV,OAAZ,WAAY,EAAO,IAAP,C;;IDztUyD,OAAtD,6BAAgB,cC2tU5B,WD3tU4B,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;;;;2BElClGC,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,KAA3B,GAAkC,YAAlC,GAAoD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAAhC,GAAuC,iBAAvC,GAA8D,iBAAkB,KAAK,KAAL,CAHpF,EAII,UAJJ,EAKQ,aAAc,MAAd,KAA6B,UAAjC,GAA6C,aAA7C,GAAgE,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;;;;;;;oCC5CrEP,CACIG,K,EACAC,Y,EACAC,iB,EACAP,U,EACAQ,aALJN,EAAA;A,IACI,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;;;ICsBA,IAAI,EATF,eAAU,IAAkB,CAAlB,KAAkB,MAA5B,GAAqC,eAAU,IAAa,CAAb,KAAa,MAA5D,GAAqC,KASnC,CAAJ,C,CAAY;A;UACRQ,UDhBK,0F;MCiBL,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;;IAHA,IAAI,CALkB,mBACd,IAAc,CAAd,KAAc,MADA,CAKtB,C,CAAY;A;UACRA,YDbK,yF;MCcL,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;ED9BJ,C;oDACaC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAZtCC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;0DAAAC,CAAAA,EAAA;A,IAAA,6B;EAAA,C;2DAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mC;EAAA,C;uDAAAA,CAAAC,KAAAD,EAAA;A,IAAA,+B;EAAA,C;wDAAAE,CAAAC,KAAAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAAAC,KAAAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAC,KAAAD,EAAA;A,IAAA,wC;EAAA,C;yDAAAE,CAAAC,I,EAAAC,IAAAF,EAAA;A,IAAA,sC;EAAA,C;uDAAAG,CAAAF,I,EAAAG,IAAAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAAAC,QAAAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAAAC,QAAAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAAAC,K,EAAAN,IAAAK,EAAA;A,IAAA,0C;EAAA,C;uDAAAE,CAAAR,IAAAQ,EAAA;A,IAAA,8B;EAAA,C;oDAAAC,CAAAJ,QAAAI,EAAA;A,IAAA,+B;EAAA,C;yDAAAC,CAAAC,O,EAAAC,QAAAF,EAAA;A,IAAA,6C;EAAA,C;4DAAAG,CAAAC,I,EAAAC,KAAAF,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAAAC,I,EAAAC,KAAAF,EAAA;A,IAAA,mD;EAAA,C;0DAAAG,CAAApB,KAAAoB,EAAA;A,IAAA,kC;EAAA,C;sDAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAAApB,K,EAAAqB,KAAAD,EAAA;A,IAAA,6C;EAAA,C;gEAAAA,CAAApB,KAAAoB,EAAA;A,IAAA,wC;EAAA,C;oDAAAE,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAAApB,K,EAAAqB,IAAAD,EAAA;A,IAAA,kC;EAAA,C;4DAAAE,CAAAtB,KAAAsB,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAAAtB,KAAAsB,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAAAtB,KAAAsB,EAAA;A,IAAA,4C;EAAA,C;0DAAAC,CAAAzB,KAAAyB,EAAA;A,IAAA,kC;EAAA,C;4DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,kC;EAAA,C;sDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,8B;EAAA,C;2DAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,mC;EAAA,C;yDAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,iC;EAAA,C;gEAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAzB,KAAAyB,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAAA1B,KAAA0B,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,kC;EAAA,C;iEAAAA,CAAA1B,KAAA0B,EAAA;A,IAAA,yC;EAAA,C;uDAAAC,CAAAvB,I,EAAAO,K,EAAAN,IAAAsB,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,6C;EAAA,C;iEAAAA,CAAAC,O,EAAAC,IAAAF,EAAA;A,IAAA,iD;EAAA,C;+DAAAG,CAAAC,WAAAD,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAAAC,WAAAD,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAAAC,WAAAD,EAAA;A,IAAA,qD;EAAA,C;wDAAAE,CAAAjC,KAAAiC,EAAA;A,IAAA,gC;EAAA,C;wDAAAC,CAAAhC,KAAAgC,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAAAhC,KAAAgC,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAAAhC,KAAAgC,EAAA;A,IAAA,wC;EAAA,C;0DAAAC,CAAAH,WAAAG,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAAAH,WAAAG,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAAAH,WAAAG,EAAA;A,IAAA,gD;EAAA,C;0DAAAC,CAAAlB,IAAAkB,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAAAlB,IAAAkB,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;sDAAAC,CAAAC,MAAAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAAAD,MAAAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAAAC,K,EAAAC,KAAAF,EAAA;A,IAAA,qC;EAAA,C;oEAAAA,CAAAC,K,EAAAC,K,EAAAC,iBAAAH,EAAA;A,IAAA,sE;EAAA,C;sDAAAI,CAAAC,a,EAAAC,aAAAF,EAAA;A,IAAA,qD;EAAA,C;oEAAAA,CAAAC,a,EAAAC,a,EAAAH,iBAAAC,EAAA;A,IAAA,sF;EAAA,C;oDAAAG,CAAAN,K,EAAAC,KAAAK,EAAA;A,IAAA,mC;EAAA,C;oDAAAA,CAAAN,K,EAAAC,K,EAAAC,iBAAAI,EAAA;A,IAAA,sD;EAAA,C;sDAAAC,CAAAP,K,EAAAC,KAAAM,EAAA;A,IAAA,qC;EAAA,C;oEAAAA,CAAAP,K,EAAAC,K,EAAAC,iBAAAK,EAAA;A,IAAA,sE;EAAA,C;mEAAAC,CAAAA,EAAA;A,IAAA,sC;EAAA,C;iFAAAA,CAAAtE,UAAAsE,EAAA;A,IAAA,8D;EAAA,C;4DAAAC,CAAAA,EAAA;A,IAAA,+B;EAAA,C;0EAAAA,CAAAvE,UAAAuE,EAAA;A,IAAA,uD;EAAA,C;8EAAAzE,CAAAE,U,EAAAP,OAAAK,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,0C;EAAA,C;wEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,kD;EAAA,C;sFAAAA,CAAAL,O,EAAAO,UAAAF,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAAAL,OAAAK,EAAA;A,IAAA,kD;EAAA,C;sFAAAA,CAAAL,O,EAAAO,UAAAF,EAAA;A,IAAA,4E;EAAA,C;uEAAAN,CAAAQ,U,EAAAP,OAAAD,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAAAC,OAAAD,EAAA;A,IAAA,mC;EAAA,C;iEAAAA,CAAAC,OAAAD,EAAA;A,IAAA,2C;EAAA,C;+EAAAA,CAAAC,O,EAAAO,UAAAR,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAAAC,OAAAD,EAAA;A,IAAA,2C;EAAA,C;+EAAAA,CAAAC,O,EAAAO,UAAAR,EAAA;A,IAAA,qE;EAAA,C;oDA2BagF,CAASnE,KAATmE,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,CAASxE,UAATwE,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;;;;4BJ9BCC,CAAA,Q,EAAA,EAAAA,EAAA;A,IAAA,gC;EAAS,C;kEAATC,C,UAAAA,E;oBAAAC,C,EAAAA,EAAA;A;IAAS,C;G;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
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;;sBCoxWS,wBDpxWA,eCoxWA,CAAa,MAAb,C;QA+UA,qB;QAAA,ODnmXA,eCmmXA,O;WAAb,oBAAa,I,EAAb;A,UAAKE,ODnmXQ,eCmmXA,mB;MAAA,6C;UDnmXgD,YAA1B,IAAgB,iBComXrB,IDpmXgB,CAAX,eAAW,CAAK,C;MComX/C,WAAY,GAAI,SAAJ,C;;IDpmXgD,OAA5D,sBCqmXG,WDrmXH,C;EAA2D,C;wCAG/DC,CACIC,O,EACAC,YAFJF,EAGY;A;;sBC8xUK,2B;QAwbD,qB;QAAA,ODttVe,YCstVf,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKG,UDttV0B,YCstVf,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDxtV2C,OAA/C,sBAAS,cC0tVd,WD1tVc,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;;sBCowWS,wBDpwWO,eCowWP,CAAa,MAAb,C;QA+UA,qB;QAAA,ODnlXO,eCmlXP,O;WAAb,oBAAa,I,EAAb;A,UAAKN,ODnlXe,eCmlXP,mB;MAAA,6C;UDnlXuD,YAA1B,IAAgB,iBColX5B,IDplXuB,CAAX,eAAW,CAAK,C;MColXtD,WAAY,GAAI,SAAJ,C;;IDplXuD,OAAnE,6BCqlXG,WDrlXH,C;EAAkE,C;+CAGtEO,CACIL,O,EACAC,YAFJI,EAGmB;A;;sBC8wUF,2B;QAwbD,qB;QAAA,ODtsV6B,YCssV7B,O;WAAhB,oBAAgB,I,EAAhB;A,UAAKH,UDtsVwC,YCssV7B,mB;MAAA,6C;UACZC,OAAqB,O;MACT,OAAZ,WAAY,EAAO,IAAP,C;;IDxsVyD,OAAtD,6BAAgB,cC0sV5B,WD1sV4B,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;mDAAAE,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,iC;EAAA,C;mDAAAA,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,iC;EAAA,C;mDAAAA,CAQApB,K,EAAAqB,IARAD,EAAA;A,IAAA,iC;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;mDAAAC,CAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAC,CAAAA,EAAA;A,IAAA,sB;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
package/2p-dsl-unify.js CHANGED
@@ -1,29 +1,28 @@
1
- (function (root, factory) {
1
+ (function (factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-dsl-core.js', './2p-unify.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'));
6
6
  else {
7
- if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
7
+ if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
8
8
  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'.");
9
9
  }
10
- if (typeof this['2p-unify'] === 'undefined') {
11
- 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'.");
12
- }
13
- if (typeof this['2p-dsl-core'] === 'undefined') {
10
+ if (typeof globalThis['2p-dsl-core'] === 'undefined') {
14
11
  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'.");
15
12
  }
16
- root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify'], this['kotlin-kotlin-stdlib'], this['2p-unify'], this['2p-dsl-core']);
13
+ if (typeof globalThis['2p-unify'] === 'undefined') {
14
+ 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'.");
15
+ }
16
+ globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-dsl-core'], globalThis['2p-unify']);
17
17
  }
18
- }(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
18
+ }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
19
19
  'use strict';
20
20
  //region block: imports
21
- var protoOf = kotlin_kotlin.$_$.b6;
22
- var VOID = kotlin_kotlin.$_$.d;
23
- var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
21
+ var protoOf = kotlin_kotlin.$_$.m6;
22
+ var VOID = kotlin_kotlin.$_$.b;
24
23
  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
25
- var interfaceMeta = kotlin_kotlin.$_$.o5;
26
- var setMetadataFor = kotlin_kotlin.$_$.c6;
24
+ var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
25
+ var initMetadataForInterface = kotlin_kotlin.$_$.z5;
27
26
  //endregion
28
27
  //region block: pre-declaration
29
28
  function anyMguWith(_this__u8e3s4, other) {
@@ -36,27 +35,27 @@
36
35
  return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
37
36
  }
38
37
  function mgu(term1, term2, occurCheckEnabled) {
39
- return this.a1k(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
38
+ return this.u1h(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
40
39
  }
41
40
  function mguAny(term1, term2, occurCheckEnabled, $super) {
42
41
  occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
43
- return $super === VOID ? this.g1l(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
42
+ return $super === VOID ? this.w2x(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
44
43
  }
45
44
  function match(term1, term2, occurCheckEnabled) {
46
45
  return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
47
46
  }
48
47
  function matchAny(term1, term2, occurCheckEnabled, $super) {
49
48
  occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
50
- return $super === VOID ? this.h1l(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
49
+ return $super === VOID ? this.x2x(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
51
50
  }
52
51
  function unify(term1, term2, occurCheckEnabled) {
53
52
  return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
54
53
  }
55
54
  function unifyAny(term1, term2, occurCheckEnabled, $super) {
56
55
  occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
57
- return $super === VOID ? this.i1l(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
56
+ return $super === VOID ? this.y2x(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
58
57
  }
59
- setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [Unificator, BaseLogicProgrammingScope]);
58
+ initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [BaseLogicProgrammingScope, Unificator]);
60
59
  //endregion
61
60
  function LogicProgrammingScopeWithUnification() {
62
61
  }
@@ -1 +1 @@
1
- {"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-unify/src/commonMain/kotlin/it/unibo/tuprolog/dsl/unify/LogicProgrammingScopeWithUnification.kt"],"sourcesContent":[null],"names":["mguWith","<this>","other","matches","unifyWith","mgu","term1","term2","occurCheckEnabled","mgu$default","match","match$default","unify","unify$default"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAUUA,CAAIC,a,EAAYC,KAAhBF,EACF;A,IAA4E,OAA5E,IAA0C,KAAS,mBAAL,aAAK,CAAT,EAAyB,mBAAN,KAAM,CAAzB,C;EAAiC,C;qBAGzEG,CAAIF,a,EAAYC,KAAhBC,EACF;A,IAA8E,OAA9E,IAA0C,OAAW,mBAAL,aAAK,CAAX,EAA2B,mBAAN,KAAM,CAA3B,C;EAAmC,C;uBAG3EC,CAAIH,a,EAAcC,KAAlBE,EACF;A,IAA8E,OAA9E,IAA0C,OAAW,mBAAL,aAAK,CAAX,EAA2B,mBAAN,KAAM,CAA3B,C;EAAmC,C;cAGjFC,CACIC,K,EACAC,K,EACAC,iBAHJH,EAIkB;A,IAAsD,OAAtD,SAAU,mBAAN,KAAM,CAAV,EAA0B,mBAAN,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,yBAAY,mBAAN,KAAM,CAAZ,EAA4B,mBAAN,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,yBAAY,mBAAN,KAAM,CAAZ,EAA4B,mBAAN,KAAM,CAA5B,EAAsC,iBAAtC,C;EAAuD,C;mBAJlEC,CACIP,K,EACAC,K,EACAC,iB,QAHJK,E;qDAGiC,I;;G;;;;;;;;;;;;;;;;;;;;"}
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;;;;;;;;;;;;;;;;;;;;"}