@tuprolog/arg2p 0.13.2 → 0.14.2

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

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScopeWithResolution.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["solverOf","unificator","otherLibraries","flags","staticKb","dynamicKb","stdIn","stdOut","stdErr","warnings","solverOf$default","clauses","theory","prolog","function","logicProgramming","solverFactory","<init>","changeUnificatorIfNecessary","<this>","of","scope","termificator","variablesProvider","theoryFactory","of$default","LogicProgrammingScopeImpl_init_$Init$","LogicProgrammingScopeImpl_init_$Create$","defaultSolver","message","<get-scope>","<get-termificator>","<get-unificator>","<get-solverFactory>","<get-defaultSolver>","newScope","copy","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-_>","retract","clause","fact","solve","goal","timeout","options","libraries","getValue","thisRef","property","<get-X>","<get-Y>","mgu","term1","term2","occurCheckEnabled","match","unify","merge","substitution1","substitution2","theoryOf","mutableTheoryOf","emptyTheory","emptyMutableTheory","<get-staticKb>","<get-dynamicKb>","loadLibrary","library","unloadLibrary","setRuntime","loadStaticKb","loadStaticClauses","appendStaticKb","resetStaticKb","loadDynamicKb","loadDynamicClauses","appendDynamicKb","resetDynamicKb","assertA","assertZ","retractAll","setFlag","flag","setStandardInput","setStandardError","setStandardOutput","setWarnings","clone","solveList","solveOnce","<get-libraries>","<get-flags>","<get-operators>","<get-inputChannels>","<get-outputChannels>","<get-standardInput>","<get-standardOutput>","<get-standardError>","<get-warnings>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAyBIA,CACIC,U,EACAC,c,EACAC,K,EACAC,Q,EACAC,S,EACAC,K,EACAC,M,EACAC,M,EACAC,QATJT,EAWI;A,IAUC,OAVD,UAAc,KACV,UADU,EAEV,cAFU,EAGV,KAHU,EAIV,QAJU,EAKV,SALU,EAMV,KANU,EAOV,MAPU,EAQV,MARU,EASV,QATU,C;EAUd,C;qBArBJU,CACIT,U,EACAC,c,EACAC,K,EACAC,Q,EACAC,S,EACAC,K,EACAC,M,EACAC,M,EACAC,Q,QATJC,E;uCAC6B,IAAK,M;+CACJ,UAAc,M;6BACrB,UAAc,M;mCACd,UAAc,M;qCACb,UAAc,M;6BACJ,UAAc,M;+BACZ,UAAc,M;+BACd,UAAc,M;mCACX,UAAc,M;;G;0BAerDN,CAAaO,OAAbP,EAAuC;A,IAAyC,OAAzC,UAAc,mBAAmB,OAAD,QAAlB,C;EAA0B,C;6BAG/EA,CAAaO,OAAbP,EAA0C;A,IAAwC,OAAxC,UAAc,2BAAkB,OAAlB,C;EAAyB,C;6BAGjFA,CAAaO,OAAbP,EAA0C;A,IAAwC,OAAxC,UAAc,2BAAkB,OAAlB,C;EAAyB,C;2BAGjFA,CAAaQ,MAAbR,EAA+B;A,IAAkC,OAAlC,UAAc,cAAa,MAAb,C;EAAmB,C;2BAGhEC,CAAcM,OAAdN,EAAwC;A,IAA0C,OAA1C,UAAc,oBAAoB,OAAD,QAAnB,C;EAA2B,C;8BAGjFA,CAAcM,OAAdN,EAA2C;A,IAAyC,OAAzC,UAAc,4BAAmB,OAAnB,C;EAA0B,C;8BAGnFA,CAAcM,OAAdN,EAA2C;A,IAAyC,OAAzC,UAAc,4BAAmB,OAAnB,C;EAA0B,C;4BAGnFA,CAAcO,MAAdP,EAAgC;A,IAAmC,OAAnC,UAAc,eAAc,MAAd,C;EAAoB,C;;;;iBC7CtEQ,CACIZ,U,EACAa,UAFJD,EAGO;A,uCAF6B,6BAAO,M;IAEiB,OAArD,iBAAwB,6BAAxB,EAAgC,UAAhC,EAA4C,UAA5C,C;EAAoD,C;2BAjB3DE,CACIC,a,EACAf,U,EACAa,UAHJC,EAIO;A,uCAFsB,aAAc,M;IAE0B,OAAV,WAA9B,qCAAG,aAAH,EAAkB,UAAlB,CAA8B,C;EAAS,C;oBCahEE,CAAAA,EAAA;A,EAAA,C;oCACaC,CAAIC,a,EAA0ClB,UAA9CiB,EACL;A,IAA+F,OAA3F,wBAAsB,UAAtB,GAAkC,aAAlC,GAA4C,0BAAa,eAAW,UAAX,CAAuB,Y;EAAU,C;oCAGlGE,CACIC,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,aANJI,EAQI;A,IAOC,OAPD,wCACI,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,EAMI,IAAc,KAAd,aAAc,EAA4B,UAA5B,CANlB,C;EAOA,C;mCAfJK,CACIJ,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,QANJS,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCACrB,+B;6CACL,yBAAqB,UAArB,C;;G;oCAanCL,CACIJ,a,EACAf,U,EACAoB,K,EACAC,Y,EACAC,iB,EACAC,aANJJ,EAOI;A,IAAoF,OAApF,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,EAAsE,aAAtE,C;EAAmF,C;gDAPvFK,CACIT,a,EACAf,U,EACAoB,K,EACAC,Y,EACAC,iB,EACAC,a,QANJC,E;uCAE6B,aAAc,M;6BAClB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;6CAC1B,yBAAqB,UAArB,C;;G;;;;;gDCpBvCC,CACIL,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,OANJU,E;IAOI,sCACA,KADA,EAEA,YAFA,EAGA,iBAHA,EAIA,UAJA,EAKA,aALA,EAMA,aANA,EAOA,aAAc,oBAAgB,UAAhB,CAPd,C;;G;kDAPJC,CACIN,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,aANJW,E;;G;oCA1BoCV,CAC3BI,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,EACAY,aAP2BX,EAAA;A,IACpC,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;IACA,0B;IACA,0B;;ICiBI,MDVQ,eAAU,IAAkB,CAAlB,KAAkB,MCUpC,IDV6C,eAAU,IAAa,CAAb,KAAa,MCUpE,E,CAAQ;A,UACRY,UDVI,0F;MCWJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,MDNI,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCMJ,IDLQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCKR,IDJQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCIR,E,CAAQ;A,UACRA,YDHI,qG;MCIJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;ED3BoC,C;oDAC3BC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAEzBC,CAAAA,EAAA;A,IAAA,iB;EAA+B,C;oDAC/BC,CAAAA,EAAA;A,IAAA,iB;EAA+B,C;oDAoC/BC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;oDAE1DC,CAASf,KAATe,EACL;A,IAOC,OAPD,wCACI,KADJ,EAEI,IAAa,CAAb,KAAa,KAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAHtB,EAII,IAJJ,CAII,KAJJ,EAKI,IALJ,CAKI,KALJ,EAMI,IANJ,CAMI,KANJ,C;EAOA,C;oDAEKA,CAASnC,UAATmC,EACL;A,IAOC,OAPD,wCACI,IADJ,CACI,KADJ,EAEI,IAFJ,CAEI,KAFJ,EAGI,IAHJ,CAGI,KAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,KAAc,KAAK,UAAL,CALlB,EAMkB,yBAAd,IAAc,CAAd,KAAc,EAA4B,UAA5B,CANlB,C;EAOA,C;yDA1ERC,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,6C;EAAA,C;wDAAAG,CAWAC,KAXAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAWAC,KAXAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAWAC,KAXAD,EAAA;A,IAAA,wC;EAAA,C;4DAAAE,CAWAD,KAXAC,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAWAD,KAXAC,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAWAD,KAXAC,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAWAF,KAXAE,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAWAF,KAXAE,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAWAF,KAXAE,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAWAC,IAXAD,EAAA;A,IAAA,8B;EAAA,C;uDAAAE,CAWAD,I,EAAAE,IAXAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAWAC,K,EAAAC,IAXAF,EAAA;A,IAAA,0C;EAAA,C;4DAAAG,CAWAC,QAXAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAWAC,QAXAD,EAAA;A,IAAA,oC;EAAA,C;oDAAAE,CAWAD,QAXAC,EAAA;A,IAAA,+B;EAAA,C;sDAAAC,CAWAC,MAXAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAWAD,MAXAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAWAC,IAXAD,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAWAC,KAXAD,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAWAC,KAXAD,EAAA;A,IAAA,mC;EAAA,C;mDAAAE,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,iC;EAAA,C;mDAAAA,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,iC;EAAA,C;mDAAAA,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAWAlB,I,EAAAI,K,EAAAC,IAXAa,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAWAnB,I,EAAAK,IAXAc,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAWAP,I,EAAAQ,KAXAD,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAWAP,I,EAAAQ,KAXAD,EAAA;A,IAAA,mD;EAAA,C;0DAAAE,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAWAT,KAXAS,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAWAT,KAXAS,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAWAV,KAXAU,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAWAV,KAXAU,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAWAV,KAXAU,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAWAV,K,EAAAW,KAXAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAWAZ,KAXAY,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAWAb,KAXAa,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAWAC,WAXAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAWAC,WAXAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAWAC,WAXAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAWAD,WAXAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAWAD,WAXAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAWAD,WAXAC,EAAA;A,IAAA,qD;EAAA,C;mDAAAC,CAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAC,CAAAA,EAAA;A,IAAA,sB;EAAA,C;wDAAAC,CAWAC,MAXAD,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAWAE,IAXAF,EAAA;A,IAAA,qC;EAAA,C;iEAAAG,CAWAC,I,EAAAC,OAXAF,EAAA;A,IAAA,iD;EAAA,C;sDAAAA,CAWAC,IAXAD,EAAA;A,IAAA,6B;EAAA,C;iEAAAA,CAWAC,I,EAAAE,OAXAH,EAAA;A,IAAA,iD;EAAA,C;oDAAA9C,CAWAnC,U,EAAAqF,S,EAAAnF,K,EAAAC,Q,EAAAC,S,EAAAC,K,EAAAC,M,EAAAC,M,EAAAC,QAXA2B,EAAA;A,IAAA,yG;EAAA,C;sDA4D+BnC,U,EAEjBqF,S,EAETnF,K,EAE4BC,Q,EAC7BC,S,EACSC,K,EAEaC,M,EAEMC,M,EACgBC,Q;;;yDAzEhD8E,CAWAC,O,EAAAC,QAXAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAWAC,K,EAAAC,K,EAAAC,iBAXAH,EAAA;A,IAAA,sD;EAAA,C;oDAAAA,CAWAC,K,EAAAC,KAXAF,EAAA;A,IAAA,mC;EAAA,C;oEAAAI,CAWAH,K,EAAAC,K,EAAAC,iBAXAC,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAWAH,K,EAAAC,KAXAE,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAWAJ,K,EAAAC,K,EAAAC,iBAXAE,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAWAJ,K,EAAAC,KAXAG,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAWAC,a,EAAAC,a,EAAAL,iBAXAG,EAAA;A,IAAA,sF;EAAA,C;sDAAAA,CAWAC,a,EAAAC,aAXAF,EAAA;A,IAAA,qD;EAAA,C;+EAAAG,CAWA1F,O,EAAAV,UAXAoG,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,2C;EAAA,C;uEAAAA,CAWApG,U,EAAAU,OAXA0F,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,mC;EAAA,C;+EAAAA,CAWA1F,O,EAAAV,UAXAoG,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,2C;EAAA,C;sFAAAC,CAWA3F,O,EAAAV,UAXAqG,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,kD;EAAA,C;8EAAAA,CAWArG,U,EAAAU,OAXA2F,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,0C;EAAA,C;sFAAAA,CAWA3F,O,EAAAV,UAXAqG,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,kD;EAAA,C;0EAAAC,CAWAtG,UAXAsG,EAAA;A,IAAA,uD;EAAA,C;4DAAAA,CAAAA,EAAA;A,IAAA,+B;EAAA,C;iFAAAC,CAWAvG,UAXAuG,EAAA;A,IAAA,8D;EAAA,C;mEAAAA,CAAAA,EAAA;A,IAAA,sC;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;4DAAAC,CAWAC,OAXAD,EAAA;A,IAAA,+B;EAAA,C;8DAAAE,CAWAD,OAXAC,EAAA;A,IAAA,iC;EAAA,C;6DAAAC,CAWAxB,SAXAwB,EAAA;A,IAAA,kC;EAAA,C;6DAAAC,CAWAnG,MAXAmG,EAAA;A,IAAA,+B;EAAA,C;kEAAAC,CAWArG,OAXAqG,EAAA;A,IAAA,qC;EAAA,C;0EAAAA,CAWArG,OAXAqG,EAAA;A,IAAA,6C;EAAA,C;0EAAAA,CAWArG,OAXAqG,EAAA;A,IAAA,6C;EAAA,C;+DAAAC,CAWArG,MAXAqG,EAAA;A,IAAA,iC;EAAA,C;8DAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;8DAAAC,CAWAvG,MAXAuG,EAAA;A,IAAA,gC;EAAA,C;mEAAAC,CAWAzG,OAXAyG,EAAA;A,IAAA,sC;EAAA,C;2EAAAA,CAWAzG,OAXAyG,EAAA;A,IAAA,8C;EAAA,C;2EAAAA,CAWAzG,OAXAyG,EAAA;A,IAAA,8C;EAAA,C;gEAAAC,CAWAzG,MAXAyG,EAAA;A,IAAA,kC;EAAA,C;+DAAAC,CAAAA,EAAA;A,IAAA,2B;EAAA,C;wDAAAC,CAWAvC,MAXAuC,EAAA;A,IAAA,0B;EAAA,C;4DAAAA,CAWAtC,IAXAsC,EAAA;A,IAAA,4B;EAAA,C;wDAAAC,CAWAxC,MAXAwC,EAAA;A,IAAA,0B;EAAA,C;4DAAAA,CAWAvC,IAXAuC,EAAA;A,IAAA,4B;EAAA,C;2DAAAC,CAWAzC,MAXAyC,EAAA;A,IAAA,oC;EAAA,C;iEAAAA,CAWAxC,IAXAwC,EAAA;A,IAAA,wC;EAAA,C;wDAAAC,CAWAhE,I,EAAAE,KAXA8D,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,4B;EAAA,C;+DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,+B;EAAA,C;iEAAAE,CAWAtH,KAXAsH,EAAA;A,IAAA,kC;EAAA,C;iEAAAC,CAWArH,MAXAqH,EAAA;A,IAAA,mC;EAAA,C;kEAAAC,CAWAvH,MAXAuH,EAAA;A,IAAA,oC;EAAA,C;4DAAAC,CAWAtH,QAXAsH,EAAA;A,IAAA,gC;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;qEAAAC,CAWA9C,I,EAAAC,OAXA6C,EAAA;A,IAAA,qD;EAAA,C;0DAAAA,CAWA9C,IAXA8C,EAAA;A,IAAA,iC;EAAA,C;qEAAAA,CAWA9C,I,EAAAE,OAXA4C,EAAA;A,IAAA,qD;EAAA,C;qEAAAC,CAWA/C,I,EAAAC,OAXA8C,EAAA;A,IAAA,qD;EAAA,C;0DAAAA,CAWA/C,IAXA+C,EAAA;A,IAAA,iC;EAAA,C;qEAAAA,CAWA/C,I,EAAAE,OAXA6C,EAAA;A,IAAA,qD;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;oDAAAC,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;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScopeWithResolution.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-solve/src/commonMain/kotlin/it/unibo/tuprolog/dsl/solve/LogicProgrammingScopeImpl.kt","src/kotlin/util/Preconditions.kt"],"sourcesContent":[null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["solverOf","unificator","otherLibraries","flags","staticKb","dynamicKb","stdIn","stdOut","stdErr","warnings","solverOf$default","clauses","theory","prolog","function","logicProgramming","solverFactory","<init>","changeUnificatorIfNecessary","<this>","of","scope","termificator","variablesProvider","theoryFactory","of$default","LogicProgrammingScopeImpl_init_$Init$","LogicProgrammingScopeImpl_init_$Create$","defaultSolver","message","<get-scope>","<get-termificator>","<get-unificator>","<get-solverFactory>","<get-defaultSolver>","newScope","copy","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-_>","retract","clause","fact","solve","goal","timeout","options","libraries","getValue","thisRef","property","<get-X>","<get-Y>","mgu","term1","term2","occurCheckEnabled","match","unify","merge","substitution1","substitution2","theoryOf","mutableTheoryOf","emptyTheory","emptyMutableTheory","<get-staticKb>","<get-dynamicKb>","loadLibrary","library","unloadLibrary","setRuntime","loadStaticKb","loadStaticClauses","appendStaticKb","resetStaticKb","loadDynamicKb","loadDynamicClauses","appendDynamicKb","resetDynamicKb","assertA","assertZ","retractAll","setFlag","flag","setStandardInput","setStandardError","setStandardOutput","setWarnings","clone","solveList","solveOnce","<get-libraries>","<get-flags>","<get-operators>","<get-inputChannels>","<get-outputChannels>","<get-standardInput>","<get-standardOutput>","<get-standardError>","<get-warnings>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAyBIA,CACIC,U,EACAC,c,EACAC,K,EACAC,Q,EACAC,S,EACAC,K,EACAC,M,EACAC,M,EACAC,QATJT,EAWI;A,IAUC,OAVD,UAAc,KACV,UADU,EAEV,cAFU,EAGV,KAHU,EAIV,QAJU,EAKV,SALU,EAMV,KANU,EAOV,MAPU,EAQV,MARU,EASV,QATU,C;EAUd,C;qBArBJU,CACIT,U,EACAC,c,EACAC,K,EACAC,Q,EACAC,S,EACAC,K,EACAC,M,EACAC,M,EACAC,Q,QATJC,E;uCAC6B,IAAK,M;+CACJ,UAAc,M;6BACrB,UAAc,M;mCACd,UAAc,M;qCACb,UAAc,M;6BACJ,UAAc,M;+BACZ,UAAc,M;+BACd,UAAc,M;mCACX,UAAc,M;;G;0BAerDN,CAAaO,OAAbP,EAAuC;A,IAAyC,OAAzC,UAAc,mBAAmB,OAAD,QAAlB,C;EAA0B,C;6BAG/EA,CAAaO,OAAbP,EAA0C;A,IAAwC,OAAxC,UAAc,2BAAkB,OAAlB,C;EAAyB,C;6BAGjFA,CAAaO,OAAbP,EAA0C;A,IAAwC,OAAxC,UAAc,2BAAkB,OAAlB,C;EAAyB,C;2BAGjFA,CAAaQ,MAAbR,EAA+B;A,IAAkC,OAAlC,UAAc,cAAa,MAAb,C;EAAmB,C;2BAGhEC,CAAcM,OAAdN,EAAwC;A,IAA0C,OAA1C,UAAc,oBAAoB,OAAD,QAAnB,C;EAA2B,C;8BAGjFA,CAAcM,OAAdN,EAA2C;A,IAAyC,OAAzC,UAAc,4BAAmB,OAAnB,C;EAA0B,C;8BAGnFA,CAAcM,OAAdN,EAA2C;A,IAAyC,OAAzC,UAAc,4BAAmB,OAAnB,C;EAA0B,C;4BAGnFA,CAAcO,MAAdP,EAAgC;A,IAAmC,OAAnC,UAAc,eAAc,MAAd,C;EAAoB,C;;;;iBC7CtEQ,CACIZ,U,EACAa,UAFJD,EAGO;A,uCAF6B,6BAAO,M;IAEiB,OAArD,iBAAwB,6BAAxB,EAAgC,UAAhC,EAA4C,UAA5C,C;EAAoD,C;2BAjB3DE,CACIC,a,EACAf,U,EACAa,UAHJC,EAIO;A,uCAFsB,aAAc,M;IAE0B,OAAV,WAA9B,qCAAG,aAAH,EAAkB,UAAlB,CAA8B,C;EAAS,C;oBCahEE,CAAAA,EAAA;A,EAAA,C;oCACaC,CAAIC,a,EAA0ClB,UAA9CiB,EACL;A,IAA+F,OAA3F,wBAAsB,UAAtB,GAAkC,aAAlC,GAA4C,0BAAa,eAAW,UAAX,CAAuB,Y;EAAU,C;oCAGlGE,CACIC,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,aANJI,EAQI;A,IAOC,OAPD,wCACI,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,EAMI,IAAc,KAAd,aAAc,EAA4B,UAA5B,CANlB,C;EAOA,C;mCAfJK,CACIJ,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,QANJS,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;uCACrB,+B;6CACL,yBAAqB,UAArB,C;;G;oCAanCL,CACIJ,a,EACAf,U,EACAoB,K,EACAC,Y,EACAC,iB,EACAC,aANJJ,EAOI;A,IAAoF,OAApF,SAAG,KAAH,EAAU,YAAV,EAAwB,iBAAxB,EAA2C,UAA3C,EAAuD,aAAvD,EAAsE,aAAtE,C;EAAmF,C;gDAPvFK,CACIT,a,EACAf,U,EACAoB,K,EACAC,Y,EACAC,iB,EACAC,a,QANJC,E;uCAE6B,aAAc,M;6BAClB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;6CAC1B,yBAAqB,UAArB,C;;G;;;;;gDCpBvCC,CACIL,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,OANJU,E;IAOI,sCACA,KADA,EAEA,YAFA,EAGA,iBAHA,EAIA,UAJA,EAKA,aALA,EAMA,aANA,EAOA,aAAc,oBAAgB,UAAhB,CAPd,C;;G;kDAPJC,CACIN,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,aANJW,E;;G;oCA1BoCV,CAC3BI,K,EACAC,Y,EACAC,iB,EACAtB,U,EACAuB,a,EACAR,a,EACAY,aAP2BX,EAAA;A,IACpC,kB;IACA,yB;IACA,8B;IACA,uB;IACA,0B;IACA,0B;IACA,0B;;ICiBI,MDVQ,eAAU,IAAkB,CAAlB,KAAkB,MCUpC,IDV6C,eAAU,IAAa,CAAb,KAAa,MCUpE,E,CAAQ;A,UACRY,UDVI,0F;MCWJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;;IAHI,MDNI,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCMJ,IDLQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCKR,IDJQ,mBAAc,IAAc,CAAd,KAAc,MAA5B,CCIR,E,CAAQ;A,UACRA,YDHI,qG;MCIJ,MAAM,uCAAiC,SAAR,SAAQ,CAAjC,C;IACV,C;ED3BoC,C;oDAC3BC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAE7BC,CAAAA,EAAA;A,IAAA,iB;EAAyB,C;oDAEzBC,CAAAA,EAAA;A,IAAA,iB;EAA+B,C;oDAC/BC,CAAAA,EAAA;A,IAAA,iB;EAA+B,C;oDAoC/BC,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;oDAE1DC,CAASf,KAATe,EACL;A,IAOC,OAPD,wCACI,KADJ,EAEI,IAAa,CAAb,KAAa,KAAK,KAAL,CAFjB,EAGI,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAHtB,EAII,IAJJ,CAII,KAJJ,EAKI,IALJ,CAKI,KALJ,EAMI,IANJ,CAMI,KANJ,C;EAOA,C;oDAEKA,CAASnC,UAATmC,EACL;A,IAOC,OAPD,wCACI,IADJ,CACI,KADJ,EAEI,IAFJ,CAEI,KAFJ,EAGI,IAHJ,CAGI,KAHJ,EAII,UAJJ,EAKI,IAAc,CAAd,KAAc,KAAK,UAAL,CALlB,EAMkB,yBAAd,IAAc,CAAd,KAAc,EAA4B,UAA5B,CANlB,C;EAOA,C;yDA1ERC,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAWAC,O,EAAAC,IAXAF,EAAA;A,IAAA,6C;EAAA,C;wDAAAG,CAWAC,KAXAD,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAWAC,KAXAD,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAWAC,KAXAD,EAAA;A,IAAA,wC;EAAA,C;4DAAAE,CAWAD,KAXAC,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAWAD,KAXAC,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAWAD,KAXAC,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAWAF,KAXAE,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAWAF,KAXAE,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAWAF,KAXAE,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAWAC,IAXAD,EAAA;A,IAAA,8B;EAAA,C;uDAAAE,CAWAD,I,EAAAE,IAXAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAWAC,K,EAAAC,IAXAF,EAAA;A,IAAA,0C;EAAA,C;4DAAAG,CAWAC,QAXAD,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAWAC,QAXAD,EAAA;A,IAAA,oC;EAAA,C;oDAAAE,CAWAD,QAXAC,EAAA;A,IAAA,+B;EAAA,C;sDAAAC,CAWAC,MAXAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAWAD,MAXAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAWAC,IAXAD,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,iC;EAAA,C;uDAAAE,CAWAC,KAXAD,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAWAC,KAXAD,EAAA;A,IAAA,mC;EAAA,C;oDAAAE,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAWApB,K,EAAAqB,IAXAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAWAlB,I,EAAAI,K,EAAAC,IAXAa,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAWAnB,I,EAAAK,IAXAc,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAWAP,I,EAAAQ,KAXAD,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAWAP,I,EAAAQ,KAXAD,EAAA;A,IAAA,mD;EAAA,C;0DAAAE,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAWAT,KAXAS,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAWAT,KAXAS,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAWAT,KAXAS,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAWAT,KAXAS,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAWAV,KAXAU,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAWAV,KAXAU,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAWAV,KAXAU,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAWAV,KAXAU,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAWAV,K,EAAAW,KAXAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAWAZ,KAXAY,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAWAZ,KAXAY,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAWAb,KAXAa,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAWAC,WAXAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAWAC,WAXAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAWAC,WAXAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAWAD,WAXAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAWAD,WAXAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAWAD,WAXAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;wDAAAC,CAWAC,MAXAD,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAWAE,IAXAF,EAAA;A,IAAA,qC;EAAA,C;iEAAAG,CAWAC,I,EAAAC,OAXAF,EAAA;A,IAAA,iD;EAAA,C;sDAAAA,CAWAC,IAXAD,EAAA;A,IAAA,6B;EAAA,C;iEAAAA,CAWAC,I,EAAAE,OAXAH,EAAA;A,IAAA,iD;EAAA,C;oDAAA9C,CAWAnC,U,EAAAqF,S,EAAAnF,K,EAAAC,Q,EAAAC,S,EAAAC,K,EAAAC,M,EAAAC,M,EAAAC,QAXA2B,EAAA;A,IAAA,yG;EAAA,C;sDA4D+BnC,U,EAEjBqF,S,EAETnF,K,EAE4BC,Q,EAC7BC,S,EACSC,K,EAEaC,M,EAEMC,M,EACgBC,Q;;;yDAzEhD8E,CAWAC,O,EAAAC,QAXAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAWAC,K,EAAAC,K,EAAAC,iBAXAH,EAAA;A,IAAA,sD;EAAA,C;oDAAAA,CAWAC,K,EAAAC,KAXAF,EAAA;A,IAAA,mC;EAAA,C;oEAAAI,CAWAH,K,EAAAC,K,EAAAC,iBAXAC,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAWAH,K,EAAAC,KAXAE,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAWAJ,K,EAAAC,K,EAAAC,iBAXAE,EAAA;A,IAAA,sE;EAAA,C;sDAAAA,CAWAJ,K,EAAAC,KAXAG,EAAA;A,IAAA,qC;EAAA,C;oEAAAC,CAWAC,a,EAAAC,a,EAAAL,iBAXAG,EAAA;A,IAAA,sF;EAAA,C;sDAAAA,CAWAC,a,EAAAC,aAXAF,EAAA;A,IAAA,qD;EAAA,C;+EAAAG,CAWA1F,O,EAAAV,UAXAoG,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,2C;EAAA,C;uEAAAA,CAWApG,U,EAAAU,OAXA0F,EAAA;A,IAAA,6D;EAAA,C;yDAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,mC;EAAA,C;+EAAAA,CAWA1F,O,EAAAV,UAXAoG,EAAA;A,IAAA,qE;EAAA,C;iEAAAA,CAWA1F,OAXA0F,EAAA;A,IAAA,2C;EAAA,C;sFAAAC,CAWA3F,O,EAAAV,UAXAqG,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,kD;EAAA,C;8EAAAA,CAWArG,U,EAAAU,OAXA2F,EAAA;A,IAAA,oE;EAAA,C;gEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,0C;EAAA,C;sFAAAA,CAWA3F,O,EAAAV,UAXAqG,EAAA;A,IAAA,4E;EAAA,C;wEAAAA,CAWA3F,OAXA2F,EAAA;A,IAAA,kD;EAAA,C;0EAAAC,CAWAtG,UAXAsG,EAAA;A,IAAA,uD;EAAA,C;4DAAAA,CAAAA,EAAA;A,IAAA,+B;EAAA,C;iFAAAC,CAWAvG,UAXAuG,EAAA;A,IAAA,8D;EAAA,C;mEAAAA,CAAAA,EAAA;A,IAAA,sC;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;4DAAAC,CAWAC,OAXAD,EAAA;A,IAAA,+B;EAAA,C;8DAAAE,CAWAD,OAXAC,EAAA;A,IAAA,iC;EAAA,C;6DAAAC,CAWAxB,SAXAwB,EAAA;A,IAAA,kC;EAAA,C;6DAAAC,CAWAnG,MAXAmG,EAAA;A,IAAA,+B;EAAA,C;kEAAAC,CAWArG,OAXAqG,EAAA;A,IAAA,qC;EAAA,C;0EAAAA,CAWArG,OAXAqG,EAAA;A,IAAA,6C;EAAA,C;0EAAAA,CAWArG,OAXAqG,EAAA;A,IAAA,6C;EAAA,C;+DAAAC,CAWArG,MAXAqG,EAAA;A,IAAA,iC;EAAA,C;8DAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;8DAAAC,CAWAvG,MAXAuG,EAAA;A,IAAA,gC;EAAA,C;mEAAAC,CAWAzG,OAXAyG,EAAA;A,IAAA,sC;EAAA,C;2EAAAA,CAWAzG,OAXAyG,EAAA;A,IAAA,8C;EAAA,C;2EAAAA,CAWAzG,OAXAyG,EAAA;A,IAAA,8C;EAAA,C;gEAAAC,CAWAzG,MAXAyG,EAAA;A,IAAA,kC;EAAA,C;+DAAAC,CAAAA,EAAA;A,IAAA,2B;EAAA,C;wDAAAC,CAWAvC,MAXAuC,EAAA;A,IAAA,0B;EAAA,C;4DAAAA,CAWAtC,IAXAsC,EAAA;A,IAAA,4B;EAAA,C;wDAAAC,CAWAxC,MAXAwC,EAAA;A,IAAA,0B;EAAA,C;4DAAAA,CAWAvC,IAXAuC,EAAA;A,IAAA,4B;EAAA,C;2DAAAC,CAWAzC,MAXAyC,EAAA;A,IAAA,oC;EAAA,C;iEAAAA,CAWAxC,IAXAwC,EAAA;A,IAAA,wC;EAAA,C;wDAAAC,CAWAhE,I,EAAAE,KAXA8D,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,4B;EAAA,C;+DAAAA,CAWAC,IAXAD,EAAA;A,IAAA,+B;EAAA,C;iEAAAE,CAWAtH,KAXAsH,EAAA;A,IAAA,kC;EAAA,C;iEAAAC,CAWArH,MAXAqH,EAAA;A,IAAA,mC;EAAA,C;kEAAAC,CAWAvH,MAXAuH,EAAA;A,IAAA,oC;EAAA,C;4DAAAC,CAWAtH,QAXAsH,EAAA;A,IAAA,gC;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;qEAAAC,CAWA9C,I,EAAAC,OAXA6C,EAAA;A,IAAA,qD;EAAA,C;0DAAAA,CAWA9C,IAXA8C,EAAA;A,IAAA,iC;EAAA,C;qEAAAA,CAWA9C,I,EAAAE,OAXA4C,EAAA;A,IAAA,qD;EAAA,C;qEAAAC,CAWA/C,I,EAAAC,OAXA8C,EAAA;A,IAAA,qD;EAAA,C;0DAAAA,CAWA/C,IAXA+C,EAAA;A,IAAA,iC;EAAA,C;qEAAAA,CAWA/C,I,EAAAE,OAXA6C,EAAA;A,IAAA,qD;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;oDAAAC,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;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}

package/2p-dsl-theory.js

@@ -29,16 +29,16 @@
   //region block: imports
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.b;
-  var protoOf = kotlin_kotlin.$_$.m6;
+  var protoOf = kotlin_kotlin.$_$.n6;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
-  var toString = kotlin_kotlin.$_$.p6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
+  var toString = kotlin_kotlin.$_$.q6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
-  var Unit_instance = kotlin_kotlin.$_$.k1;
-  var equals = kotlin_kotlin.$_$.r5;
+  var Unit_instance = kotlin_kotlin.$_$.l1;
+  var equals = kotlin_kotlin.$_$.u5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
@@ -179,26 +179,26 @@
   var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
   var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
   var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
-  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
   var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
-  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
-  var initMetadataForClass = kotlin_kotlin.$_$.x5;
+  var initMetadataForClass = kotlin_kotlin.$_$.a6;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var getKClass = kotlin_kotlin.$_$.e7;
+  var getKClass = kotlin_kotlin.$_$.f7;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
-  var addAll = kotlin_kotlin.$_$.s1;
-  var plus = kotlin_kotlin.$_$.k8;
+  var addAll = kotlin_kotlin.$_$.t1;
+  var plus = kotlin_kotlin.$_$.l8;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var listOf = kotlin_kotlin.$_$.c3;
-  var flatten = kotlin_kotlin.$_$.r2;
-  var initMetadataForInterface = kotlin_kotlin.$_$.z5;
+  var listOf = kotlin_kotlin.$_$.e3;
+  var flatten = kotlin_kotlin.$_$.t2;
+  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
@@ -268,40 +268,40 @@
   function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
     return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
   }
-  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [Unificator, BaseLogicProgrammingScope, TheoryFactory]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [Scope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithTheories, Unificator, TheoryFactory]);
+  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Scope, Unificator, TheoryFactory]);
   //endregion
   function logicProgramming(unificator, function_0) {
-    unificator = unificator === VOID ? Companion_getInstance_0().z2x_1 : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_0().w2y_1 : unificator;
     return function_0(Companion_getInstance_0().ofUnificator(unificator));
   }
   function Companion() {
     Companion_instance_2 = this;
-    this.z2x_1 = Companion_getInstance().u1i();
+    this.w2y_1 = Companion_getInstance().r1j();
   }
   protoOf(Companion).empty = function () {
     return this.of();
   };
-  protoOf(Companion).a2y = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
-    return new LogicProgrammingScopeImpl(scope, termificator.a1g() === scope ? termificator : termificator.b1g(scope), variablesProvider.a1g() === scope ? variablesProvider : variablesProvider.b1g(scope), unificator, theoryFactory.b1j() === unificator ? theoryFactory : theoryFactory.t1q(unificator));
+  protoOf(Companion).x2y = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
+    return new LogicProgrammingScopeImpl(scope, termificator.x1g() === scope ? termificator : termificator.y1g(scope), variablesProvider.x1g() === scope ? variablesProvider : variablesProvider.y1g(scope), unificator, theoryFactory.y1j() === unificator ? theoryFactory : theoryFactory.q1r(unificator));
   };
   protoOf(Companion).of = function (scope, termificator, variablesProvider, unificator, theoryFactory, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
     termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
-    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
-    unificator = unificator === VOID ? this.z2x_1 : unificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.u13(scope) : variablesProvider;
+    unificator = unificator === VOID ? this.w2y_1 : unificator;
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
-    return $super === VOID ? this.a2y(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.a2y.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
+    return $super === VOID ? this.x2y(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.x2y.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
   };
-  protoOf(Companion).b2y = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
-    return this.a2y(scope, termificator, variablesProvider, unificator, theoryFactory);
+  protoOf(Companion).y2y = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
+    return this.x2y(scope, termificator, variablesProvider, unificator, theoryFactory);
   };
   protoOf(Companion).ofUnificator = function (unificator, theoryFactory, scope, termificator, variablesProvider, $super) {
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
     scope = scope === VOID ? Companion_instance.empty() : scope;
     termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
-    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
-    return $super === VOID ? this.b2y(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.b2y.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.u13(scope) : variablesProvider;
+    return $super === VOID ? this.y2y(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.y2y.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
   };
   var Companion_instance_2;
   function Companion_getInstance_0() {
@@ -310,315 +310,315 @@
     return Companion_instance_2;
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory) {
-    this.c2y_1 = scope;
-    this.d2y_1 = termificator;
-    this.e2y_1 = variablesProvider;
-    this.f2y_1 = unificator;
-    this.g2y_1 = theoryFactory;
+    this.z2y_1 = scope;
+    this.a2z_1 = termificator;
+    this.b2z_1 = variablesProvider;
+    this.c2z_1 = unificator;
+    this.d2z_1 = theoryFactory;
     // Inline function 'kotlin.require' call
-    if (!(this.c2y_1 === this.e2y_1.a1g() && this.c2y_1 === this.d2y_1.a1g())) {
+    if (!(this.z2y_1 === this.b2z_1.x1g() && this.z2y_1 === this.a2z_1.x1g())) {
       var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
-    if (!equals(this.f2y_1, this.g2y_1.b1j())) {
+    if (!equals(this.c2z_1, this.d2z_1.y1j())) {
       var message_0 = 'The provided Unificator should be the same object for both Unificator and TheoryFactory';
       throw IllegalArgumentException_init_$Create$(toString(message_0));
     }
   }
-  protoOf(LogicProgrammingScopeImpl).a1g = function () {
-    return this.c2y_1;
+  protoOf(LogicProgrammingScopeImpl).x1g = function () {
+    return this.z2y_1;
   };
-  protoOf(LogicProgrammingScopeImpl).l2x = function () {
-    return this.d2y_1;
+  protoOf(LogicProgrammingScopeImpl).i2y = function () {
+    return this.a2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).b1j = function () {
-    return this.f2y_1;
+  protoOf(LogicProgrammingScopeImpl).y1j = function () {
+    return this.c2z_1;
   };
-  protoOf(LogicProgrammingScopeImpl).b1g = function (scope) {
-    return new LogicProgrammingScopeImpl(scope, this.d2y_1.b1g(scope), this.e2y_1.b1g(scope), this.f2y_1, this.g2y_1);
+  protoOf(LogicProgrammingScopeImpl).y1g = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.a2z_1.y1g(scope), this.b2z_1.y1g(scope), this.c2z_1, this.d2z_1);
   };
-  protoOf(LogicProgrammingScopeImpl).t1q = function (unificator) {
-    return new LogicProgrammingScopeImpl(this.c2y_1, this.d2y_1, this.e2y_1, unificator, this.g2y_1.t1q(unificator));
+  protoOf(LogicProgrammingScopeImpl).q1r = function (unificator) {
+    return new LogicProgrammingScopeImpl(this.z2y_1, this.a2z_1, this.b2z_1, unificator, this.d2z_1.q1r(unificator));
   };
-  protoOf(LogicProgrammingScopeImpl).q2x = function () {
-    return this.b1g(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).n2y = function () {
+    return this.y1g(Companion_instance.empty());
   };
   protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.q2x();
+    return this.n2y();
   };
   protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.e2y_1.structOf(functor, args);
+    return this.b2z_1.structOf(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.e2y_1.structOfSequence(functor, args);
+    return this.b2z_1.structOfSequence(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.e2y_1.structOfIterable(functor, args);
+    return this.b2z_1.structOfIterable(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.e2y_1.structOfList(functor, args);
+    return this.b2z_1.structOfList(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.e2y_1.tupleOf(terms);
+    return this.b2z_1.tupleOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.e2y_1.tupleOfIterable(terms);
+    return this.b2z_1.tupleOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.e2y_1.tupleOfSequence(terms);
+    return this.b2z_1.tupleOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.e2y_1.logicListOf(terms);
+    return this.b2z_1.logicListOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.e2y_1.logicListOfIterable(terms);
+    return this.b2z_1.logicListOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.e2y_1.logicListOfSequence(terms);
+    return this.b2z_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.e2y_1.blockOf(terms);
+    return this.b2z_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.e2y_1.blockOfIterable(terms);
+    return this.b2z_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.e2y_1.blockOfSequence(terms);
+    return this.b2z_1.blockOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.e2y_1.factOf(head);
+    return this.b2z_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.e2y_1.consOf(head, tail);
+    return this.b2z_1.consOf(head, tail);
   };
   protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.e2y_1.directiveOf(body1, body);
+    return this.b2z_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.e2y_1.containsVar(variable);
+    return this.b2z_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.e2y_1.contains(variable);
+    return this.b2z_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.e2y_1.get(variable);
+    return this.b2z_1.get(variable);
   };
   protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.e2y_1.where(lambda);
+    return this.b2z_1.where(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.e2y_1.with(lambda);
+    return this.b2z_1.with(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.e2y_1.varOf(name);
+    return this.b2z_1.varOf(name);
   };
   protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.e2y_1.varOfChar(name);
+    return this.b2z_1.varOfChar(name);
   };
   protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.e2y_1.atomOf(value);
+    return this.b2z_1.atomOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.e2y_1.atomOfChar(value);
+    return this.b2z_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).xz = function (terms, last) {
-    return this.e2y_1.xz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).v10 = function (terms, last) {
+    return this.b2z_1.v10(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).yz = function (terms, last) {
-    return this.e2y_1.yz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).w10 = function (terms, last) {
+    return this.b2z_1.w10(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).zz = function (terms, last) {
-    return this.e2y_1.zz(terms, last);
+  protoOf(LogicProgrammingScopeImpl).x10 = function (terms, last) {
+    return this.b2z_1.x10(terms, last);
   };
   protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.e2y_1.ruleOf(head, body1, body);
+    return this.b2z_1.ruleOf(head, body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.e2y_1.clauseOf(head, body);
+    return this.b2z_1.clauseOf(head, body);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.e2y_1.indicatorOf(name, arity);
+    return this.b2z_1.indicatorOf(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.e2y_1.indicatorOfStringInt(name, arity);
+    return this.b2z_1.indicatorOfStringInt(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.e2y_1.anonymous();
+    return this.b2z_1.anonymous();
   };
   protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.e2y_1.whatever();
+    return this.b2z_1.whatever();
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.e2y_1.numOfBigDecimal(value);
+    return this.b2z_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.e2y_1.numOfDouble(value);
+    return this.b2z_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.e2y_1.numOfFloat(value);
+    return this.b2z_1.numOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.e2y_1.numOfBigInteger(value);
+    return this.b2z_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.e2y_1.numOfInt(value);
+    return this.b2z_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.e2y_1.numOfLong(value);
+    return this.b2z_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.e2y_1.numOfShort(value);
+    return this.b2z_1.numOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.e2y_1.numOfByte(value);
+    return this.b2z_1.numOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.e2y_1.parseNum(value);
+    return this.b2z_1.parseNum(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.e2y_1.numOf(value);
+    return this.b2z_1.numOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.e2y_1.intOfBigInteger(value);
+    return this.b2z_1.intOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.e2y_1.intOf(value);
+    return this.b2z_1.intOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.e2y_1.intOfLong(value);
+    return this.b2z_1.intOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.e2y_1.intOfShort(value);
+    return this.b2z_1.intOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.e2y_1.intOfByte(value);
+    return this.b2z_1.intOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.e2y_1.parseInt(value);
+    return this.b2z_1.parseInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.e2y_1.parseIntRadix(value, radix);
+    return this.b2z_1.parseIntRadix(value, radix);
   };
   protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.e2y_1.realOfBigDecimal(value);
+    return this.b2z_1.realOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.e2y_1.realOf(value);
+    return this.b2z_1.realOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.e2y_1.realOfFloat(value);
+    return this.b2z_1.realOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.e2y_1.parseReal(value);
+    return this.b2z_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.e2y_1.truthOf(value);
+    return this.b2z_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.e2y_1.unifierOf(assignments);
+    return this.b2z_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.e2y_1.unifierOfIterable(assignments);
+    return this.b2z_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.e2y_1.unifierOfSequence(assignments);
+    return this.b2z_1.unifierOfSequence(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.e2y_1.substitutionOf(assignments);
+    return this.b2z_1.substitutionOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.e2y_1.substitutionOfIterable(assignments);
+    return this.b2z_1.substitutionOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.e2y_1.substitutionOfSequence(assignments);
+    return this.b2z_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).vz = function () {
-    return this.e2y_1.vz();
+  protoOf(LogicProgrammingScopeImpl).t10 = function () {
+    return this.b2z_1.t10();
   };
-  protoOf(LogicProgrammingScopeImpl).wz = function () {
-    return this.e2y_1.wz();
+  protoOf(LogicProgrammingScopeImpl).u10 = function () {
+    return this.b2z_1.u10();
   };
   protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.e2y_1.getValue(thisRef, property);
+    return this.b2z_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).d1g = function () {
-    return this.e2y_1.d1g();
+  protoOf(LogicProgrammingScopeImpl).a1h = function () {
+    return this.b2z_1.a1h();
   };
-  protoOf(LogicProgrammingScopeImpl).e1g = function () {
-    return this.e2y_1.e1g();
+  protoOf(LogicProgrammingScopeImpl).b1h = function () {
+    return this.b2z_1.b1h();
   };
-  protoOf(LogicProgrammingScopeImpl).u1h = function (term1, term2, occurCheckEnabled) {
-    return this.f2y_1.u1h(term1, term2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).r1i = function (term1, term2, occurCheckEnabled) {
+    return this.c2z_1.r1i(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
-    return this.f2y_1.mgu(term1, term2);
+    return this.c2z_1.mgu(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.f2y_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.c2z_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
-    return this.f2y_1.match(term1, term2);
+    return this.c2z_1.match(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.f2y_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.c2z_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
-    return this.f2y_1.unify(term1, term2);
+    return this.c2z_1.unify(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.f2y_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+    return this.c2z_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
-    return this.f2y_1.merge(substitution1, substitution2);
+    return this.c2z_1.merge(substitution1, substitution2);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.g2y_1.theoryOfIterableWithUnificator(clauses, unificator);
+    return this.d2z_1.theoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
-    return this.g2y_1.theoryOfIterable(clauses);
+    return this.d2z_1.theoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
-    return this.g2y_1.theoryOfWithUnificator(unificator, clauses);
+    return this.d2z_1.theoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
-    return this.g2y_1.theoryOf(clauses);
+    return this.d2z_1.theoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.g2y_1.theoryOfSequenceWithUnificator(clauses, unificator);
+    return this.d2z_1.theoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
-    return this.g2y_1.theoryOfSequence(clauses);
+    return this.d2z_1.theoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.g2y_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+    return this.d2z_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
-    return this.g2y_1.mutableTheoryOfIterable(clauses);
+    return this.d2z_1.mutableTheoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
-    return this.g2y_1.mutableTheoryOfWithUnificator(unificator, clauses);
+    return this.d2z_1.mutableTheoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
-    return this.g2y_1.mutableTheoryOf(clauses);
+    return this.d2z_1.mutableTheoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.g2y_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+    return this.d2z_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
-    return this.g2y_1.mutableTheoryOfSequence(clauses);
+    return this.d2z_1.mutableTheoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
-    return this.g2y_1.emptyTheoryWithUnificator(unificator);
+    return this.d2z_1.emptyTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
-    return this.g2y_1.emptyTheory();
+    return this.d2z_1.emptyTheory();
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
-    return this.g2y_1.emptyMutableTheoryWithUnificator(unificator);
+    return this.d2z_1.emptyMutableTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
-    return this.g2y_1.emptyMutableTheory();
+    return this.d2z_1.emptyMutableTheory();
   };
   function LogicProgrammingScopeWithTheories$clauseOf$ref(p0) {
     return function (receiver) {
@@ -641,7 +641,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).r2x = logicList;
+  protoOf(LogicProgrammingScopeImpl).o2y = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;
@@ -762,11 +762,11 @@
   protoOf(LogicProgrammingScopeImpl).anyMguWith = anyMguWith;
   protoOf(LogicProgrammingScopeImpl).anyMatches = anyMatches;
   protoOf(LogicProgrammingScopeImpl).anyUnifyWith = anyUnifyWith;
-  protoOf(LogicProgrammingScopeImpl).w2x = mgu;
+  protoOf(LogicProgrammingScopeImpl).t2y = mgu;
   protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
-  protoOf(LogicProgrammingScopeImpl).x2x = match;
+  protoOf(LogicProgrammingScopeImpl).u2y = match;
   protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
-  protoOf(LogicProgrammingScopeImpl).y2x = unify;
+  protoOf(LogicProgrammingScopeImpl).v2y = unify;
   protoOf(LogicProgrammingScopeImpl).unifyAny = unifyAny;
   protoOf(LogicProgrammingScopeImpl).convertToClause = convertToClause;
   protoOf(LogicProgrammingScopeImpl).theory = theory;