@tuprolog/2p-full 0.31.21 → 0.32.0
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-bdd.js +198 -215
- package/2p-bdd.js.map +1 -1
- package/2p-core.js +3282 -5092
- package/2p-core.js.map +1 -1
- package/2p-full.js +6 -6
- package/2p-io-lib.js +874 -1121
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +1140 -1327
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +438 -609
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +7 -8
- package/2p-parser-js.js.map +1 -1
- package/2p-parser-theory.js +35 -39
- package/2p-parser-theory.js.map +1 -1
- package/2p-repl.js +152 -179
- package/2p-repl.js.map +1 -1
- package/2p-solve-classic.js +1141 -1371
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve-plp.js +9 -14
- package/2p-solve-plp.js.map +1 -1
- package/2p-solve-problog.js +1689 -1981
- package/2p-solve-problog.js.map +1 -1
- package/2p-solve-streams.js +1206 -1372
- package/2p-solve-streams.js.map +1 -1
- package/2p-solve.js +4880 -6148
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1820 -2246
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +290 -330
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +483 -557
- package/2p-utils.js.map +1 -1
- package/clikt-clikt-js-ir.js +2243 -3266
- package/clikt-clikt-js-ir.js.map +1 -1
- package/{kotlin-kotlin-stdlib-js-ir.js → kotlin-kotlin-stdlib.js} +9559 -10329
- package/kotlin-kotlin-stdlib.js.map +1 -0
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +15 -0
- package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -0
- package/kt-math.js +2926 -4247
- package/kt-math.js.map +1 -1
- package/package.json +9 -3
- package/kotlin-kotlin-stdlib-js-ir.js.map +0 -1
package/2p-repl.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","
|
|
1
|
+
{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","src/jsMainSources/libraries/stdlib/js/src/kotlin/text/stringJs.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/util/Standard.kt","src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","epilog","name","invokeWithoutSubcommand","printHelpOnEmptyArgs","helpTags","autoCompleteEnvvar","allowMultipleSubcommands","treatUnknownOptionsAsArgs","hidden","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","NullInputException_init_$Create$","<get-files>","<get-timeout>","<get-oop>","loadTheory","theory","file","t","readEvalPrintLoop","solver","goal","_","TuPrologCmd$getSolver$lambda$lambda","$formatter","TuPrologCmd$getSolver$lambda$lambda$lambda","it","TuPrologCmd$getSolver$lambda","w","sep","formatter","stacktrace","$this$flag","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","library","files$factory","get","receiver","timeout$factory","oop$factory","<get-query>","<get-maxSolutions>","<get-parentCommand>","evalAndPrint","duration","query$factory","maxSolutions$factory","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmCYA,C,OACJC,G,EACAC,WAFIF,EAGN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;;;EAER,C;2BAEQG,C,OACJF,G,EACAC,WAFIC,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;4BAEQC,C,OACJH,G,EACAC,WAFIE,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAM,YAAN,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;8BAMQC,C,KAAAA,EAA0B;A,EAElC,C;6BAiBQC,C,OAAuBC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;mBCvBuD,Q;sBA0GS,SAAP,oBAAtB,MAAsB,IAAtB,MAAsB,eAAO,C;WDnFzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,2BAAQ,GAAR,0BAA4B,GAA5B,C;;MAAA,2B;QACJ,MAAM,iCAAoB,iDAApB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;0BAGQC,C,OACJV,G,EACAC,WAFIS,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;kCApGKC,CACLC,I,EACAC,M,EACAC,I,EACAC,uB,EACAC,oB,EACAC,Q,EACAC,kB,EACAC,wB,EACAC,yB,EACAC,MAVKV,EAAT;A,2BACmB,E;+BACE,E;2BACD,I;iEACmB,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+BACnB,K;IAClB,wBACI,IADJ,EAEI,MAFJ,EAGI,IAHJ,EAII,uBAJJ,EAKI,oBALJ,EAMI,QANJ,EAOI,kBAPJ,EAQI,wBARJ,EASI,yBATJ,EAUI,MAVJ,C;EAXJ,C;kDA4DcW,CAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;;IAAS,IAAT,kBAAS,S;YAAA,I;;;;;MC4tBlB,IAtf4C,mBArPnC,kBAqPmC,IAAS,CAsfrD,C;;iBDrpB4t3B,gBCtFnt3B,kBDsFmt3B,EAAK,CAAL,C;wBAvEhr3B,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;oBC4tB7C,SAAnB,SAAmB,C;;;gBAAnB,QA3uBT,kBCgM6D,WAwFq4lB,CAxFr4lB,C;;gBDhM7D,kB;;;;IDeZ,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;kDAMUE,CAAAA,EAAwB;A,QAC9BjB,QAAqB,SAAQ,IAAR,0BAA6B,GAA7B,C;;IAEjB,aAAS,IAAT,C;MACI,MAAM,iCAAoB,gDAApB,C;;;sBCiGkD,SAAP,oBAnHgB,KAmHhB,IAnHgB,KAmHhB,eAAO,C;MD/F/C,aAAP,SAAO,EAAS,8BAAT,E;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;kDAqBUkB,CACNC,S,EACAzB,WAFMwB,EAGR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACxB,IAAI,CAAC,KAAL,C,CAAY;A,YACwB,qBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;QAA0B,IAA1B,kBAA0B,S;gBAAA,I;;;gBC4DF,SAAP,oBA9EV,kBA8EU,IA9EV,kBA8EU,eAAO,C;;YD5DxDC,S;QACA,IAAI,UAAQ,GAAR,CAAJ,C;UAAgB,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;kDAEUC,CACNH,S,EACAI,Y,EACA7B,WAHM4B,EAIR;A,QACEE,IAAQ,C;WACD,IAAI,YAAJ,GAAoB,SAAU,IAA9B,GAA8B,K,EAAW;A,MAC5C,a;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;yCGzIAC,CAAYC,O,EAAkBC,K,OAA9BF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;2CAEAA,CAAYC,O,OAAZD,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;2CAAhCG,CAAYF,OAAZE,E;;;;G;gCAHJ;A;EAAA,C;oBC2BIxB,CAAAA,EAAA;A,IACqC,iB;EADrC,C;;;;;6BAMgCyB,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KArC/B,KAqC+B,EAAH,iBAAG,C;EACrB,C;8BAEMC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAxCnB,KAwCmB,EAAH,mBAAG,C;EAIQ,C;2BAEfC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KA9Cf,KA8Ce,EAAH,eAAG,C;EAGG,C;qBAYdC,C,KAAAA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,gBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB,EAAb;A,UAAKC,OAAQ,iB;MACT,IAAI,eAAe,IAAf,CAAJ,C,CAA0B;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBAAnBnB,M;YACL,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;4BAEQoB,C,OAAsBC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACApC,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAsC,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBnB,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C;4CAA4B;A,gBAAnBH,M;YACL,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;4CAAgC;A,YAAvBuB,M;QACL,UAAM,cAAN,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;8CAciEC,CADrDC,UACqDD,E;oBAAAE,CAAAC,EAAAD,EAAA;A,MAAK,cAAH,EAAG,EAAO,UAAP,C;IAAkB,C;G;uCAJtDE,CAJlC,MAIkCA,E;oBAAAJ,CAAEK,CAAFL,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAM,MAAW,W;UACXC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;gBACvB,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;G;yCAUsBJ,CAAAK,UAAAL,EAAA;A,IAAE,uB;EAAG,C;sBA1GvCxC,CAAkB8C,mBAAlB9C,EAAA;A,IAAyD,mCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,oBAE1B,IAF0B,C;IAUC,gC;IAEtB,aAC3B,SAD8B,aAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,CAC9B,CAD2B,KArC5B,IAqC4B,kB;IAGZ,aAIZ,UAAN,IAJqB,aAClB,OACA,WADA,CADkB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,CAJY,KAxChB,IAwCgB,oB;IAMJ,aAGd,KAHiB,aACd,SADc,EAEP,uBAFO,CAGjB,MAAe,KAAf,CAHc,KA9CZ,IA8CY,gB;EArBpB,C;sCA0Ba+C,CAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAtBA,CAAqC,K;IAErC,IAAI,cAAc,IAAlB,C,CAAwB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;sCAgDAC,CAAAA,EAA+B;A,IAC3B,OAAe,OAAR,yBAAQ,C;EACnB,C;sCAEAC,CAAAA,EAAwB;A;IACpB,SAAM,kBAAN,GA9GsB,QA8GtB,C;QACAtB,SAA0B,WAAL,IAAK,C;;QAC1BuB,gBACkB,OAAY,kCAAZ,C;;IAQd,IAAI,sBAAJ,C;cACY,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;;gBCqBM,+BAAO,aAA0B,YAAQ,SAAR,CAExC,aAAS,MAAT,C;;iBAA8B,mCAAqB,8BAArB,CAAyC,aAE3E,aAF2E,CAE/C,Q;;;;QDbM,gBA/CM,MEkD6B,MA0PgB,KAAQ,I;WF7P3D,iB,EAArB;A;UAASC,UAAY,iBE2L+B,K;MF1LhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IATR,OC9BG,M;EDyCP,C;wBAtGgCC,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;0BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;sBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;0BATgBD,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;4BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;wBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;6BG9BUI,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAhBzB,KAgByB,EAAH,iBAAG,C;EAAS,C;oCACRC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAjB7B,KAiB6B,EAAH,wBAAG,C;EACnB,C;qCAGVC,C,KAAAA,EAAQ;A,QAAe,qBAAf,WAAe,M;cAAA,kBAAQ,kBAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;EAAD,C;uBAOhDC,C,OAAiB9B,MAAjB8B,EAAiC;A;iBNET,yB;IMD5B,INkR+C,6BAAS,CMlRxD,C,CAAwB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3CjD,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;QAC5D,IAAI,qCAAgB,CAApB,C,CAAuB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cAAnBH,M;UACL,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;mBFQmG,0B;MApBzD,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;EEepD,C;6BAhCJZ,CAAAA,EAAA;A,IAA2B,mCACf,+CADe,QAEf,OAFe,C;IAIG,aAAG,cAAH,KAhBtB,IAgBsB,kB;IACI,aACzB,UAD0G,IAA9E,aAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,CAA8E,CAC1G,EAAQ,CAAR,CADyB,KAjB1B,IAiB0B,yB;EALlC,C;6CAWa+C,CAAAA,EAAU;A,QACfd,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;wBAV0BgC,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;+BACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;0BADJS,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;iCACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;yBCb3BW,CAAmBC,IAAnBD,EAA0C;A;iBHFF,qB;IA2BG,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGvBxD,C;6BAEOE,CAAuBD,IAAvBC,EAA6C;A;iBHHrC,qB;IAwBmC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGnBxD,C;eCNAC,CAASC,IAATD,EAA8B;A,IACZ,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
|