@tuprolog/arg2p-causality-solver 0.9.0 → 0.10.1
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 +2731 -2785
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +5 -1620
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +5 -949
- package/2p-dsl-solve.js.map +1 -1
- package/2p-dsl-theory.js +5 -796
- package/2p-dsl-theory.js.map +1 -1
- package/2p-dsl-unify.js +5 -69
- package/2p-dsl-unify.js.map +1 -1
- package/2p-parser-core.js +5 -1264
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-js.js +5 -29
- package/2p-parser-js.js.map +1 -1
- package/2p-parser-theory.js +5 -146
- package/2p-parser-theory.js.map +1 -1
- package/2p-solve-classic.js +1027 -1034
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +4052 -4410
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1634 -1649
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +252 -259
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +455 -542
- package/2p-utils.js.map +1 -1
- package/README.md +100 -89
- package/arg2p-causality-solver.js +4 -8
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +5 -4829
- package/arg2p-core.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +2086 -2771
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +2218 -2222
- package/kt-math.js.map +1 -1
- package/package.json +3 -3
package/2p-utils.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cache.kt","src/kotlin/util/Standard.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cached.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Castable.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cursor.kt","src/kotlin/collections/Iterables.kt","src/kotlin/collections/Sequences.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Indexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IntIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/LongIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggable.kt","src/kotlin/collections/Maps.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/CursorExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IterUtils.kt","common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/NumberTypeTester.kt","src/kotlin/text/regex/RegexExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Optional.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggables.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/ThreadSafety.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/AbstractCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/CachedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ConjunctionCursor.kt","src/kotlin/util/Lazy.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/EmptyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/IntIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LazyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LongIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/MapperCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/NonLastCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/SimpleLRUCache.kt","common/src/generated/_Maps.kt","src/kotlin/util/Preconditions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ValueCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/Deque.kt","src/kotlin/collections/Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/ThreadSafetyJs.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/TypeUtilsJs.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["getOrSet","key","valueGenerator","got","ifValid","consumer","castTo","asIterable","asSequence","component1","component2","compareTo","other","getTag","name","containsTag","<init>","simpleLru","capacity","of","generator","iterator","sequence","empty","cursor","<this>","plus","toCursor","index","value","dropLast","itemWiseHashCode","iterable","hash","i","insertAt","item","items","itemWiseEquals","sequence1","sequence2","comparator","cached","buffered","iterable1","iterable2","j","a","b","mergeSequences","iterables","assertItemsAreNotNull","merge","indexed","compare","invoke","$this$sequence","$completion","doResume","dropLast$slambda","dropLast$slambda$lambda","$index","$item","$items","insertAt$slambda","insertAt$slambda$lambda","itemWiseEquals$lambda","assertItemsAreNotNull$lambda","it","merge$slambda$lambda","$comparator","merge$slambda$lambda$lambda","$iterables","merge$slambda","indexed$lambda","<get-stringRepresentation>","NumberTypeTester$<get-stringRepresentation>$lambda","NumberTypeTester$<get-stringRepresentation>$lambda$lambda","<get-isInteger>","toInteger","toDecimal","numberIsInteger","number","numberToInteger","numberToDecimal","some","none","<get-value>","<get-isPresent>","toString","hashCode","equals","<get-isAbsent>","setTags","tags","synchronizedOnSelf","action","source","hasNext","next","result","<get-isLazy>","map","mapper","<get-isValid>","<get-isInvalid>","regenerate","invalidate","ConjunctionCursor$next$delegate$lambda","ConjunctionCursor$next$delegate$lambda$lambda","first","second","<get-isOver>","<get-next>","<get-current>","<get-hasNext>","next$factory","get","receiver","<get-index>","<get-wrapped>","LazyCursor$wrapped$delegate$lambda","LazyCursor$wrapped$delegate$lambda$lambda","delegate","wrapped$factory","MapperCursor$current$delegate$lambda","MapperCursor$current$delegate$lambda$lambda","wrapped","current$factory","NonLastCursor$next$delegate$lambda","$source","NonLastCursor$next$delegate$lambda$lambda","removeLeastRecent","removeLeastRecentIfNecessary","SimpleLRUCache$set$lambda","$key","$value","SimpleLRUCache$set$lambda$lambda","evicted","SimpleLRUCache$get$lambda","SimpleLRUCache$get$lambda$lambda","SimpleLRUCache$toSequence$lambda$lambda","SimpleLRUCache$toSequence$lambda","SimpleLRUCache$toString$lambda","message","set","toSequence","current","dequeOf","takeFirst","addFirst","synchronizedOn","obj","forceCast"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA6CIA,CACIC,G,EACAC,cAFJF,EAII;A,QAAMG,MAAU,QAAI,GAAJ,C;;IACZ,wB;YAAoB,G,CAAI,I;;;mBCIM,gB;;;MDFF,QAAI,GAAJ,EA0BgqB,MA1BhqB,C;YC8C7B,M;;ID5CF,U;EAAD,C;;;kBE5BJC,CAAgBC,QAAhBD,EAAqD;A;IAC1C,IAAI,SAAJ,C;;;;sBDoFJ,SA9FuC,SA8FvC,C;YCnFU,SAAS,SAAT,C;;YAEA,yB;;IAHb,U;EAKJ,C;;iBCpBAE,CAAAA,EAA0B;A,IAAS,mBAAT,IAAS,cAAT,IAAS,c;EAAD,C;;;;;uBCiBlCC,CAAAA,EAAgC;A;IAAuB,OCd4B,mC;EDc7B,C;uBAGtDC,CAAAA,EAAgC;A;IAAuB,OEZ4B,qC;EFY7B,C;;qBGzB7CC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;qBAE1BC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;;;oBCJ1BC,CAAcC,KAAdD,EAAyC;A,IAC9C,OAAO,YAAQ,KAAM,KAArB,I;EACJ,C;;;;;;;;sBCFSA,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;;;;;;;;iBCGAE,CAAqBC,IAArBD,EAAyC;A,cAAA,aAAK,IAAL,C;IAAgB,+CAAhB,GAAgB,c;EAAD,C;sBAMxDE,CAAgBD,IAAhBC,EAAyC;A;;iBCHpB,S;IDGgC,OCgQL,aAAnB,MAAmB,SAAnB,MAAmB,mBAnQnC,IAmQmC,C;EDhQI,C;;;;;;;;;;;;;;;;oBVkDpDC,CAAAA,EAAA;A,EAAA,C;mCASIC,CAAqBC,QAArBD,EAAuD;A,IAAwB,OAAxB,mBAAe,QAAf,C;EAAuB,C;;;;;;;sBEtElFD,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWC,SAAXD,EAA0C;A,IACtC,OAAO,eAAW,SAAX,C;EACX,C;;;;;;;;;sBE0BJH,CAAAA,EAAA;A,EAAA,C;qCAGIG,CAAWE,QAAXF,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;6CAIAA,CAAWG,QAAXH,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;wCAIAI,CAAAA,EAA+B;A,IAC3B,gC;EACJ,C;;;;;oCAnBHP,CAJD,MAICA,EAAA;A;EAAA,C;kDAAoCK,CAAAA,EAE/B;A;IAAU,OAL2B,oB;EAK5B,C;sCAERL,CALP,MAKOA,EAAA;A;EAAA,C;oDACcK,CAAAA,EAA8B;A;IACjD,OANyC,oB;EAM1C,C;;;iBQpBLG,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA2C;A,IAA0B,OAAV,SAAX,cAAL,aAAK,CAAW,C;EAAS,C;eAb3DE,CAAQD,a,EAAmBb,KAA3Bc,EACL;A,IAIC,OAHG,KAAM,QAAW,sBAAkB,aAAlB,EAA8B,UAAN,KAAM,CAA9B,CAAX,GACN,qBAAW,aAAX,4B;EAEJ,C;mBAEJC,CAAQF,aAARE,EAAgD;A,IAAuB,OAAR,wBAAG,aAAH,C;EAAO,C;;;sBJLlEX,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGiB;A,IACb,OAAO,mBAAe,KAAf,EAAsB,KAAtB,C;EACX,C;;;;;;;mBKsSRW,CAAQL,aAARK,EACI;A,IAQC,OARD,SAAS,uCAAT,C;EAQA,C;2BA1FJC,CAAyBC,QAAzBD,EAAqD;A,QACjDE,OAAW,E;QACXC,IAAQ,QAAS,I;WACV,CAAE,I,EAAW;A,gBACT,SAAK,IAAL,C;UAAe,qBAAF,CAAE,I;UAAF,iBAAE,kBAAQ,2BAAR,kBAAQ,C;MAA9B,OAAO,OAAa,yBAAwB,CAAxB,iBAAb,CAAP,I;IACJ,C;IACA,OAAO,I;EACX,C;mBA2DAC,CAAQV,a,EACJG,K,EACAQ,I,EACAC,KAHJF,EAKI;A,IAQC,OARD,SAAS,2DAAT,C;EAQA,C;6BAtEJJ,CAAyBT,QAAzBS,EAAqD;A,IACjD,OAAO,iBAA0B,WAAT,QAAS,CAA1B,C;EACX,C;yBA9BAO,CACIC,S,EACAC,S,EACAC,UAHJH,EAIW;A,IACP,OAAO,iBAAyB,WAAV,SAAU,CAAzB,EAAiD,WAAV,SAAU,CAAjD,EAA+D,UAA/D,C;EACX,C;iBAsCAI,CAAQjB,aAARiB,EAA0C;A,IACtC,OAAY,SAAL,aAAK,CAAS,a;EACzB,C;mBANAC,CAAQlB,aAARkB,EAA4C;A,IACxC,OAAqB,WAAT,OAAL,aAAK,CAAS,C;EACzB,C;2BAnEAL,CACIM,S,EACAC,S,EACAJ,UAHJH,EAIW;A,QACPJ,IAAQ,SAAU,I;QAClBY,IAAQ,SAAU,I;WACX,CAAE,OAAa,CAAE,IAAf,GAAe,K,EAAW;A,UAC/BC,IAAQ,CAAE,I;UACVC,IAAQ,CAAE,I;MACV,IAAI,CAAC,WAAW,CAAX,EAAc,CAAd,CAAL,C,CAAuB;A,QACnB,OAAO,K;MACX,C;IACJ,C;IACA,OAAO,CAAE,IAAF,KAAe,CAAE,I;EAC5B,C;6BAyBAjB,CAAyBM,KAAzBN,EAA+C;A,IAC3C,OAAO,iBAAuB,aAAN,KAAM,CAAvB,C;EACX,C;2BAzBAO,CACIM,S,EACAC,SAFJP,EAII;A,IAEC,OAFD,iBAAe,SAAf,EAA0B,SAA1B,EAAqC,qBAArC,C;EAEA,C;yBAjJJW,CACIC,S,EACAT,UAFJQ,EAGe;A,0CACa,U;;;sBCw8CX,wBAAa,wBAt8CL,SAs8CK,EAAwB,EAAxB,CAAb,C;QAuEA,gBA7gDQ,SA6gDR,I;WAAA,iB,EAAb;A,UAAKb,OAAQ,iB;;sBD/gD2C,WA2Rw/2C,IA3Rx/2C,C;MCghDpD,WAAY,GAAI,SAAJ,C;IAAmB,C;IDhhDnC,OAAO,WCihDA,WDjhDA,C;EACX,C;gCAyRAe,CAAQ1B,aAAR0B,EAA4D;A,IAAiD,OAAZ,WAAxB,wBAAb,yBAAa,CAAwB,C;EAAW,C;kCAR5GA,CAAQ1B,aAAR0B,EACI;A,cAAA,sB;IAKC,OALS,SAAI,4BAAJ,C;EAKV,C;kCAhBJA,CAAQ1B,aAAR0B,EAAkD;A,QACvB,4B;QAAA,S;WAAvB,Y,EAAA;A,UAAMvB,UAAiB,K;MAAA,qB;UAAVC,QAAU,Y;MACnB,IAAI,SAAS,IAAb,C,CAAmB;A,QACf,MAAM,uCAA0B,gBAA1B,GAAyC,OAAzC,GAA8C,UAA9C,C;MACV,C;;IAGJ,mBAAO,aAAP,UAAO,aAAP,c;EACJ,C;gBA9UAuB,CACIX,U,EACAS,SAFJE,EAGe;A,IACX,OAAO,SAAS,4CAAT,C;EAiBX,C;kBAkGAC,CAAQ5B,aAAR4B,EACI;A,cAA+B,WAA3B,aAAS,CAAT,8BAAgB,SAAhB,CAA2B,C;IAE9B,OAFD,wBAA6C,cAA7C,C;EAEA,C;kCA5DarC,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;iDAAAsC,CAxDsBP,C,EAClCC,CAuDYM,E;;G;uDAxDsBP,C,EAClCC,C;;;4BA0SG,c;;;;0CACKO,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CA/TR,E,EAAAE,W;;;0CAwTaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,YAAQ,a;;;;iBACC,KAAF,IAAE,I;;;;;YACL,YAAgB,KAAF,IAAE,I;YACV,SAAF,IAAE,K;;8BACF,kBAAM,IAAN,O;;;;;;;;;;;;;;;;;YAGZ,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EA/LZ,U;;;;;6BA+LYC,CADL,c,oBACKA,E;;qBAAAC,CAAAJ,c,EAAAC,WAAAG,E;;K;;;G;4BAhBL,c,EACJC,M,EACAC,K,EACAC,M;;;;;;;0CAESR,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CApTR,E,EAAAE,W;;;0CA6SaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACU,YAAY,WAAZ,oBAAY,CAAZ,I;;;;iBAAA,a;;;;;YAAA,yB;YAAT,iBAAS,IAAT,K;YAAG,iBAAM,IAAN,K;YACD,uBAAK,IAAL,C;;8BACA,kBAAM,IAAN,O;;;;;;;;;;;;4BACA,aAAe,kBAAN,IAAM,CAAf,O;;;;;;;;;;;4BAEJ,kBAAM,IAAN,O;;;;;;;;;;YAER,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EApLZ,U;;;;;6BAoLYM,CALL,c,EACJH,M,EACAC,K,EACAC,M,oBAESC,E;;qBAAAC,CAAAT,c,EAAAC,WAAAQ,E;;K;;;G;gCA9F4BC,CAAEnB,C,EAAGC,CAALkB,EAAA;A,IACjC,iBAAK,CAAL,C;EACJ,C;uCAsIcC,CAAAC,EAAAD,EAAA;A,QACJtC,QAAY,EAAG,K;;IACjB,kB;MAAQ,MAAM,uCAA0B,gBAA1B,GAA0C,EAAG,KAA7C,GAAmD,UAAnD,C;;YACN,K;;IAFZ,U;EAIJ,C;oCA7UgBb,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAsC,CAHmBP,C,EAClCC,CAEeM,E;;G;yDAHmBP,C,EAClCC,C;;;+BAF6CqB,CAAAD,EAAAC,EAAA;A,IAAK,cAAH,EAAG,C;EAAS,C;iCAAYA,CAAAD,EAAAC,EAAA;A,IAAK,OAAH,EAAG,K;EAAO,C;iCAG9CA,CAAAD,EAAAC,EAAA;A,IAAY,qBAAV,EAAG,KAAO,C;EAAG,C;iCAC1BA,CAR3BC,WAQ2BD,E;oBAAAE,CAAExB,C,EAAGC,CAALuB,EAAA;A,MAAqB,OAAX,WAAW,SAAQ,CAAE,KAAV,EAAiB,CAAE,KAAnB,C;IAA0B,C;G;yBAP1EC,U,EADAF,W;;;;;uCAGgBf,CAAAC,c,EAAAC,WAAAF,EACZ;A;;;;EAcA,C;wCAzBR,E,EAAAE,W;;;uCAUoBC,CAAAA,EAAA;A;;MAAA,I;;;;;;wBACa,gBAAV,IAAU,C;wBAAa,WAAI,oBAAJ,C;YAAtC,aAAkF,cAAxB,iBAAU,sBAAV,CAAwB,C;;;;iBAoVd,CAAC,KAnV9D,IAmV8D,I;;;;;;wBAjVpD,gBAAT,IAAS,C;wBAAkC,QAArB,WAAI,sBAAJ,CAAqB,C;gBAC5B,yC;YACd,2BAFoD,qBACtC,oCADsC,CAEpD,C;YAHA,iBAGA,IAHA,K;YAAU,iBAGV,IAHU,K;;4BAIf,kBAAM,IAAN,O;;;;;;;qBACA,kBAAS,IAAT,CAAmB,K;YACf,IAAI,EAAG,KAAP,C,CAAe;A,cACF,KAAT,IAAS,SAAS,IAAT,C;YACb,C,MAAO;A,cACH,iBAAS,IAAT,EAAqB,EAArB,C;YACJ,C;;;;;;;YAGZ,oB;;;;;;;;;;;;EAAA,C;wCAhBgB,c,EA+GnB,U;;;;;0BA/GmBe,CAFhBD,U,EADAF,W,oBAGgBG,E;;qBAAAJ,CAAAb,c,EAAAC,WAAAY,E;;K;;;G;yBAoH6BK,CAAEN,E,EAAIlC,CAANwC,EAAA;A,IAC9B,+BAAG,CAAH,EAAM,EAAN,C;EACf,C;sBJrHA1D,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGkB;A,IACd,OAAO,oBAAgB,KAAhB,EAAuB,KAAvB,C;EACX,C;;;;;;;sBMXJH,CAAAA,EAAA;A;cACqC,I;;IAAA,WCOG,oBAZ0D,QAY1D,C;EDRxC,C;;;;;;;4CAYI2D,CADQlD,a,OACRkD,EAAQ;A,IAAyC,OAAzC,KAAY,CAAZ,IAAY,IAAS,aAAT,EAAe,wEAAf,C;EAA4B,C;oEAAbC,CAD3B,0BAC2BA,E;oBAAAC,CAAAA,EAAA;A,MAAE,2C;IAAW,C;G;2BAbxD7D,CAAAA,EAAA;A,IAAA,yB;IAKwD,kCAAU,CAAV,C;EALxD,C;0CAQQ8D,CADArD,aACAqD,EAAM;A,IACF,OAAiB,0BAAV,IAAU,IAAQ,sDAAR,C;EACrB,C;0CAKJC,CAAItD,aAAJsD,EAAmC;A,IAC/B,OAAkB,8BAAG,sDAAH,C;EACtB,C;0CAEAC,CAAIvD,aAAJuD,EAAmC;A,IAC/B,OAAkB,gCAAG,sDAAH,C;EACtB,C;0CAEAC,CAAoBC,MAApBD,EAA+C;A,IAAgB,OAAT,QAAP,MAAO,C;EAAQ,C;0CAE9DE,CAAoBD,MAApBC,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;0CAEnEC,CAAoBF,MAApBE,EAAkD;A,IAAkB,OAAX,QAAP,MAAO,C;EAAU,C;sBE7BnEpE,CAAAA,EAAA;A,EAAA,C;qCACIqE,CAAaxD,KAAbwD,EAAsC;A,IAAW,OAAX,SAAK,KAAL,C;EAAU,C;qCAEhDlE,CAAWU,KAAXV,EACI;A;IAAA,IAAI,SAAS,IAAb,C;YACI,S;;YAEA,QAAK,KAAL,C;;IACH,U;EAAD,C;qCAEJmE,CAAAA,EAAkC;A,IAAI,yB;EAAD,C;;;;;eAGpCtE,CAAca,KAAdb,EAAL;A,IAA4C,mB;IAAzB,iB;EAAnB,C;8BAA4BuE,CAAAA,EAAA;A,IAAA,gB;EAAW,C;8BAE/BC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAYNC,CAAAA,EAAyB;A,IAAc,OAAb,OAAa,GAAP,IAAO,CAAP,IAAO,GAAF,G;EAAC,C;oCA9BvDC,CAAAA,EAAA;A,IAAA,kD;EAAA,C;kCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,6B;MAAA,Y;QAAA,kE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;eAiCI3E,CAAAA,EAAA;A;IAAc,mB;EAAd,C;8BAEQuE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;8BAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;oCAQPC,CAAAA,EAAyB;A,IAAK,OAAJ,M;EAAI,C;;;;;;;mBA5CxCzE,CAAAA,EAAP;A,EAAA,C;kCAoDQ4E,CAAAA,EAAQ;A,IAAU,OAAV,CAAC,S;EAAQ,C;;;kBCxBzBC,CAAsCpE,a,EAAUqE,IAAhDD,EAA2E;A,cAAA,wBAAY,IAAZ,C;IAAsB,oCAAtB,GAAsB,c;EAAD,C;6BCnBhGE,CAAiBtE,a,EAAqBuE,MAAtCD,EAA4D;A,IAA4B,OAA5B,eAAe,aAAf,EAAqB,MAArB,C;EAA2B,C;sBCqBnF/E,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAW8E,MAAX9E,EACI;A;IAAA,IAAI,MAAO,IAAX,C;YACI,eAAW,MAAX,C;;;;IAGH,U;EAAD,C;;;;;oCAzBJH,CADJ,MACIA,EAAA;A,IACyC,kB;EADzC,C;kDAGakF,CAAAA,EAAyB;A,IAAe,OAAf,CAAC,IAAQ,CAAR,IAAQ,K;EAAK,C;kDAEvCC,CAAAA,EAAc;A,QACnBC,SAAa,IAAQ,CAAR,IAAQ,K;IACrB,YAAU,IAAQ,CAAR,IAAQ,K;IAClB,OAAa,cAAN,MAAM,C;EACjB,C;yBAlBMpF,CAAAA,EAAlB;A,EAAA,C;8CACayE,CAAAA,EACL;A,IAIC,OAHG,IAAK,QAAW,IAAX,GACL,CAAC,IAAK,KAAN,GAAkB,GAAlB,GAAoB,SAApB,GAA2B,GAA3B,GACS,GADT,GACW,SADX,GACkB,Q;EACtB,C;uCAEKpE,CAAAA,EACL;A,IAUC,OAVD,mC;EAUA,C;;;;wCAKAgF,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;wCAEPC,CAAYC,MAAZD,EAAuD;A,IAA0B,OAA1B,iBAAa,IAAb,EAAmB,MAAnB,C;EAAyB,C;0CAhBjDC,M;;;qBCTvCvF,CAAoBI,SAApBJ,EAAL;A,IAAyB,qB;IAC0B,qC;EADnD,C;oCAIQwF,CAAAA,EAAQ;A,IAAgB,OAAhB,IAAO,CAAP,IAAO,K;EAAQ,C;oCAGvBC,CAAAA,EAAQ;A,IAAe,OAAf,IAAO,CAAP,IAAO,K;EAAO,C;oCAGtBlB,CAAAA,EAAM;A,IACF,S;IACA,OAAmB,cAAZ,IAAO,CAAP,IAAO,KAAK,C;EACvB,C;oCAEKmB,CAAAA,EAAiB;A,IACtB,IAAI,SAAJ,C,CAAe;A,MACX,YAAkB,wBAAK,WAAL,C;IACtB,C;EACJ,C;oCAESC,CAAAA,EAAiB;A,IACtB,YAAkB,yB;EACtB,C;0CA5BJlB,CAAAA,EAAA;A,IAAA,gD;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;iDCWqDiB,CAPrD,MAOqDA,E;oBAAAC,CAAAA,EAAA;A,MAC7C,OACI,MAAM,CAAN,IAAM,QAAW,sBAAkB,MAAM,CAAN,IAAM,KAAxB,EAA8B,MAA9B,CAA8B,IAA9B,CAAX,GACN,MAAO,CAAP,IAAO,QAAU,MAAO,CAAP,IAAO,KAAjB,GACC,MADD,CACC,I;IAEhB,C;G;4BAbK7F,CACL8F,K,EACAC,MAFK/F,EAAT;A,IAGI,yB;IAFA,iB;IACA,kB;cAK4C,I;IAAA,gBAAK,4CAAL,C;EAPhD,C;2CAKQgG,CAAAA,EAAQ;A,IAA6B,OAA7B,IAAM,CAAN,IAAM,QAAU,IAAO,CAAP,IAAO,KAAjB,GAAiB,K;EAAK,C;2CAECC,CAAAA,EAAG;A;iBCEhD,I,CAAA,I;IAAA,c;IDFgD,OCgC4C,W;ED1BxF,C;2CAGIC,CAAAA,EAAQ;A,IAAoD,OAAhD,IAAM,CAAN,IAAM,KAAV,GAAmB,IAAM,CAAN,IAAM,KAAzB,GAAsC,IAAO,CAAP,IAAO,K;EAAM,C;2CAG3DC,CAAAA,EAAQ;A,IAA+B,OAA/B,IAAM,CAAN,IAAM,eAAW,IAAO,CAAP,IAAO,K;EAAM,C;+CAEjCxB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;iDAESD,CAAAA,EAAoB;A,QACzBU,SAAmB,SAAN,IAAM,CAAN,IAAM,C;IACnB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;uBA9ByCgB,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgCs8BC,QAhCt8BD,E;;K,EAAA,I;G;sBET7CrG,CAAAA,EAAA;A;IAA8B,yB;EAA9B,C;qCAEQiG,CAAAA,EAAQ;A,IAAA,MAAM,sC;EAAuB,C;qCAGrCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;qCAGZH,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAENvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;qCAExDa,CAAYC,MAAZD,EAA6D;A,IAAI,OAAJ,I;EAAG,C;uCAFVC,M;;;sCAI0PA,M;;;;;;;;;yBCf/SvF,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;wCACauG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;wCACbhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;wCANxB9E,CAAAA,EAAA;A,IAAA,gB;EAAA,C;wCAAAC,CAAAA,EAAA;A,IAAA,gB;EAAA,C;8CAAA+E,CAAAA,EAAA;A,IAAA,yE;EAAA,C;8CAAAC,CAAAA,EAAA;A,QAAAU,kB;IAAA,6E;IAAA,a;EAAA,C;4CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;QAAA,4E;IAAA,+C;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;wCAYk+B/E,K;;;8BCTv7B4G,C,KAAAA,EAAG;A;iBHD+B,K,CAAA,I;IAAA,iB;IGC/B,OHwC8C,W;EGtCxF,C;6CAF+CC,CADnD,MACmDA,E;oBAAAC,CAAAA,EAAA;A,MAC3C,yBAAc,MAAd,CAAc,IAAd,C;IACJ,C;G;qBAHU1G,CAAoB2G,QAApB3G,EAAd;A,IAA+D,yB;IAA7B,oB;cACY,I;IAAA,gBAAK,wCAAL,C;EAD9C,C;oCAMQqF,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXY,CAAAA,EAAQ;A,IAAY,OAAZ,yBAAQ,K;EAAG,C;oCAGnBC,CAAAA,EAAQ;A,IAAe,OAAf,yBAAQ,K;EAAM,C;oCAGtBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;mCAExDpE,CAAAA,EAA8B;A,IAAkB,OAAlB,yBAAQ,I;EAAS,C;;;;0CAxB5DqE,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;0BAG2CiC,CAAAA,E;kCAAA,S,KAAA,U,WAAAP,CAuBy8CC,QAvBz8CD,E;;K,EAAA,I;G;0BCC7BrG,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;yCACauG,CAAAA,EAAA;A,IAAA,gB;EAAc,C;yCACdhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;yCAEX5E,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;yCAM22BC,K;;;+CAhB/2B6E,CAAAA,EAAA;A,IAAA,qF;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAU,6B;IAAA,6E;IAAA,a;EAAA,C;6CAAAT,CAAA/E,KAAA+E,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,iD;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;+CCSoCkC,CAPpC,MAOoCA,E;oBAAAC,CAAAA,EAAA;A,MAAE,mBAAsB,cAAf,MAAQ,CAAR,IAAQ,KAAO,CAAtB,C;IAA0B,C;G;uBAPvD9G,CACL+G,O,EACAxB,MAFKvF,EAAT;A,IAGI,yB;IAFA,mB;IACA,kB;cAK2B,I;IAAA,gBAAK,0CAAL,C;EAP/B,C;sCAKQiG,CAAAA,EAAQ;A,IAAwB,OAAxB,IAAQ,CAAR,IAAQ,KAAK,IAAI,IAAJ,CAAI,IAAJ,C;EAAU,C;sCAEXC,CAAAA,EAAG;A;iBLA/B,I,CAAA,I;IAAA,iB;IKA+B,OLkC6D,W;EKlC5B,C;sCAGxDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;sCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPrB,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAW,KAAX,CAAiB,IAAjB,CAAJ,C;MAA8B,OAAO,K;IACrC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;4CAESD,CAAAA,EAAoB;A,QACzBU,SAAqB,SAAR,IAAQ,CAAR,IAAQ,C;IACrB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;sCAESE,CAAYC,MAAZD,EAAuD;A,IAA8C,OAA9C,gBAAY,OAAO,SAAP,CAAZ,EAA6B,SAAK,IAAI,MAAJ,CAAlC,C;EAA6C,C;wCApB9GC,M;;;uCAeoBA,M;;;0BArBKyB,CAAAA,E;kCAAA,S,KAAA,U,WAAAX,CA4BqlCC,QA5BrlCD,E;;K,EAAA,I;G;6CCJyBY,CAHrBC,O,EAAhC,MAGqDD,E;oBAAAE,CAAAA,EAAA;A;mB5BAvB,wBAAG,OAAH,C;;;M4BCW,cAAc,I;MAArB,O5B4FvB,M;I4B3FP,C;G;wBALKnH,CAAuBiF,MAAvBjF,EAAT;A,IAAuD,yB;IAChB,kB;cAES,I;IAAA,gBAAK,gDAAL,C;IAIX,YAAP,MAAO,I;EAPrC,C;uCAG6CiG,CAAAA,EAAG;A;iBNF9C,I,CAAA,I;IAAA,gB;IME8C,ONsC4C,W;EMpCxF,C;uCAESC,CAAAA,EAAA;A,IAAA,gB;EAA6B,C;uCAGlCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;uCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;6CAEPvB,CAAAA,EAAuB;A,IAC5B,OAA6B,sCAAtB,IAAsB,C;EACjC,C;yBAdyC2B,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgB6jDC,QAhB7jDD,E;;K,EAAA,I;G;4BCmBjCe,C,KAAAA,EAAkD;A;oBCHtB,KAgjB7B,CAhjB6B,IAgjB7B,K;QD5iBmC,uBAAb,SAAa,C;;QAAjCnI,MnBLkB,cAgSqC,K;;QmB3RlD4B,QnBLa,cA6SqC,K;ImBvS5D,KAAM,CAAN,IAAM,IAAO,GAAP,C;IACN,OAAgB,wBAAK,QAAO,KAAP,CAAL,C;EACpB,C;uCAEQwG,C,KAAAA,EAA6D;A;IAC1D,IAAI,KAAM,CAAN,IAAM,IAAN,IAAc,KAAd,CAAc,IAAlB,C;YACH,wB;;YAES,yB;;IAHb,U;EAKJ,C;oCAlBuBC,CAJvB,M,EACIC,I,EACAC,MAEmBF,E;oBAAAG,CAAAA,EAAA;A,UACfC,UAAc,oC;mBACd,M,CAAA,I;gBAAM,I;kBAAO,M;MA8Ds6N,UAAI,GAAJ,EAAS,KAAT,C;MA7Dn7N,c;IACJ,C;G;oCAiBmBC,CADvB,M,EAAiBJ,IACMI,E;oBAAAC,CAAAA,EAAA;A;MACf,IAAI,MAAM,CAAN,IAAM,IAAY,IAAZ,CAAV,C;cACa,wBAAG,eAAM,IAAN,CAAH,C;;cAEA,yB;;MAHb,U;IAKJ,C;G;kDA2BmCC,CAAAzE,EAAAyE,EAAA;A;IAAK,OnB+PgB,SAlRT,EAkRc,KAAL,EAlRT,EAkRmB,KAAV,C;EmB/PP,C;2CAD9BC,CADvB,MACuBA,E;oBAAAD,CAAAA,EAAA;A,gBACD,WAAd,MAAM,CAAN,IAAM,KAAQ,C;MAAiC,gBAApB,SAAI,uCAAJ,CAAoB,C;IACnD,C;G;yCAG0CE,CAAA3E,EAAA2E,EAAA;A,IAAE,YAAG,EAAH,CAAM,IAAN,GAAY,KAAZ,GAAiB,EAAjB,CAAoB,I;EAAS,C;yBArExE/H,CAA2BE,QAA3BF,EAAT;A,IAAoC,oB;;;;;IE4BhC,IAAI,EAzBD,YAAW,CAyBV,CAAJ,C,CAAY;A;UACRgI,UAdc,qB;MAed,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;IF1BoB,yC;EALxB,C;wCAOaC,CACLhJ,G,EACA4B,KAFKoH,EAIL;A,IAIC,OAJD,yBAAmB,2CAAnB,C;EAIA,C;wCAgBK5B,CAAQpH,GAARoH,EACL;A,IAMC,OAND,yBAAmB,oCAAnB,C;EAMA,C;4CAOK1B,CAAW/E,KAAX+E,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,gBAAY,KAAZ,CAAkB,IAAlB,CAAJ,C;MAAgC,OAAO,K;IACvC,IAAI,kBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IAEjC,OAAO,I;EACX,C;8CAESD,CAAAA,EAAoB;A,QACzBU,SAAa,IAAbA,CAAa,I;IACb,SAAS,SAAK,MAAL,IAAc,IAAM,CAAN,IAAM,WAA7B,I;IACA,OAAO,M;EACX,C;wCAES8C,CAAAA,EACL;A,IAEC,OAFD,yBAAmB,sCAAnB,C;EAEA,C;8CAEKzD,CAAAA,EAAuB;A,cACH,S;IAAzB,OAAQ,iBAAR,GAA2E,aAArC,SAAI,8BAAJ,CAAqC,EAAc,IAAd,CAA3E,GAA8F,G;EAClG,C;sBG3EKzE,CACLmI,O,EACAhD,IAFKnF,EAAT;A,IAGI,yB;IAFA,mB;IACA,gB;EAFJ,C;qCACakG,CAAAA,EAAA;A,IAAA,gB;EAAa,C;qCACbD,CAAAA,EAAA;A,IAAA,gB;EAA8B,C;qCAGnCE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;kBCEboC,CAAgB/G,KAAhB+G,EAAoD;A,IACvD,OAAa,cAAN,KAAM,C;EACjB,C;oBAZOA,CAAgB/G,KAAhB+G,EAAiD;A,IACpD,OAAO,cAAe,KAAD,QAAd,C;EACX,C;oBAEOA,CAAgB/G,KAAhB+G,EAAoD;A;;iBCgGH,2B;;;ID9F7C,OA6Bi1E,MA7Bj1E,EAAO,KAAP,C;IADP,OjC2FO,M;EiCxFX,C;oBAqBOC,CAAQ5H,aAAR4H,EAAuC;A,IAC1C,IAAI,iBAAJ,C;MAAe,OAAO,I;QACtBvC,QAAY,iBAAI,CAAJ,C;IACZ,aAAK,IAAS,CAAT,C;IACL,OAAO,K;EACX,C;mBApBOwC,CAAQ7H,a,EAAwBW,IAAhCkH,EAAyC;A,IAC5C,aAAK,IAAI,CAAJ,EAAO,IAAP,C;EACT,C;qBAEOA,CAAQ7H,a,EAAwBY,KAAhCiH,EAAoD;A,QACvDpH,IAAQ,kB;QACK,yB;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;MACT,CAAE,IAAI,IAAJ,C;IACN,C;EACJ,C;yBEvBOmH,CACHC,G,EACAxD,MAFGuD,EAGA;A,IAAQ,OAAR,Q;EAAO,C;oBCFPE,CAAQhI,aAARgI,EAA4B;A,QAC/BrF,KACkB,a;IAClB,OAAO,E;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cache.kt","src/kotlin/util/Standard.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cached.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Castable.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Cursor.kt","src/kotlin/collections/Iterables.kt","src/kotlin/collections/Sequences.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Indexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IntIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/LongIndexed.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggable.kt","src/kotlin/collections/Maps.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/CursorExtensions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/IterUtils.kt","common/src/generated/_Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Optional.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/Taggables.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/ThreadSafety.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/AbstractCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/CachedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ConjunctionCursor.kt","src/kotlin/util/Lazy.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/EmptyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/IntIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LazyCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/LongIndexedImpl.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/MapperCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/NonLastCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/SimpleLRUCache.kt","common/src/generated/_Maps.kt","src/kotlin/util/Preconditions.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/commonMain/kotlin/it/unibo/tuprolog/utils/impl/ValueCursor.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/Deque.kt","src/kotlin/collections/Collections.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/ThreadSafetyJs.kt","../../../../../../../../../2p-kt/2p-kt/utils/src/jsMain/kotlin/it/unibo/tuprolog/utils/TypeUtilsJs.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":["getOrSet","key","valueGenerator","got","ifValid","consumer","castTo","asIterable","asSequence","component1","component2","compareTo","other","getTag","name","containsTag","<init>","simpleLru","capacity","of","generator","iterator","sequence","empty","cursor","<this>","plus","toCursor","index","value","dropLast","itemWiseHashCode","iterable","hash","i","insertAt","item","items","itemWiseEquals","sequence1","sequence2","comparator","cached","buffered","iterable1","iterable2","j","a","b","mergeSequences","iterables","merge","indexed","compare","invoke","$this$sequence","$completion","doResume","dropLast$slambda","dropLast$slambda$lambda","$index","$item","$items","insertAt$slambda","insertAt$slambda$lambda","itemWiseEquals$lambda","merge$slambda$lambda","it","$comparator","merge$slambda$lambda$lambda","$iterables","merge$slambda","indexed$lambda","some","none","<get-value>","<get-isPresent>","toString","hashCode","equals","<get-isAbsent>","setTags","tags","synchronizedOnSelf","action","source","hasNext","next","result","<get-isLazy>","map","mapper","<get-isValid>","<get-isInvalid>","regenerate","invalidate","ConjunctionCursor$next$delegate$lambda","ConjunctionCursor$next$delegate$lambda$lambda","first","second","<get-isOver>","<get-next>","<get-current>","<get-hasNext>","next$factory","get","receiver","<get-index>","<get-wrapped>","LazyCursor$wrapped$delegate$lambda","LazyCursor$wrapped$delegate$lambda$lambda","delegate","wrapped$factory","MapperCursor$current$delegate$lambda","MapperCursor$current$delegate$lambda$lambda","wrapped","current$factory","NonLastCursor$next$delegate$lambda","$source","NonLastCursor$next$delegate$lambda$lambda","removeLeastRecent","removeLeastRecentIfNecessary","SimpleLRUCache$set$lambda","$key","$value","SimpleLRUCache$set$lambda$lambda","evicted","SimpleLRUCache$get$lambda","SimpleLRUCache$get$lambda$lambda","SimpleLRUCache$toSequence$lambda$lambda","SimpleLRUCache$toSequence$lambda","SimpleLRUCache$toString$lambda","message","set","toSequence","current","dequeOf","takeFirst","addFirst","synchronizedOn","obj","forceCast"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBA6CIA,CACIC,G,EACAC,cAFJF,EAII;A,QAAMG,MAAU,QAAI,GAAJ,C;;IACZ,wB;YAAoB,G,CAAI,I;;;mBCIM,gB;;;MDFF,QAAI,GAAJ,EA0BgqB,MA1BhqB,C;YC8C7B,M;;ID5CF,U;EAAD,C;;;kBE5BJC,CAAgBC,QAAhBD,EAAqD;A;IAC1C,IAAI,SAAJ,C;;;;sBDoFJ,SA9FuC,SA8FvC,C;YCnFU,SAAS,SAAT,C;;YAEA,yB;;IAHb,U;EAKJ,C;;iBCpBAE,CAAAA,EAA0B;A,IAAS,mBAAT,IAAS,cAAT,IAAS,c;EAAD,C;;;;;uBCiBlCC,CAAAA,EAAgC;A;IAAuB,OCd4B,mC;EDc7B,C;uBAGtDC,CAAAA,EAAgC;A;IAAuB,OEZ4B,qC;EFY7B,C;;qBGzB7CC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;qBAE1BC,CAAAA,EAAsB;A,IAAK,OAAL,S;EAAI,C;;;oBCJ1BC,CAAcC,KAAdD,EAAyC;A,IAC9C,OAAO,YAAQ,KAAM,KAArB,I;EACJ,C;;;;;;;;sBCFSA,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;;;;;;iBCGAE,CAAqBC,IAArBD,EAAyC;A,cAAA,aAAK,IAAL,C;IAAgB,+CAAhB,GAAgB,c;EAAD,C;sBAMxDE,CAAgBD,IAAhBC,EAAyC;A;;iBCHpB,S;IDGgC,OCgQL,aAAnB,MAAmB,SAAnB,MAAmB,mBAnQnC,IAmQmC,C;EDhQI,C;;;;;;;;;;;;;;;;oBVkDpDC,CAAAA,EAAA;A,EAAA,C;mCASIC,CAAqBC,QAArBD,EAAuD;A,IAAwB,OAAxB,mBAAe,QAAf,C;EAAuB,C;;;;;;;sBEtElFD,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWC,SAAXD,EAA0C;A,IACtC,OAAO,eAAW,SAAX,C;EACX,C;;;;;;;;;sBE0BJH,CAAAA,EAAA;A,EAAA,C;qCAGIG,CAAWE,QAAXF,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;6CAIAA,CAAWG,QAAXH,EAAiD;A,IAC7C,OAAgB,SAAT,QAAS,C;EACpB,C;wCAIAI,CAAAA,EAA+B;A,IAC3B,gC;EACJ,C;;;;;oCAnBHP,CAJD,MAICA,EAAA;A;EAAA,C;kDAAoCK,CAAAA,EAE/B;A;IAAU,OAL2B,oB;EAK5B,C;sCAERL,CALP,MAKOA,EAAA;A;EAAA,C;oDACcK,CAAAA,EAA8B;A;IACjD,OANyC,oB;EAM1C,C;;;iBQpBLG,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA8C;A,IAA0B,OAAV,SAAhB,aAAK,IAAW,C;EAAS,C;mBAEvEA,CAAQC,aAARD,EAA2C;A,IAA0B,OAAV,SAAX,cAAL,aAAK,CAAW,C;EAAS,C;eAb3DE,CAAQD,a,EAAmBb,KAA3Bc,EACL;A,IAIC,OAHG,KAAM,QAAW,sBAAkB,aAAlB,EAA8B,UAAN,KAAM,CAA9B,CAAX,GACN,qBAAW,aAAX,4B;EAEJ,C;mBAEJC,CAAQF,aAARE,EAAgD;A,IAAuB,OAAR,wBAAG,aAAH,C;EAAO,C;;;sBJLlEX,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGiB;A,IACb,OAAO,mBAAe,KAAf,EAAsB,KAAtB,C;EACX,C;;;;;;;mBKsSRW,CAAQL,aAARK,EACI;A,IAQC,OARD,SAAS,uCAAT,C;EAQA,C;2BA1FJC,CAAyBC,QAAzBD,EAAqD;A,QACjDE,OAAW,E;QACXC,IAAQ,QAAS,I;WACV,CAAE,I,EAAW;A,gBACT,SAAK,IAAL,C;UAAe,qBAAF,CAAE,I;UAAF,iBAAE,kBAAQ,2BAAR,kBAAQ,C;MAA9B,OAAO,OAAa,yBAAwB,CAAxB,iBAAb,CAAP,I;IACJ,C;IACA,OAAO,I;EACX,C;mBA2DAC,CAAQV,a,EACJG,K,EACAQ,I,EACAC,KAHJF,EAKI;A,IAQC,OARD,SAAS,2DAAT,C;EAQA,C;6BAtEJJ,CAAyBT,QAAzBS,EAAqD;A,IACjD,OAAO,iBAA0B,WAAT,QAAS,CAA1B,C;EACX,C;yBA9BAO,CACIC,S,EACAC,S,EACAC,UAHJH,EAIW;A,IACP,OAAO,iBAAyB,WAAV,SAAU,CAAzB,EAAiD,WAAV,SAAU,CAAjD,EAA+D,UAA/D,C;EACX,C;iBAsCAI,CAAQjB,aAARiB,EAA0C;A,IACtC,OAAY,SAAL,aAAK,CAAS,a;EACzB,C;mBANAC,CAAQlB,aAARkB,EAA4C;A,IACxC,OAAqB,WAAT,OAAL,aAAK,CAAS,C;EACzB,C;2BAnEAL,CACIM,S,EACAC,S,EACAJ,UAHJH,EAIW;A,QACPJ,IAAQ,SAAU,I;QAClBY,IAAQ,SAAU,I;WACX,CAAE,OAAa,CAAE,IAAf,GAAe,K,EAAW;A,UAC/BC,IAAQ,CAAE,I;UACVC,IAAQ,CAAE,I;MACV,IAAI,CAAC,WAAW,CAAX,EAAc,CAAd,CAAL,C,CAAuB;A,QACnB,OAAO,K;MACX,C;IACJ,C;IACA,OAAO,CAAE,IAAF,KAAe,CAAE,I;EAC5B,C;6BAyBAjB,CAAyBM,KAAzBN,EAA+C;A,IAC3C,OAAO,iBAAuB,aAAN,KAAM,CAAvB,C;EACX,C;2BAzBAO,CACIM,S,EACAC,SAFJP,EAII;A,IAEC,OAFD,iBAAe,SAAf,EAA0B,SAA1B,EAAqC,qBAArC,C;EAEA,C;yBAjJJW,CACIC,S,EACAT,UAFJQ,EAGe;A,0CACa,U;;;sBCw8CX,wBAAa,wBAt8CL,SAs8CK,EAAwB,EAAxB,CAAb,C;QAuEA,gBA7gDQ,SA6gDR,I;WAAA,iB,EAAb;A,UAAKb,OAAQ,iB;;sBD/gD2C,WA2Rw/2C,IA3Rx/2C,C;MCghDpD,WAAY,GAAI,SAAJ,C;IAAmB,C;IDhhDnC,OAAO,WCihDA,WDjhDA,C;EACX,C;gBA/DAe,CACIV,U,EACAS,SAFJC,EAGe;A,IACX,OAAO,SAAS,4CAAT,C;EAiBX,C;kBAkGAC,CAAQ3B,aAAR2B,EACI;A,cAA+B,WAA3B,aAAS,CAAT,8BAAgB,SAAhB,CAA2B,C;IAE9B,OAFD,wBAA6C,cAA7C,C;EAEA,C;kCA5DapC,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;iDAAAqC,CAxDsBN,C,EAClCC,CAuDYK,E;;G;uDAxDsBN,C,EAClCC,C;;;4BA0SG,c;;;;0CACKM,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CA/TR,E,EAAAE,W;;;0CAwTaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,YAAQ,a;;;;iBACC,KAAF,IAAE,I;;;;;YACL,YAAgB,KAAF,IAAE,I;YACV,SAAF,IAAE,K;;8BACF,kBAAM,IAAN,O;;;;;;;;;;;;;;;;;YAGZ,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EA/LZ,U;;;;;6BA+LYC,CADL,c,oBACKA,E;;qBAAAC,CAAAJ,c,EAAAC,WAAAG,E;;K;;;G;4BAhBL,c,EACJC,M,EACAC,K,EACAC,M;;;;;;;0CAESR,CAAAC,c,EAAAC,WAAAF,EACL;A;;;;EAMA,C;2CApTR,E,EAAAE,W;;;0CA6SaC,CAAAA,EAAA;A;;MAAA,I;;;;;YACU,YAAY,WAAZ,oBAAY,CAAZ,I;;;;iBAAA,a;;;;;YAAA,yB;YAAT,iBAAS,IAAT,K;YAAG,iBAAM,IAAN,K;YACD,uBAAK,IAAL,C;;8BACA,kBAAM,IAAN,O;;;;;;;;;;;;4BACA,aAAe,kBAAN,IAAM,CAAf,O;;;;;;;;;;;4BAEJ,kBAAM,IAAN,O;;;;;;;;;;YAER,oB;;;;;;;;;;;;;;EAAA,C;2CARS,c,EApLZ,U;;;;;6BAoLYM,CALL,c,EACJH,M,EACAC,K,EACAC,M,oBAESC,E;;qBAAAC,CAAAT,c,EAAAC,WAAAQ,E;;K;;;G;gCA9F4BC,CAAElB,C,EAAGC,CAALiB,EAAA;A,IACjC,iBAAK,CAAL,C;EACJ,C;oCAlMgBjD,C,UAAAA,EAAA;A,IAAA,sB;EAAA,C;mDAAAqC,CAHmBN,C,EAClCC,CAEeK,E;;G;yDAHmBN,C,EAClCC,C;;;+BAF6CkB,CAAAC,EAAAD,EAAA;A,IAAK,cAAH,EAAG,C;EAAS,C;iCAAYA,CAAAC,EAAAD,EAAA;A,IAAK,OAAH,EAAG,K;EAAO,C;iCAG9CA,CAAAC,EAAAD,EAAA;A,IAAY,qBAAV,EAAG,KAAO,C;EAAG,C;iCAC1BA,CAR3BE,WAQ2BF,E;oBAAAG,CAAEtB,C,EAAGC,CAALqB,EAAA;A,MAAqB,OAAX,WAAW,SAAQ,CAAE,KAAV,EAAiB,CAAE,KAAnB,C;IAA0B,C;G;yBAP1EC,U,EADAF,W;;;;;uCAGgBd,CAAAC,c,EAAAC,WAAAF,EACZ;A;;;;EAcA,C;wCAzBR,E,EAAAE,W;;;uCAUoBC,CAAAA,EAAA;A;;MAAA,I;;;;;;wBACa,gBAAV,IAAU,C;wBAAa,WAAI,oBAAJ,C;YAAtC,aAAkF,cAAxB,iBAAU,sBAAV,CAAwB,C;;;;iBAoVd,CAAC,KAnV9D,IAmV8D,I;;;;;;wBAjVpD,gBAAT,IAAS,C;wBAAkC,QAArB,WAAI,sBAAJ,CAAqB,C;gBAC5B,yC;YACd,2BAFoD,qBACtC,oCADsC,CAEpD,C;YAHA,iBAGA,IAHA,K;YAAU,iBAGV,IAHU,K;;4BAIf,kBAAM,IAAN,O;;;;;;;qBACA,kBAAS,IAAT,CAAmB,K;YACf,IAAI,EAAG,KAAP,C,CAAe;A,cACF,KAAT,IAAS,SAAS,IAAT,C;YACb,C,MAAO;A,cACH,kBAAS,IAAT,EAAqB,EAArB,C;YACJ,C;;;;;;;YAGZ,oB;;;;;;;;;;;;EAAA,C;wCAhBgB,c,EA+GnB,U;;;;;0BA/GmBc,CAFhBD,U,EADAF,W,oBAGgBG,E;;qBAAAL,CAAAX,c,EAAAC,WAAAU,E;;K;;;G;yBAoH6BM,CAAEL,E,EAAIjC,CAANsC,EAAA;A,IAC9B,+BAAG,CAAH,EAAM,EAAN,C;EACf,C;sBJrHAxD,CAAAA,EAAA;A,EAAA,C;qCACIG,CACIS,K,EACAC,KAFJV,EAGkB;A,IACd,OAAO,oBAAgB,KAAhB,EAAuB,KAAvB,C;EACX,C;;;;;;;sBMdJH,CAAAA,EAAA;A,EAAA,C;qCACIyD,CAAa5C,KAAb4C,EAAsC;A,IAAW,OAAX,SAAK,KAAL,C;EAAU,C;qCAEhDtD,CAAWU,KAAXV,EACI;A;IAAA,IAAI,SAAS,IAAb,C;YACI,S;;YAEA,QAAK,KAAL,C;;IACH,U;EAAD,C;qCAEJuD,CAAAA,EAAkC;A,IAAI,yB;EAAD,C;;;;;eAGpC1D,CAAca,KAAdb,EAAL;A,IAA4C,mB;IAAzB,iB;EAAnB,C;8BAA4B2D,CAAAA,EAAA;A,IAAA,gB;EAAW,C;8BAE/BC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAYNC,CAAAA,EAAyB;A,IAAc,OAAb,OAAa,GAAP,IAAO,CAAP,IAAO,GAAF,G;EAAC,C;oCA9BvDC,CAAAA,EAAA;A,IAAA,kD;EAAA,C;kCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,6B;MAAA,Y;QAAA,kE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;eAiCI/D,CAAAA,EAAA;A;IAAc,mB;EAAd,C;8BAEQ2D,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;8BAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;oCAQPC,CAAAA,EAAyB;A,IAAK,OAAJ,M;EAAI,C;;;;;;;mBA5CxC7D,CAAAA,EAAP;A,EAAA,C;kCAoDQgE,CAAAA,EAAQ;A,IAAU,OAAV,CAAC,S;EAAQ,C;;;kBCxBzBC,CAAsCxD,a,EAAUyD,IAAhDD,EAA2E;A,cAAA,wBAAY,IAAZ,C;IAAsB,oCAAtB,GAAsB,c;EAAD,C;6BCnBhGE,CAAiB1D,a,EAAqB2D,MAAtCD,EAA4D;A,IAA4B,OAA5B,eAAe,aAAf,EAAqB,MAArB,C;EAA2B,C;sBCqBnFnE,CAAAA,EAAA;A,EAAA,C;qCACIG,CAAWkE,MAAXlE,EACI;A;IAAA,IAAI,MAAO,IAAX,C;YACI,eAAW,MAAX,C;;;;IAGH,U;EAAD,C;;;;;oCAzBJH,CADJ,MACIA,EAAA;A,IACyC,kB;EADzC,C;kDAGasE,CAAAA,EAAyB;A,IAAe,OAAf,CAAC,IAAQ,CAAR,IAAQ,K;EAAK,C;kDAEvCC,CAAAA,EAAc;A,QACnBC,SAAa,IAAQ,CAAR,IAAQ,K;IACrB,YAAU,IAAQ,CAAR,IAAQ,K;IAClB,OAAa,cAAN,MAAM,C;EACjB,C;yBAlBMxE,CAAAA,EAAlB;A,EAAA,C;8CACa6D,CAAAA,EACL;A,IAIC,OAHG,IAAK,QAAW,IAAX,GACL,CAAC,IAAK,KAAN,GAAkB,GAAlB,GAAoB,SAApB,GAA2B,GAA3B,GACS,GADT,GACW,SADX,GACkB,Q;EACtB,C;uCAEKxD,CAAAA,EACL;A,IAUC,OAVD,mC;EAUA,C;;;;wCAKAoE,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;wCAEPC,CAAYC,MAAZD,EAAuD;A,IAA0B,OAA1B,iBAAa,IAAb,EAAmB,MAAnB,C;EAAyB,C;0CAhBjDC,M;;;qBCTvC3E,CAAoBI,SAApBJ,EAAL;A,IAAyB,qB;IAC0B,qC;EADnD,C;oCAIQ4E,CAAAA,EAAQ;A,IAAgB,OAAhB,IAAO,CAAP,IAAO,K;EAAQ,C;oCAGvBC,CAAAA,EAAQ;A,IAAe,OAAf,IAAO,CAAP,IAAO,K;EAAO,C;oCAGtBlB,CAAAA,EAAM;A,IACF,S;IACA,OAAmB,cAAZ,IAAO,CAAP,IAAO,KAAK,C;EACvB,C;oCAEKmB,CAAAA,EAAiB;A,IACtB,IAAI,SAAJ,C,CAAe;A,MACX,YAAkB,wBAAK,WAAL,C;IACtB,C;EACJ,C;oCAESC,CAAAA,EAAiB;A,IACtB,YAAkB,yB;EACtB,C;0CA5BJlB,CAAAA,EAAA;A,IAAA,gD;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;iDCWqDiB,CAPrD,MAOqDA,E;oBAAAC,CAAAA,EAAA;A,MAC7C,OACI,MAAM,CAAN,IAAM,QAAW,sBAAkB,MAAM,CAAN,IAAM,KAAxB,EAA8B,MAA9B,CAA8B,IAA9B,CAAX,GACN,MAAO,CAAP,IAAO,QAAU,MAAO,CAAP,IAAO,KAAjB,GACC,MADD,CACC,I;IAEhB,C;G;4BAbKjF,CACLkF,K,EACAC,MAFKnF,EAAT;A,IAGI,yB;IAFA,iB;IACA,kB;cAK4C,I;IAAA,gBAAK,4CAAL,C;EAPhD,C;2CAKQoF,CAAAA,EAAQ;A,IAA6B,OAA7B,IAAM,CAAN,IAAM,QAAU,IAAO,CAAP,IAAO,KAAjB,GAAiB,K;EAAK,C;2CAECC,CAAAA,EAAG;A;iBCEhD,I,CAAA,I;IAAA,c;IDFgD,OCgC4C,W;ED1BxF,C;2CAGIC,CAAAA,EAAQ;A,IAAoD,OAAhD,IAAM,CAAN,IAAM,KAAV,GAAmB,IAAM,CAAN,IAAM,KAAzB,GAAsC,IAAO,CAAP,IAAO,K;EAAM,C;2CAG3DC,CAAAA,EAAQ;A,IAA+B,OAA/B,IAAM,CAAN,IAAM,eAAW,IAAO,CAAP,IAAO,K;EAAM,C;+CAEjCxB,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;iDAESD,CAAAA,EAAoB;A,QACzBU,SAAmB,SAAN,IAAM,CAAN,IAAM,C;IACnB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;uBA9ByCgB,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgCs8BC,QAhCt8BD,E;;K,EAAA,I;G;sBET7CzF,CAAAA,EAAA;A;IAA8B,yB;EAA9B,C;qCAEQqF,CAAAA,EAAQ;A,IAAA,MAAM,sC;EAAuB,C;qCAGrCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXC,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;qCAGZH,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;2CAENvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;qCAExDa,CAAYC,MAAZD,EAA6D;A,IAAI,OAAJ,I;EAAG,C;uCAFVC,M;;;sCAI0PA,M;;;;;;;;;yBCf/S3E,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;wCACa2F,CAAAA,EAAA;A,IAAA,gB;EAAa,C;wCACbhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;wCANxBlE,CAAAA,EAAA;A,IAAA,gB;EAAA,C;wCAAAC,CAAAA,EAAA;A,IAAA,gB;EAAA,C;8CAAAmE,CAAAA,EAAA;A,IAAA,yE;EAAA,C;8CAAAC,CAAAA,EAAA;A,QAAAU,kB;IAAA,6E;IAAA,a;EAAA,C;4CAAAT,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,uC;MAAA,Y;QAAA,4E;IAAA,+C;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;yCAYk+BnE,K;;;8BCTv7BgG,C,KAAAA,EAAG;A;iBHD+B,K,CAAA,I;IAAA,iB;IGC/B,OHwC8C,W;EGtCxF,C;6CAF+CC,CADnD,MACmDA,E;oBAAAC,CAAAA,EAAA;A,MAC3C,yBAAc,MAAd,CAAc,IAAd,C;IACJ,C;G;qBAHU9F,CAAoB+F,QAApB/F,EAAd;A,IAA+D,yB;IAA7B,oB;cACY,I;IAAA,gBAAK,wCAAL,C;EAD9C,C;oCAMQyE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXY,CAAAA,EAAQ;A,IAAY,OAAZ,yBAAQ,K;EAAG,C;oCAGnBC,CAAAA,EAAQ;A,IAAe,OAAf,yBAAQ,K;EAAM,C;oCAGtBC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;oCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPvB,CAAAA,EAAyB;A,IAAgC,OAAV,sCAAtB,IAAsB,C;EAAS,C;mCAExDxD,CAAAA,EAA8B;A,IAAkB,OAAlB,yBAAQ,I;EAAS,C;;;;0CAxB5DyD,CAAAA,EAAA;A,IAAA,0B;EAAA,C;wCAAAC,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,mC;MAAA,Y;QAAA,wE;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;0BAG2CiC,CAAAA,E;kCAAA,S,KAAA,U,WAAAP,CAuBy8CC,QAvBz8CD,E;;K,EAAA,I;G;0BCC7BzF,CACVY,K,EACAC,KAFUb,EAAd;A,IACI,iB;IACA,iB;EAFJ,C;yCACa2F,CAAAA,EAAA;A,IAAA,gB;EAAc,C;yCACdhC,CAAAA,EAAA;A,IAAA,gB;EAAW,C;yCAEXhE,CAAcC,KAAdD,EAA0C;A,IAC/C,OAAQ,aAAQ,KAAM,KAAd,CAAqB,K;EACjC,C;0CAM22BC,K;;;+CAhB/2BiE,CAAAA,EAAA;A,IAAA,qF;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAU,6B;IAAA,6E;IAAA,a;EAAA,C;6CAAAT,CAAAnE,KAAAmE,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,iD;MAAA,Y;IAAA,kD;MAAA,Y;IAAA,W;EAAA,C;+CCSoCkC,CAPpC,MAOoCA,E;oBAAAC,CAAAA,EAAA;A,MAAE,mBAAsB,cAAf,MAAQ,CAAR,IAAQ,KAAO,CAAtB,C;IAA0B,C;G;uBAPvDlG,CACLmG,O,EACAxB,MAFK3E,EAAT;A,IAGI,yB;IAFA,mB;IACA,kB;cAK2B,I;IAAA,gBAAK,0CAAL,C;EAP/B,C;sCAKQqF,CAAAA,EAAQ;A,IAAwB,OAAxB,IAAQ,CAAR,IAAQ,KAAK,IAAI,IAAJ,CAAI,IAAJ,C;EAAU,C;sCAEXC,CAAAA,EAAG;A;iBLA/B,I,CAAA,I;IAAA,iB;IKA+B,OLkC6D,W;EKlC5B,C;sCAGxDC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;sCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;0CAEPrB,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,mBAAW,KAAX,CAAiB,IAAjB,CAAJ,C;MAA8B,OAAO,K;IACrC,IAAI,mBAAU,KAAV,CAAgB,IAAhB,CAAJ,C;MAA4B,OAAO,K;IAEnC,OAAO,I;EACX,C;4CAESD,CAAAA,EAAoB;A,QACzBU,SAAqB,SAAR,IAAQ,CAAR,IAAQ,C;IACrB,SAAS,SAAK,MAAL,IAAqB,SAAP,IAAO,CAAP,IAAO,CAA9B,I;IACA,OAAO,M;EACX,C;sCAESE,CAAYC,MAAZD,EAAuD;A,IAA8C,OAA9C,gBAAY,OAAO,SAAP,CAAZ,EAA6B,SAAK,IAAI,MAAJ,CAAlC,C;EAA6C,C;wCApB9GC,M;;;uCAeoBA,M;;;0BArBKyB,CAAAA,E;kCAAA,S,KAAA,U,WAAAX,CA4BqlCC,QA5BrlCD,E;;K,EAAA,I;G;6CCJyBY,CAHrBC,O,EAAhC,MAGqDD,E;oBAAAE,CAAAA,EAAA;A;mB1BAvB,wBAAG,OAAH,C;;;M0BCW,cAAc,I;MAArB,O1B4FvB,M;I0B3FP,C;G;wBALKvG,CAAuBqE,MAAvBrE,EAAT;A,IAAuD,yB;IAChB,kB;cAES,I;IAAA,gBAAK,gDAAL,C;IAIX,YAAP,MAAO,I;EAPrC,C;uCAG6CqF,CAAAA,EAAG;A;iBNF9C,I,CAAA,I;IAAA,gB;IME8C,ONsC4C,W;EMpCxF,C;uCAESC,CAAAA,EAAA;A,IAAA,gB;EAA6B,C;uCAGlCC,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;uCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;6CAEPvB,CAAAA,EAAuB;A,IAC5B,OAA6B,sCAAtB,IAAsB,C;EACjC,C;yBAdyC2B,CAAAA,E;kCAAA,M,KAAA,U,WAAAC,CAgB6jDC,QAhB7jDD,E;;K,EAAA,I;G;4BCmBjCe,C,KAAAA,EAAkD;A;oBCHtB,KAgjB7B,CAhjB6B,IAgjB7B,K;QD5iBmC,uBAAb,SAAa,C;;QAAjCvH,MjBLkB,cAgSqC,K;;QiB3RlD4B,QjBLa,cA6SqC,K;IiBvS5D,KAAM,CAAN,IAAM,IAAO,GAAP,C;IACN,OAAgB,wBAAK,QAAO,KAAP,CAAL,C;EACpB,C;uCAEQ4F,C,KAAAA,EAA6D;A;IAC1D,IAAI,KAAM,CAAN,IAAM,IAAN,IAAc,KAAd,CAAc,IAAlB,C;YACH,wB;;YAES,yB;;IAHb,U;EAKJ,C;oCAlBuBC,CAJvB,M,EACIC,I,EACAC,MAEmBF,E;oBAAAG,CAAAA,EAAA;A,UACfC,UAAc,oC;mBACd,M,CAAA,I;gBAAM,I;kBAAO,M;MA8Ds6N,UAAI,GAAJ,EAAS,KAAT,C;MA7Dn7N,c;IACJ,C;G;oCAiBmBC,CADvB,M,EAAiBJ,IACMI,E;oBAAAC,CAAAA,EAAA;A;MACf,IAAI,MAAM,CAAN,IAAM,IAAY,IAAZ,CAAV,C;cACa,wBAAG,eAAM,IAAN,CAAH,C;;cAEA,yB;;MAHb,U;IAKJ,C;G;kDA2BmCC,CAAA9D,EAAA8D,EAAA;A;IAAK,OjB+PgB,SAlRT,EAkRc,KAAL,EAlRT,EAkRmB,KAAV,C;EiB/PP,C;2CAD9BC,CADvB,MACuBA,E;oBAAAD,CAAAA,EAAA;A,gBACD,WAAd,MAAM,CAAN,IAAM,KAAQ,C;MAAiC,gBAApB,SAAI,uCAAJ,CAAoB,C;IACnD,C;G;yCAG0CE,CAAAhE,EAAAgE,EAAA;A,IAAE,YAAG,EAAH,CAAM,IAAN,GAAY,KAAZ,GAAiB,EAAjB,CAAoB,I;EAAS,C;yBArExEnH,CAA2BE,QAA3BF,EAAT;A,IAAoC,oB;;;;;IE4BhC,IAAI,EAzBD,YAAW,CAyBV,CAAJ,C,CAAY;A;UACRoH,UAdc,qB;MAed,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;IF1BoB,yC;EALxB,C;wCAOaC,CACLpI,G,EACA4B,KAFKwG,EAIL;A,IAIC,OAJD,yBAAmB,2CAAnB,C;EAIA,C;wCAgBK5B,CAAQxG,GAARwG,EACL;A,IAMC,OAND,yBAAmB,oCAAnB,C;EAMA,C;4CAOK1B,CAAWnE,KAAXmE,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,gBAAY,KAAZ,CAAkB,IAAlB,CAAJ,C;MAAgC,OAAO,K;IACvC,IAAI,kBAAS,KAAT,CAAe,IAAf,CAAJ,C;MAA0B,OAAO,K;IAEjC,OAAO,I;EACX,C;8CAESD,CAAAA,EAAoB;A,QACzBU,SAAa,IAAbA,CAAa,I;IACb,SAAS,SAAK,MAAL,IAAc,IAAM,CAAN,IAAM,WAA7B,I;IACA,OAAO,M;EACX,C;wCAES8C,CAAAA,EACL;A,IAEC,OAFD,yBAAmB,sCAAnB,C;EAEA,C;8CAEKzD,CAAAA,EAAuB;A,cACH,S;IAAzB,OAAQ,iBAAR,GAA2E,aAArC,SAAI,8BAAJ,CAAqC,EAAc,IAAd,CAA3E,GAA8F,G;EAClG,C;sBG3EK7D,CACLuH,O,EACAhD,IAFKvE,EAAT;A,IAGI,yB;IAFA,mB;IACA,gB;EAFJ,C;qCACasF,CAAAA,EAAA;A,IAAA,gB;EAAa,C;qCACbD,CAAAA,EAAA;A,IAAA,gB;EAA8B,C;qCAGnCE,CAAAA,EAAQ;A,IAAI,OAAJ,I;EAAG,C;qCAGXH,CAAAA,EAAQ;A,IAAK,OAAL,K;EAAI,C;kBCEboC,CAAgBnG,KAAhBmG,EAAoD;A,IACvD,OAAa,cAAN,KAAM,C;EACjB,C;oBAZOA,CAAgBnG,KAAhBmG,EAAiD;A,IACpD,OAAO,cAAe,KAAD,QAAd,C;EACX,C;oBAEOA,CAAgBnG,KAAhBmG,EAAoD;A;;iBCgGH,2B;;;ID9F7C,OA6Bi1E,MA7Bj1E,EAAO,KAAP,C;IADP,O/B2FO,M;E+BxFX,C;oBAqBOC,CAAQhH,aAARgH,EAAuC;A,IAC1C,IAAI,iBAAJ,C;MAAe,OAAO,I;QACtBvC,QAAY,iBAAI,CAAJ,C;IACZ,aAAK,IAAS,CAAT,C;IACL,OAAO,K;EACX,C;mBApBOwC,CAAQjH,a,EAAwBW,IAAhCsG,EAAyC;A,IAC5C,aAAK,IAAI,CAAJ,EAAO,IAAP,C;EACT,C;qBAEOA,CAAQjH,a,EAAwBY,KAAhCqG,EAAoD;A,QACvDxG,IAAQ,kB;QACK,yB;WAAA,iB,EAAb;A,UAAKE,OAAQ,iB;MACT,CAAE,IAAI,IAAJ,C;IACN,C;EACJ,C;yBEvBOuG,CACHC,G,EACAxD,MAFGuD,EAGA;A,IAAQ,OAAR,Q;EAAO,C;oBCFPE,CAAQpH,aAARoH,EAA4B;A,QAC/B1E,KACkB,a;IAClB,OAAO,E;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
package/README.md
CHANGED
|
@@ -1,120 +1,131 @@
|
|
|
1
1
|
# Arg2P
|
|
2
2
|
|
|
3
|
-
|
|
3
|
+
Arg2P is a lightweight implementation of the ASPIC<sup>+</sup> framework for structured argumentation.
|
|
4
|
+
Built on top of the [tuProlog](http://pika-lab.gitlab.io/tuprolog/2p-kt/) engine, it supports both JVM and Node environments.
|
|
4
5
|
|
|
5
|
-
|
|
6
|
-
- [GitHub Repository](https://github.com/tuProlog/arg2p-kt)
|
|
7
|
-
- [Maven Repository](https://search.maven.org/search?q=g:it.unibo.tuprolog.argumentation)
|
|
8
|
-
- [NPM Package](https://www.npmjs.com/package/@tuprolog/arg2p-core)
|
|
9
|
-
- [Documentation](https://pika-lab.gitlab.io/argumentation/arg2p-kt)
|
|
6
|
+
More details are available on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/).
|
|
10
7
|
|
|
8
|
+
---
|
|
11
9
|
|
|
12
|
-
|
|
13
|
-
It is built on the top of the [tuProlog](http://pika-lab.gitlab.io/tuprolog/2p-in-kotlin/) engine.
|
|
10
|
+
## Getting Started
|
|
14
11
|
|
|
15
|
-
|
|
12
|
+
Arg2p is available as a [2P-Kt](http://pika-lab.gitlab.io/tuprolog/2p-kt/) library.
|
|
16
13
|
|
|
17
|
-
|
|
14
|
+
#### JVM Library - Gradle
|
|
18
15
|
|
|
19
|
-
|
|
16
|
+
To import the Arg2p module (version `ARG2P_VERSION`) into your Kotlin-based Gradle project, declare the dependency in your `build.gradle(.kts)` file:
|
|
17
|
+
```kotlin
|
|
18
|
+
repositories {
|
|
19
|
+
mavenCentral()
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
dependencies {
|
|
23
|
+
implementation("it.unibo.tuprolog.argumentation:arg2p-jvm:ARG2P_VERSION")
|
|
24
|
+
}
|
|
25
|
+
```
|
|
26
|
+
|
|
27
|
+
#### Usage Example
|
|
20
28
|
|
|
21
|
-
|
|
29
|
+
```kotlin
|
|
30
|
+
import it.unibo.tuprolog.argumentation.core.Arg2pSolverFactory
|
|
31
|
+
import it.unibo.tuprolog.argumentation.core.libs.basic.FlagsBuilder
|
|
32
|
+
|
|
33
|
+
fun main() {
|
|
34
|
+
val graph = Arg2pSolverFactory.evaluate("""
|
|
35
|
+
f1 :=> d.
|
|
36
|
+
f2 :=> -d.
|
|
37
|
+
""".trimIndent(), FlagsBuilder()).first()
|
|
38
|
+
|
|
39
|
+
graph.labellings.forEach {
|
|
40
|
+
println("${it.label} : ${it.argument.conclusion}")
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
```
|
|
22
44
|
|
|
23
|
-
|
|
24
|
-
GitHub repository](https://github.com/tuProlog/arg2p-kt/releases).
|
|
45
|
+
For a complete example, check out the [GitHub demo](https://github.com/Gilbocc/arg2p-kt-demo).
|
|
25
46
|
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
47
|
+
#### NPM Library
|
|
48
|
+
|
|
49
|
+
The Arg2P software is available on NPM as a JavaScript library as well. It can be found under the [`@tuprolog` organization](https://www.npmjs.com/org/tuprolog).
|
|
50
|
+
To use the library, add the dependency to your `package.json`:
|
|
51
|
+
|
|
52
|
+
```json
|
|
53
|
+
{
|
|
54
|
+
"dependencies": {
|
|
55
|
+
"@tuprolog/arg2p": "ARG2P_VERSION"
|
|
56
|
+
}
|
|
57
|
+
}
|
|
30
58
|
```
|
|
31
|
-
is the self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`VERSION` may vary depending on the
|
|
32
|
-
actual release version).
|
|
33
59
|
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
60
|
+
#### Usage Example
|
|
61
|
+
|
|
62
|
+
```js
|
|
63
|
+
const arg2p = require('@tuprolog/arg2p').it.unibo.tuprolog.argumentation.bridge.JsBridge
|
|
64
|
+
|
|
65
|
+
const graph = arg2p.solve('buildLabelSets', `
|
|
66
|
+
f1 :=> d.
|
|
67
|
+
f2 :=> -d.`, `
|
|
68
|
+
graphBuildMode(standard_af).
|
|
69
|
+
statementLabellingMode(statement).
|
|
70
|
+
argumentLabellingMode(grounded_hash).
|
|
71
|
+
orderingPrinciple(last).
|
|
72
|
+
orderingComparator(elitist).
|
|
73
|
+
graphExtension(standardPref).
|
|
74
|
+
queryMode.`, _ => { }).i.next().graph
|
|
75
|
+
|
|
76
|
+
graph.arguments.forEach(arg => {
|
|
77
|
+
console.log(`${arg.label} : ${arg.descriptor}`)
|
|
78
|
+
})
|
|
37
79
|
```
|
|
38
|
-
However, if you have properly configured the JVM on your system, it may be sufficient to just double-click on the JAR to start the IDE.
|
|
39
80
|
|
|
40
|
-
|
|
41
|
-
loaded from the user's file system by pressing <kbd>File</kbd> and then <kbd>Open...</kbd>.
|
|
81
|
+
For a complete example, see the [repository](https://github.com/tuProlog/arg2p-kt-web).
|
|
42
82
|
|
|
43
|
-
|
|
44
|
-
By either pressing <kbd>Enter</kbd> while the cursor is on the query text field, or by clicking on the <kbd>></kbd> button, the user can start a new resolution process, aimed at solving the provided query.
|
|
45
|
-
Further solutions can be explored by clicking on the <kbd>></kbd> over and over again.
|
|
46
|
-
One may also compute all the unexplored solutions at once by clicking on the <kbd>>></kbd> button.
|
|
83
|
+
---
|
|
47
84
|
|
|
48
|
-
|
|
49
|
-
- write the new query in the query text field, and then press <kbd>Enter</kbd>, or
|
|
50
|
-
- click on the <kbd>X</kbd> (Stop) button, write the new query in the query text field, and then press <kbd>></kbd>.
|
|
85
|
+
## Arg2p IDE
|
|
51
86
|
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
- the _Graph_ tab, containing the graphical representation of the abstract argumentation graph (available only if leveraging the abstract query mode -- `buildLabelSet` predicate);
|
|
55
|
-
- the _Arg Flag_ tab, allowing the user to see/modify the values of the Arg2p flags. A comprehensive description of these values can be found on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/wiki/predicate).
|
|
87
|
+
The Arg2p IDE is available on the [Releases section of the
|
|
88
|
+
GitHub repository](https://github.com/tuProlog/arg2p-kt/releases/latest).
|
|
56
89
|
|
|
57
|
-
|
|
90
|
+

|
|
58
91
|
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
```
|
|
92
|
+
In the [latest release](https://github.com/tuProlog/arg2p-kt/releases/latest) page, download the _Asset_ named:
|
|
93
|
+
```
|
|
94
|
+
arg2p-ide-ARG2P_VERSION-redist.jar
|
|
95
|
+
```
|
|
96
|
+
a self-contained, executable Jar containing the 2P-Kt-based Prolog interpreter (`ARG2P_VERSION` will vary depending on the
|
|
97
|
+
actual release version).
|
|
66
98
|
|
|
67
|
-
|
|
68
|
-
```
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
72
|
-
```
|
|
99
|
+
After you download the `arg2p-ide-ARG2P_VERSION-redist.jar`, you can simply launch it by running:
|
|
100
|
+
```bash
|
|
101
|
+
java -jar arg2p-ide-ARG2P_VERSION-redist.jar
|
|
102
|
+
```
|
|
103
|
+
If your JVM is properly configured, you can also start the IDE by double-clicking the JAR file.
|
|
73
104
|
|
|
74
|
-
|
|
105
|
+
### Features
|
|
75
106
|
|
|
76
|
-
|
|
77
|
-
|
|
78
|
-
|
|
79
|
-
implementation("it.unibo.tuprolog.argumentation", "arg2p-jvm", "ARG2P_VERSION")
|
|
80
|
-
}
|
|
81
|
-
```
|
|
107
|
+
- **Query Execution:** Write your query in the text field and hit <kbd>Enter</kbd> or click <kbd>></kbd>.
|
|
108
|
+
- **Solution Exploration:** Click <kbd>></kbd> for the next solution or <kbd>>></kbd> to compute all solutions.
|
|
109
|
+
- **New Query:** Click <kbd>X</kbd> to stop the current query, then enter a new one.
|
|
82
110
|
|
|
83
|
-
|
|
111
|
+
### Additional Tabs
|
|
84
112
|
|
|
85
|
-
|
|
86
|
-
|
|
87
|
-
```xml
|
|
88
|
-
<dependency>
|
|
89
|
-
<groupId>it.unibo.tuprolog.argumentation</groupId>
|
|
90
|
-
<artifactId>arg2p</artifactId>
|
|
91
|
-
<version>ARG2P_VERSION</version>
|
|
92
|
-
</dependency>
|
|
93
|
-
```
|
|
113
|
+
- **Graph Tab:** Displays a graphical representation of the abstract argumentation graph.
|
|
114
|
+
- **Arg Flag Tab:** Shows and allows modification of Arg2P flags. Detailed descriptions are on the [official wiki](https://pika-lab.gitlab.io/argumentation/arg2p-kt/wiki/predicate).
|
|
94
115
|
|
|
95
|
-
|
|
116
|
+
---
|
|
96
117
|
|
|
97
|
-
|
|
98
|
-
```xml
|
|
99
|
-
<dependency>
|
|
100
|
-
<groupId>it.unibo.tuprolog.argumentation</groupId>
|
|
101
|
-
<artifactId>arg2p-jvm</artifactId>
|
|
102
|
-
<version>ARG2P_VERSION</version>
|
|
103
|
-
</dependency>
|
|
104
|
-
```
|
|
118
|
+
## Arg2p Playground
|
|
105
119
|
|
|
106
|
-
|
|
120
|
+
Try Arg2P directly in your browser using the [Web Playground](https://legalmachinelab.unibo.it/arg2p).
|
|
107
121
|
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
113
|
-
"@tuprolog/arg2p-core": "^ARG2P_MODULE_VERSION"
|
|
114
|
-
}
|
|
115
|
-
}
|
|
116
|
-
```
|
|
122
|
+

|
|
123
|
+
|
|
124
|
+
It functions the same as the Java IDE, offering an interactive experience without installation.
|
|
125
|
+
|
|
126
|
+
---
|
|
117
127
|
|
|
118
|
-
|
|
128
|
+
## Issue tracking
|
|
119
129
|
|
|
120
|
-
If you
|
|
130
|
+
If you encounter any issues, please report them on the [GitHub Issues](https://github.com/tuProlog/arg2p-kt/issues) page.
|
|
131
|
+
Your feedback helps improve the project!
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
(function (root, factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kt-math.js', './2p-solve-classic.js'
|
|
3
|
+
define(['exports', './kt-math.js', './2p-solve-classic.js'], factory);
|
|
4
4
|
else if (typeof exports === 'object')
|
|
5
|
-
factory(module.exports, require('./kt-math.js'), require('./2p-solve-classic.js')
|
|
5
|
+
factory(module.exports, require('./kt-math.js'), require('./2p-solve-classic.js'));
|
|
6
6
|
else {
|
|
7
7
|
if (typeof this['kt-math'] === 'undefined') {
|
|
8
8
|
throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
|
|
@@ -10,19 +10,15 @@
|
|
|
10
10
|
if (typeof this['2p-solve-classic'] === 'undefined') {
|
|
11
11
|
throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
|
|
12
12
|
}
|
|
13
|
-
|
|
14
|
-
throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:causality-solver'.");
|
|
15
|
-
}
|
|
16
|
-
root['it.unibo.tuprolog.argumentation:causality-solver'] = factory(typeof this['it.unibo.tuprolog.argumentation:causality-solver'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:causality-solver'], this['kt-math'], this['2p-solve-classic'], this['arg2p-core']);
|
|
13
|
+
root['it.unibo.tuprolog.argumentation:causality-solver'] = factory(typeof this['it.unibo.tuprolog.argumentation:causality-solver'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:causality-solver'], this['kt-math'], this['2p-solve-classic']);
|
|
17
14
|
}
|
|
18
|
-
}(this, function (_, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic
|
|
15
|
+
}(this, function (_, kotlin_io_github_gciatto_kt_math, kotlin_it_unibo_tuprolog_solve_classic) {
|
|
19
16
|
'use strict';
|
|
20
17
|
//region block: pre-declaration
|
|
21
18
|
//endregion
|
|
22
19
|
//region block: exports
|
|
23
20
|
kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
|
|
24
21
|
kotlin_it_unibo_tuprolog_solve_classic.$jsExportAll$(_);
|
|
25
|
-
kotlin_it_unibo_tuprolog_argumentation_core.$jsExportAll$(_);
|
|
26
22
|
//endregion
|
|
27
23
|
return _;
|
|
28
24
|
}));
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;"}
|