@tuprolog/arg2p-core 0.8.1 → 0.8.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-dsl-core.js +209 -209
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +6 -6
- package/2p-dsl-theory.js +6 -6
- package/2p-dsl-unify.js +9 -9
- package/2p-solve.js +1 -1
- package/arg2p-core.js +23 -23
- package/arg2p-core.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +7 -7
- package/package.json +1 -1
package/2p-dsl-theory.js
CHANGED
|
@@ -179,13 +179,13 @@
|
|
|
179
179
|
var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
|
|
180
180
|
var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
|
|
181
181
|
var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
|
|
182
|
-
var
|
|
183
|
-
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
184
|
-
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
182
|
+
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
185
183
|
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
184
|
+
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
186
185
|
var Scope = kotlin_it_unibo_tuprolog_core.$_$.q1;
|
|
186
|
+
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
187
187
|
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
188
|
-
var
|
|
188
|
+
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
189
189
|
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
190
190
|
var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
|
|
191
191
|
var classMeta = kotlin_kotlin.$_$.e5;
|
|
@@ -273,8 +273,8 @@
|
|
|
273
273
|
function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
|
|
274
274
|
return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
|
|
275
275
|
}
|
|
276
|
-
setMetadataFor(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', interfaceMeta, VOID, [
|
|
277
|
-
setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [
|
|
276
|
+
setMetadataFor(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', interfaceMeta, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
|
|
277
|
+
setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithUnification, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, Unificator, TheoryFactory]);
|
|
278
278
|
//endregion
|
|
279
279
|
function logicProgramming(unificator, function_0) {
|
|
280
280
|
unificator = unificator === VOID ? Companion_getInstance_0().p1u_1 : unificator;
|
package/2p-dsl-unify.js
CHANGED
|
@@ -1,27 +1,27 @@
|
|
|
1
1
|
(function (root, factory) {
|
|
2
2
|
if (typeof define === 'function' && define.amd)
|
|
3
|
-
define(['exports', './kotlin-kotlin-stdlib.js', './2p-
|
|
3
|
+
define(['exports', './kotlin-kotlin-stdlib.js', './2p-dsl-core.js', './2p-unify.js'], factory);
|
|
4
4
|
else if (typeof exports === 'object')
|
|
5
|
-
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-
|
|
5
|
+
factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'));
|
|
6
6
|
else {
|
|
7
7
|
if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
|
|
8
8
|
throw new Error("Error loading module '2p-dsl-unify'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-unify'.");
|
|
9
9
|
}
|
|
10
|
-
if (typeof this['2p-unify'] === 'undefined') {
|
|
11
|
-
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
|
|
12
|
-
}
|
|
13
10
|
if (typeof this['2p-dsl-core'] === 'undefined') {
|
|
14
11
|
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
|
|
15
12
|
}
|
|
16
|
-
|
|
13
|
+
if (typeof this['2p-unify'] === 'undefined') {
|
|
14
|
+
throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
|
|
15
|
+
}
|
|
16
|
+
root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify'], this['kotlin-kotlin-stdlib'], this['2p-dsl-core'], this['2p-unify']);
|
|
17
17
|
}
|
|
18
|
-
}(this, function (_, kotlin_kotlin,
|
|
18
|
+
}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
|
|
19
19
|
'use strict';
|
|
20
20
|
//region block: imports
|
|
21
21
|
var protoOf = kotlin_kotlin.$_$.a6;
|
|
22
22
|
var VOID = kotlin_kotlin.$_$.d;
|
|
23
|
-
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
24
23
|
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
24
|
+
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
25
25
|
var interfaceMeta = kotlin_kotlin.$_$.n5;
|
|
26
26
|
var setMetadataFor = kotlin_kotlin.$_$.b6;
|
|
27
27
|
//endregion
|
|
@@ -56,7 +56,7 @@
|
|
|
56
56
|
occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
|
|
57
57
|
return $super === VOID ? this.c1l(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
|
|
58
58
|
}
|
|
59
|
-
setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [
|
|
59
|
+
setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [BaseLogicProgrammingScope, Unificator]);
|
|
60
60
|
//endregion
|
|
61
61
|
function LogicProgrammingScopeWithUnification() {
|
|
62
62
|
}
|
package/2p-solve.js
CHANGED
|
@@ -920,7 +920,7 @@
|
|
|
920
920
|
setMetadataFor(ExtensionLibrary, 'ExtensionLibrary', classMeta, AbstractLibrary);
|
|
921
921
|
setMetadataFor(LibraryImpl, 'LibraryImpl', classMeta, AbstractLibrary);
|
|
922
922
|
setMetadataFor(Companion_39, 'Companion', objectMeta);
|
|
923
|
-
setMetadataFor(RuntimeImpl, 'RuntimeImpl', classMeta, AbstractPluggable, [
|
|
923
|
+
setMetadataFor(RuntimeImpl, 'RuntimeImpl', classMeta, AbstractPluggable, [Map, Pluggable, AbstractPluggable]);
|
|
924
924
|
setMetadataFor(PrimitiveWrapper, 'PrimitiveWrapper', classMeta, AbstractWrapper);
|
|
925
925
|
setMetadataFor(BinaryRelation, 'BinaryRelation', classMeta, PrimitiveWrapper);
|
|
926
926
|
setMetadataFor(NonBacktrackable, 'NonBacktrackable', classMeta, BinaryRelation);
|
package/arg2p-core.js
CHANGED
|
@@ -75,7 +75,6 @@
|
|
|
75
75
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
|
|
76
76
|
var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
|
|
77
77
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
|
|
78
|
-
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
|
|
79
78
|
var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
|
|
80
79
|
var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
|
|
81
80
|
var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
|
|
@@ -86,12 +85,13 @@
|
|
|
86
85
|
var map = kotlin_kotlin.$_$.s7;
|
|
87
86
|
var first = kotlin_kotlin.$_$.j7;
|
|
88
87
|
var ensureNotNull = kotlin_kotlin.$_$.y9;
|
|
89
|
-
var
|
|
88
|
+
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
|
|
90
89
|
var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
|
|
91
90
|
var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
|
|
92
91
|
var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.w;
|
|
93
92
|
var defineProp = kotlin_kotlin.$_$.g5;
|
|
94
93
|
var Companion_instance_3 = kotlin_it_unibo_tuprolog_dsl_solve.$_$.b;
|
|
94
|
+
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
|
|
95
95
|
var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
|
|
96
96
|
var logicList = kotlin_it_unibo_tuprolog_dsl_core.$_$.a;
|
|
97
97
|
var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
|
|
@@ -102,15 +102,15 @@
|
|
|
102
102
|
var mguAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.b;
|
|
103
103
|
var solverOf = kotlin_it_unibo_tuprolog_dsl_solve.$_$.a;
|
|
104
104
|
var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
|
|
105
|
+
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
106
|
+
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
105
107
|
var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
|
|
106
|
-
var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
|
|
107
|
-
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
108
|
-
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
109
108
|
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
110
|
-
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
111
109
|
var Scope = kotlin_it_unibo_tuprolog_core.$_$.q1;
|
|
110
|
+
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
112
111
|
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
113
|
-
var
|
|
112
|
+
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
113
|
+
var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
|
|
114
114
|
var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.i;
|
|
115
115
|
var lazy = kotlin_kotlin.$_$.aa;
|
|
116
116
|
var KProperty1 = kotlin_kotlin.$_$.u6;
|
|
@@ -210,7 +210,7 @@
|
|
|
210
210
|
setMetadataFor(BridgedGraph, 'BridgedGraph', classMeta);
|
|
211
211
|
setMetadataFor(BridgedSolution, 'BridgedSolution', classMeta);
|
|
212
212
|
setMetadataFor(JsBridge, 'JsBridge', objectMeta);
|
|
213
|
-
setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [
|
|
213
|
+
setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithUnification, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithResolution], PrologWithArgumentationImpl);
|
|
214
214
|
function get_theoryOperators() {
|
|
215
215
|
return Companion_getInstance_2().DEFAULT;
|
|
216
216
|
}
|
|
@@ -725,7 +725,7 @@
|
|
|
725
725
|
function solverOf_0($this, outputConsumer, flagsText) {
|
|
726
726
|
var flags = parseTheory(Companion_instance_0, flagsText);
|
|
727
727
|
var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
|
|
728
|
-
var tmp =
|
|
728
|
+
var tmp = ClassicSolverFactory_instance;
|
|
729
729
|
var tmp_0 = ClassicSolverFactory_instance.j1y().plusRuntime(Companion_instance_9.n3a().k3a().plusLibrary(libFlags));
|
|
730
730
|
var tmp_1 = ClassicSolverFactory_instance.m1y().setNotable(Unknown_getInstance(), Unknown_getInstance().v29_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().p29_1);
|
|
731
731
|
var tmp_2 = Companion_instance_0.emptyWithDefaultUnificator();
|
|
@@ -802,7 +802,7 @@
|
|
|
802
802
|
}
|
|
803
803
|
protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
|
|
804
804
|
var solver = solverOf_0(this, outputConsumer, flagsText);
|
|
805
|
-
var query = parseStructWithOperators(
|
|
805
|
+
var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.t1v());
|
|
806
806
|
var theory = parseTheoryWithOperators(Companion_instance_0, theoryText, solver.t1v());
|
|
807
807
|
var formatter = Companion_instance_2.prettyExpressionsPrettyVariablesDefaultOperators();
|
|
808
808
|
solver.loadStaticKb(theory);
|
|
@@ -818,7 +818,7 @@
|
|
|
818
818
|
return JsBridge_instance;
|
|
819
819
|
}
|
|
820
820
|
function PrologWithArgumentationImpl() {
|
|
821
|
-
this.f3c_1 = Companion_instance_3.ofSolverFactory(
|
|
821
|
+
this.f3c_1 = Companion_instance_3.ofSolverFactory(Companion_getInstance_1().b1y());
|
|
822
822
|
}
|
|
823
823
|
protoOf(PrologWithArgumentationImpl).w1g = function () {
|
|
824
824
|
return this.f3c_1.w1g();
|
|
@@ -1859,7 +1859,7 @@
|
|
|
1859
1859
|
function Cache() {
|
|
1860
1860
|
var tmp = this;
|
|
1861
1861
|
// Inline function 'kotlin.also' call
|
|
1862
|
-
var this_0 =
|
|
1862
|
+
var this_0 = Companion_getInstance_1().b1y().rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
|
|
1863
1863
|
// Inline function 'kotlin.contracts.contract' call
|
|
1864
1864
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Cache.solver.<anonymous>' call
|
|
1865
1865
|
this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
|
|
@@ -2043,7 +2043,7 @@
|
|
|
2043
2043
|
// Inline function 'kotlin.collections.set' call
|
|
2044
2044
|
var this_0 = this.k3e_1.i3d_1;
|
|
2045
2045
|
// Inline function 'kotlin.also' call
|
|
2046
|
-
var this_1 =
|
|
2046
|
+
var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
|
|
2047
2047
|
// Inline function 'kotlin.contracts.contract' call
|
|
2048
2048
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheReset.solve.<anonymous>' call
|
|
2049
2049
|
this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
|
|
@@ -2097,7 +2097,7 @@
|
|
|
2097
2097
|
var this_0 = this.q3e_1.i3d_1;
|
|
2098
2098
|
var key = this.q3e_1.g3d_1;
|
|
2099
2099
|
// Inline function 'kotlin.also' call
|
|
2100
|
-
var this_1 =
|
|
2100
|
+
var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.ofIterable(Companion_getInstance_3().y1k(), ensureNotNull(this.q3e_1.i3d_1.x2(target)).n1v()));
|
|
2101
2101
|
// Inline function 'kotlin.contracts.contract' call
|
|
2102
2102
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheBranch.solve.<anonymous>' call
|
|
2103
2103
|
this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
|
|
@@ -2176,7 +2176,7 @@
|
|
|
2176
2176
|
this.h3d_1 = 0;
|
|
2177
2177
|
var tmp = this;
|
|
2178
2178
|
// Inline function 'kotlin.also' call
|
|
2179
|
-
var this_0 =
|
|
2179
|
+
var this_0 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
|
|
2180
2180
|
// Inline function 'kotlin.contracts.contract' call
|
|
2181
2181
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Context.dynamicSolver.<anonymous>' call
|
|
2182
2182
|
this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
|
|
@@ -2550,7 +2550,7 @@
|
|
|
2550
2550
|
}
|
|
2551
2551
|
function ModuleCall$mineModulesPath$lambda($context) {
|
|
2552
2552
|
return function ($this$logicProgramming) {
|
|
2553
|
-
var tmp =
|
|
2553
|
+
var tmp = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.w1g(), []));
|
|
2554
2554
|
return first(map(tmp, ModuleCall$mineModulesPath$lambda$lambda($this$logicProgramming)));
|
|
2555
2555
|
};
|
|
2556
2556
|
}
|
|
@@ -2562,7 +2562,7 @@
|
|
|
2562
2562
|
function ModuleCall$getCleanSolver$lambda_0($context, $modules, $module) {
|
|
2563
2563
|
return function ($this$logicProgramming) {
|
|
2564
2564
|
// Inline function 'kotlin.also' call
|
|
2565
|
-
var this_0 =
|
|
2565
|
+
var this_0 = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v());
|
|
2566
2566
|
// Inline function 'kotlin.contracts.contract' call
|
|
2567
2567
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.extra.ModuleCall.getCleanSolver.<anonymous>.<anonymous>' call
|
|
2568
2568
|
// Inline function 'kotlin.collections.forEach' call
|
|
@@ -2996,7 +2996,7 @@
|
|
|
2996
2996
|
var tmp = Companion_getInstance_4();
|
|
2997
2997
|
var tmp_0 = $first.castToVar();
|
|
2998
2998
|
var tmp_1;
|
|
2999
|
-
if ($force ? true : first($context.solve(parseStruct(
|
|
2999
|
+
if ($force ? true : first($context.solve(parseStruct(Companion_getInstance_0(), 'prologStrictCompatibility'))).o1w()) {
|
|
3000
3000
|
tmp_1 = $mapper($context.context.m1v().p1l(), $this$prolog);
|
|
3001
3001
|
} else {
|
|
3002
3002
|
tmp_1 = $this$prolog.n10();
|
|
@@ -3257,7 +3257,7 @@
|
|
|
3257
3257
|
while (tmp0_iterator_0.s()) {
|
|
3258
3258
|
var item = tmp0_iterator_0.u();
|
|
3259
3259
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.language.Bps.computeAllSubstitutions.<anonymous>.<anonymous>' call
|
|
3260
|
-
var tmp$ret$3 =
|
|
3260
|
+
var tmp$ret$3 = Companion_getInstance_0().of('abstractBp', [prologScope.logicListOfIterable(ensureNotNull(item.fx()).av())]);
|
|
3261
3261
|
destination_0.o(tmp$ret$3);
|
|
3262
3262
|
}
|
|
3263
3263
|
return listToTerm(destination_0);
|
|
@@ -3295,7 +3295,7 @@
|
|
|
3295
3295
|
while (tmp0_iterator.s()) {
|
|
3296
3296
|
var item = tmp0_iterator.u();
|
|
3297
3297
|
// Inline function 'it.unibo.tuprolog.argumentation.core.libs.language.ExtractStrictIds.computeAllSubstitutions.<anonymous>' call
|
|
3298
|
-
var tmp$ret$0 =
|
|
3298
|
+
var tmp$ret$0 = Companion_getInstance_0().of('strict', [ensureNotNull(item.asCons()).fx()]);
|
|
3299
3299
|
destination.o(tmp$ret$0);
|
|
3300
3300
|
}
|
|
3301
3301
|
return sequenceOf([tmp.of(tmp_0, tmp_1.ofList(destination))]);
|
|
@@ -3332,10 +3332,10 @@
|
|
|
3332
3332
|
var tmp_2;
|
|
3333
3333
|
switch (it.l()) {
|
|
3334
3334
|
case 2:
|
|
3335
|
-
tmp_2 = Companion_getInstance_10().hx(
|
|
3335
|
+
tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(1)]), [item]);
|
|
3336
3336
|
break;
|
|
3337
3337
|
case 3:
|
|
3338
|
-
tmp_2 = Companion_getInstance_10().hx(
|
|
3338
|
+
tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(2)]), [item]);
|
|
3339
3339
|
break;
|
|
3340
3340
|
default:
|
|
3341
3341
|
throw IllegalArgumentException_init_$Create$();
|
|
@@ -4193,7 +4193,7 @@
|
|
|
4193
4193
|
};
|
|
4194
4194
|
protoOf(Argument).t3l = function () {
|
|
4195
4195
|
var tmp0_elvis_lhs = this.w3b_1;
|
|
4196
|
-
return tmp0_elvis_lhs == null ? parseStruct(
|
|
4196
|
+
return tmp0_elvis_lhs == null ? parseStruct(Companion_getInstance_0(), '[' + this.p3b_1 + ', ' + this.q3b_1 + ', [' + this.r3b_1 + '], ' + this.s3b_1 + ', [' + this.v3b_1 + ', ' + this.t3b_1 + ', ' + this.u3b_1 + ']]') : tmp0_elvis_lhs;
|
|
4197
4197
|
};
|
|
4198
4198
|
protoOf(Argument).toString = function () {
|
|
4199
4199
|
return 'argument(' + this.t3l() + ')';
|