@tuprolog/arg2p 0.13.2 → 0.14.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.
- package/2p-core.js +2267 -2267
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +442 -442
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +246 -246
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js +152 -152
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js +15 -15
- package/2p-parser-core.js +160 -160
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +1 -1
- package/2p-parser-theory.js +17 -17
- package/2p-solve-classic.js +869 -869
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +3095 -3095
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1351 -1351
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +227 -227
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +323 -323
- package/2p-utils.js.map +1 -1
- package/arg2p-causality-solver.js +90 -90
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +1707 -1488
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +89 -88
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +1784 -1225
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +1514 -1512
- package/kt-math.js.map +1 -1
- package/package.json +1 -1
package/2p-dsl-theory.js.map
CHANGED
|
@@ -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],"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;;
|
|
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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
package/2p-dsl-unify.js
CHANGED
|
@@ -1,28 +1,28 @@
|
|
|
1
1
|
(function (factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kotlin-kotlin-stdlib.js', './2p-
|
|
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-
|
|
5
|
+
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'));
|
|
6
6
|
else {
|
|
7
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 globalThis['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
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
|
-
|
|
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
|
-
}(function (_, kotlin_kotlin,
|
|
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.$_$.
|
|
21
|
+
var protoOf = kotlin_kotlin.$_$.n6;
|
|
22
22
|
var VOID = kotlin_kotlin.$_$.b;
|
|
23
|
-
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
24
23
|
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
25
|
-
var
|
|
24
|
+
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
25
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.c6;
|
|
26
26
|
//endregion
|
|
27
27
|
//region block: pre-declaration
|
|
28
28
|
function anyMguWith(_this__u8e3s4, other) {
|
|
@@ -35,27 +35,27 @@
|
|
|
35
35
|
return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
|
|
36
36
|
}
|
|
37
37
|
function mgu(term1, term2, occurCheckEnabled) {
|
|
38
|
-
return this.
|
|
38
|
+
return this.r1i(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
39
39
|
}
|
|
40
40
|
function mguAny(term1, term2, occurCheckEnabled, $super) {
|
|
41
41
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
42
|
-
return $super === VOID ? this.
|
|
42
|
+
return $super === VOID ? this.t2y(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
|
|
43
43
|
}
|
|
44
44
|
function match(term1, term2, occurCheckEnabled) {
|
|
45
45
|
return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
46
46
|
}
|
|
47
47
|
function matchAny(term1, term2, occurCheckEnabled, $super) {
|
|
48
48
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
49
|
-
return $super === VOID ? this.
|
|
49
|
+
return $super === VOID ? this.u2y(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
|
|
50
50
|
}
|
|
51
51
|
function unify(term1, term2, occurCheckEnabled) {
|
|
52
52
|
return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
|
|
53
53
|
}
|
|
54
54
|
function unifyAny(term1, term2, occurCheckEnabled, $super) {
|
|
55
55
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
56
|
-
return $super === VOID ? this.
|
|
56
|
+
return $super === VOID ? this.v2y(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
|
|
57
57
|
}
|
|
58
|
-
initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [
|
|
58
|
+
initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [BaseLogicProgrammingScope, Unificator]);
|
|
59
59
|
//endregion
|
|
60
60
|
function LogicProgrammingScopeWithUnification() {
|
|
61
61
|
}
|