@tuprolog/arg2p 0.16.8 → 0.17.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-dsl-core.js +157 -157
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +7 -7
- package/2p-dsl-theory.js +6 -6
- package/2p-dsl-unify.js +9 -9
- package/arg2p-causality-solver.js +11 -11
- package/arg2p-core.js +20 -19
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +153 -119
- package/arg2p.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +9 -9
- package/package.json +1 -1
|
@@ -55,7 +55,7 @@
|
|
|
55
55
|
var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
|
|
56
56
|
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
|
|
57
57
|
var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
|
|
58
|
-
var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
58
|
+
var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.m;
|
|
59
59
|
var asSequence = kotlin_kotlin.$_$.p2;
|
|
60
60
|
var flatMap = kotlin_kotlin.$_$.h9;
|
|
61
61
|
var toList = kotlin_kotlin.$_$.fa;
|
|
@@ -63,7 +63,7 @@
|
|
|
63
63
|
var Collection = kotlin_kotlin.$_$.z1;
|
|
64
64
|
var isInterface = kotlin_kotlin.$_$.p7;
|
|
65
65
|
var distinct = kotlin_kotlin.$_$.e3;
|
|
66
|
-
var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
66
|
+
var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
|
|
67
67
|
var toList_0 = kotlin_kotlin.$_$.h5;
|
|
68
68
|
var toString = kotlin_kotlin.$_$.y7;
|
|
69
69
|
var Default_getInstance = kotlin_kotlin.$_$.l;
|
|
@@ -79,13 +79,13 @@
|
|
|
79
79
|
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
|
|
80
80
|
var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
|
|
81
81
|
var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
|
|
82
|
-
var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
83
|
-
var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
84
|
-
var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
85
|
-
var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
82
|
+
var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.l;
|
|
83
|
+
var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
|
|
84
|
+
var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
|
|
85
|
+
var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
|
|
86
86
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.x;
|
|
87
|
-
var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
88
|
-
var Companion_instance_5 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
87
|
+
var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
|
|
88
|
+
var Companion_instance_5 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
|
|
89
89
|
var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
|
|
90
90
|
var replace = kotlin_kotlin.$_$.db;
|
|
91
91
|
var listOf = kotlin_kotlin.$_$.z3;
|
|
@@ -93,9 +93,9 @@
|
|
|
93
93
|
var mapCapacity = kotlin_kotlin.$_$.a4;
|
|
94
94
|
var coerceAtLeast = kotlin_kotlin.$_$.j8;
|
|
95
95
|
var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.w;
|
|
96
|
-
var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
97
|
-
var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
98
|
-
var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.
|
|
96
|
+
var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
|
|
97
|
+
var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
|
|
98
|
+
var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
|
|
99
99
|
//endregion
|
|
100
100
|
//region block: pre-declaration
|
|
101
101
|
initMetadataForClass(CausalityCheckCauseButFor, 'CausalityCheckCauseButFor', VOID, VOID, [Helpable]);
|
package/arg2p-core.js
CHANGED
|
@@ -83,15 +83,15 @@
|
|
|
83
83
|
var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
|
|
84
84
|
var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
|
|
85
85
|
var solverOf = kotlin_it_unibo_tuprolog_dsl_solve.$_$.b;
|
|
86
|
-
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
87
|
-
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
88
|
-
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
89
|
-
var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
|
|
90
|
-
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
91
|
-
var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
|
|
92
86
|
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
93
87
|
var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
|
|
88
|
+
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
94
89
|
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
90
|
+
var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
|
|
91
|
+
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
92
|
+
var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
|
|
93
|
+
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
94
|
+
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
95
95
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.i;
|
|
96
96
|
var constructCallableReference = kotlin_kotlin.$_$.z6;
|
|
97
97
|
var lazy = kotlin_kotlin.$_$.tc;
|
|
@@ -279,7 +279,7 @@
|
|
|
279
279
|
initMetadataForClass(Arg2pSolver$Companion$of$1, VOID, VOID, VOID, [Arg2pSolver]);
|
|
280
280
|
initMetadataForCompanion(Companion);
|
|
281
281
|
initMetadataForObject(Arg2pSolverFactory, 'Arg2pSolverFactory');
|
|
282
|
-
initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [
|
|
282
|
+
initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [LogicProgrammingScopeWithUnification, Scope, MinimalLogicProgrammingScope, BaseLogicProgrammingScope, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions]);
|
|
283
283
|
function get_theoryOperators() {
|
|
284
284
|
return Companion_getInstance_0().DEFAULT;
|
|
285
285
|
}
|
|
@@ -6656,18 +6656,19 @@
|
|
|
6656
6656
|
//endregion
|
|
6657
6657
|
//region block: exports
|
|
6658
6658
|
_.$_$ = _.$_$ || {};
|
|
6659
|
-
_.$_$.a =
|
|
6660
|
-
_.$_$.b =
|
|
6661
|
-
_.$_$.c =
|
|
6662
|
-
_.$_$.d =
|
|
6663
|
-
_.$_$.e =
|
|
6664
|
-
_.$_$.f =
|
|
6665
|
-
_.$_$.g =
|
|
6666
|
-
_.$_$.h =
|
|
6667
|
-
_.$_$.i =
|
|
6668
|
-
_.$_$.j =
|
|
6669
|
-
_.$_$.k =
|
|
6670
|
-
_.$_$.l =
|
|
6659
|
+
_.$_$.a = Arg2pUnificator_getInstance;
|
|
6660
|
+
_.$_$.b = Companion_instance_16;
|
|
6661
|
+
_.$_$.c = Companion_instance_18;
|
|
6662
|
+
_.$_$.d = Companion_instance_14;
|
|
6663
|
+
_.$_$.e = Arg2pSolverFactory_instance;
|
|
6664
|
+
_.$_$.f = arg2pScope;
|
|
6665
|
+
_.$_$.g = FlagsBuilder;
|
|
6666
|
+
_.$_$.h = content;
|
|
6667
|
+
_.$_$.i = ArgLibrary;
|
|
6668
|
+
_.$_$.j = Loadable;
|
|
6669
|
+
_.$_$.k = mineGraph;
|
|
6670
|
+
_.$_$.l = mineActiveGraph;
|
|
6671
|
+
_.$_$.m = Graph;
|
|
6671
6672
|
//endregion
|
|
6672
6673
|
return _;
|
|
6673
6674
|
}));
|