@tuprolog/arg2p-core 0.6.8 → 0.7.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/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/core.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/dsl/dsl.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/basic/basic.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/extra/extra.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/builder/builder.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/extension/extension.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/graph.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/graph/labelling/labelling.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/language/language.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/libs.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/structured/structured.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/libs/utils/utils.kjsm +0 -0
- package/kotlin/arg2p-core/it/unibo/tuprolog/argumentation/core/meta/meta.kjsm +0 -0
- package/kotlin/arg2p-core.js +185 -226
- package/kotlin/arg2p-core.js.map +1 -1
- package/kotlin/arg2p-core.meta.js +1 -1
- package/package.json +1 -1
package/kotlin/arg2p-core.js
CHANGED
|
@@ -39,7 +39,7 @@
|
|
|
39
39
|
}(this, function (_, Kotlin, $module$_2p_solve, $module$_2p_dsl_theory, $module$_2p_dsl_core, $module$_2p_unify, $module$_2p_core, $module$_2p_theory, $module$_2p_parser_theory, $module$_2p_solve_classic, $module$_2p_parser_core) {
|
|
40
40
|
'use strict';
|
|
41
41
|
var $$importsForInline$$ = _.$$importsForInline$$ || (_.$$importsForInline$$ = {});
|
|
42
|
-
var
|
|
42
|
+
var Runtime = $module$_2p_solve.it.unibo.tuprolog.solve.library.Runtime;
|
|
43
43
|
var listOf = Kotlin.kotlin.collections.listOf_i5x0yv$;
|
|
44
44
|
var plus = Kotlin.kotlin.collections.plus_mydzjv$;
|
|
45
45
|
var Kind_CLASS = Kotlin.Kind.CLASS;
|
|
@@ -49,8 +49,8 @@
|
|
|
49
49
|
var collectionSizeOrDefault = Kotlin.kotlin.collections.collectionSizeOrDefault_ba2ldo$;
|
|
50
50
|
var ArrayList_init = Kotlin.kotlin.collections.ArrayList_init_ww73n8$;
|
|
51
51
|
var UnsupportedOperationException_init = Kotlin.kotlin.UnsupportedOperationException_init_pdl1vj$;
|
|
52
|
-
var
|
|
53
|
-
var
|
|
52
|
+
var LogicProgrammingScopeWithTheories = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories;
|
|
53
|
+
var LogicProgrammingScope = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.LogicProgrammingScope;
|
|
54
54
|
var Unificator = $module$_2p_unify.it.unibo.tuprolog.unify.Unificator;
|
|
55
55
|
var OperatorSet = $module$_2p_core.it.unibo.tuprolog.core.operators.OperatorSet;
|
|
56
56
|
var union = Kotlin.kotlin.collections.union_q4559j$;
|
|
@@ -91,7 +91,7 @@
|
|
|
91
91
|
var Long$Companion$MAX_VALUE = Kotlin.Long.MAX_VALUE;
|
|
92
92
|
var Unit = Kotlin.kotlin.Unit;
|
|
93
93
|
var filter = Kotlin.kotlin.sequences.filter_euau3h$;
|
|
94
|
-
var
|
|
94
|
+
var logicProgramming = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.logicProgramming;
|
|
95
95
|
var Specifier = $module$_2p_core.it.unibo.tuprolog.core.operators.Specifier;
|
|
96
96
|
var Operator = $module$_2p_core.it.unibo.tuprolog.core.operators.Operator;
|
|
97
97
|
var OperatorSet_init = $module$_2p_core.it.unibo.tuprolog.core.operators.OperatorSet_init_1gzv2l$;
|
|
@@ -108,7 +108,7 @@
|
|
|
108
108
|
var Solver = $module$_2p_solve.it.unibo.tuprolog.solve.Solver;
|
|
109
109
|
var classic_0 = $module$_2p_solve_classic.it.unibo.tuprolog.solve.classic.classicSolver;
|
|
110
110
|
var toString = Kotlin.toString;
|
|
111
|
-
var
|
|
111
|
+
var logicProgramming_0 = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.logicProgramming;
|
|
112
112
|
var contains = Kotlin.kotlin.text.contains_li3zpu$;
|
|
113
113
|
var removeSurrounding = Kotlin.kotlin.text.removeSurrounding_gsj5wt$;
|
|
114
114
|
var toList = Kotlin.kotlin.sequences.toList_veqyi0$;
|
|
@@ -127,7 +127,6 @@
|
|
|
127
127
|
var copyToArray = Kotlin.kotlin.collections.copyToArray;
|
|
128
128
|
var hashCode = Kotlin.hashCode;
|
|
129
129
|
var Collection = Kotlin.kotlin.collections.Collection;
|
|
130
|
-
var AliasedLibrary = $module$_2p_solve.it.unibo.tuprolog.solve.library.AliasedLibrary;
|
|
131
130
|
var compareBy = Kotlin.kotlin.comparisons.compareBy_bvgy4j$;
|
|
132
131
|
var sortedWith = Kotlin.kotlin.sequences.sortedWith_vjgqpk$;
|
|
133
132
|
var mapIndexed = Kotlin.kotlin.sequences.mapIndexed_b7yuyq$;
|
|
@@ -244,7 +243,7 @@
|
|
|
244
243
|
Arg2pSolver$Companion_getInstance();
|
|
245
244
|
}
|
|
246
245
|
Arg2pSolver.prototype.to2pLibraries = function () {
|
|
247
|
-
var tmp$ =
|
|
246
|
+
var tmp$ = Runtime.Companion;
|
|
248
247
|
var $receiver = plus(listOf([this.loader, this.context]), this.staticLibraries());
|
|
249
248
|
var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
|
|
250
249
|
var tmp$_0;
|
|
@@ -339,10 +338,10 @@
|
|
|
339
338
|
PrologWithArgumentation.$metadata$ = {
|
|
340
339
|
kind: Kind_INTERFACE,
|
|
341
340
|
simpleName: 'PrologWithArgumentation',
|
|
342
|
-
interfaces: [
|
|
341
|
+
interfaces: [LogicProgrammingScopeWithTheories]
|
|
343
342
|
};
|
|
344
343
|
function PrologWithArgumentationImpl() {
|
|
345
|
-
this.$delegate_38xz9p$_0 =
|
|
344
|
+
this.$delegate_38xz9p$_0 = LogicProgrammingScope.Companion.empty();
|
|
346
345
|
this.$delegate_38xz9p$_1 = Unificator.Companion.default;
|
|
347
346
|
}
|
|
348
347
|
Object.defineProperty(PrologWithArgumentationImpl.prototype, 'A', {
|
|
@@ -636,8 +635,8 @@
|
|
|
636
635
|
PrologWithArgumentationImpl.prototype.char_code2 = function (char, code) {
|
|
637
636
|
return this.$delegate_38xz9p$_0.char_code2(char, code);
|
|
638
637
|
};
|
|
639
|
-
PrologWithArgumentationImpl.prototype.
|
|
640
|
-
return this.$delegate_38xz9p$_0.
|
|
638
|
+
PrologWithArgumentationImpl.prototype.clause_x8scsp$ = function (function_0) {
|
|
639
|
+
return this.$delegate_38xz9p$_0.clause_x8scsp$(function_0);
|
|
641
640
|
};
|
|
642
641
|
PrologWithArgumentationImpl.prototype.clause2 = function (head, body) {
|
|
643
642
|
return this.$delegate_38xz9p$_0.clause2(head, body);
|
|
@@ -708,6 +707,9 @@
|
|
|
708
707
|
PrologWithArgumentationImpl.prototype.get = function (variable) {
|
|
709
708
|
return this.$delegate_38xz9p$_0.get(variable);
|
|
710
709
|
};
|
|
710
|
+
PrologWithArgumentationImpl.prototype.getValue_n5byny$ = function (thisRef, property) {
|
|
711
|
+
return this.$delegate_38xz9p$_0.getValue_n5byny$(thisRef, property);
|
|
712
|
+
};
|
|
711
713
|
PrologWithArgumentationImpl.prototype.ground1 = function (term) {
|
|
712
714
|
return this.$delegate_38xz9p$_0.ground1(term);
|
|
713
715
|
};
|
|
@@ -903,6 +905,15 @@
|
|
|
903
905
|
PrologWithArgumentationImpl.prototype.sub_atom5 = function (atom, before, length, after, sub_atom) {
|
|
904
906
|
return this.$delegate_38xz9p$_0.sub_atom5(atom, before, length, after, sub_atom);
|
|
905
907
|
};
|
|
908
|
+
PrologWithArgumentationImpl.prototype.substitutionOf = function (assignments) {
|
|
909
|
+
return this.$delegate_38xz9p$_0.substitutionOf(assignments);
|
|
910
|
+
};
|
|
911
|
+
PrologWithArgumentationImpl.prototype.substitutionOfIterable = function (assignments) {
|
|
912
|
+
return this.$delegate_38xz9p$_0.substitutionOfIterable(assignments);
|
|
913
|
+
};
|
|
914
|
+
PrologWithArgumentationImpl.prototype.substitutionOfSequence = function (assignments) {
|
|
915
|
+
return this.$delegate_38xz9p$_0.substitutionOfSequence(assignments);
|
|
916
|
+
};
|
|
906
917
|
PrologWithArgumentationImpl.prototype.throw1 = function (error) {
|
|
907
918
|
return this.$delegate_38xz9p$_0.throw1(error);
|
|
908
919
|
};
|
|
@@ -921,6 +932,15 @@
|
|
|
921
932
|
PrologWithArgumentationImpl.prototype.tupleOfSequence = function (terms) {
|
|
922
933
|
return this.$delegate_38xz9p$_0.tupleOfSequence(terms);
|
|
923
934
|
};
|
|
935
|
+
PrologWithArgumentationImpl.prototype.unifierOf = function (assignments) {
|
|
936
|
+
return this.$delegate_38xz9p$_0.unifierOf(assignments);
|
|
937
|
+
};
|
|
938
|
+
PrologWithArgumentationImpl.prototype.unifierOfIterable = function (assignments) {
|
|
939
|
+
return this.$delegate_38xz9p$_0.unifierOfIterable(assignments);
|
|
940
|
+
};
|
|
941
|
+
PrologWithArgumentationImpl.prototype.unifierOfSequence = function (assignments) {
|
|
942
|
+
return this.$delegate_38xz9p$_0.unifierOfSequence(assignments);
|
|
943
|
+
};
|
|
924
944
|
PrologWithArgumentationImpl.prototype.var1 = function (term) {
|
|
925
945
|
return this.$delegate_38xz9p$_0.var1(term);
|
|
926
946
|
};
|
|
@@ -1095,7 +1115,7 @@
|
|
|
1095
1115
|
PrologWithArgumentationImpl.$metadata$ = {
|
|
1096
1116
|
kind: Kind_CLASS,
|
|
1097
1117
|
simpleName: 'PrologWithArgumentationImpl',
|
|
1098
|
-
interfaces: [PrologWithArgumentation, Unificator,
|
|
1118
|
+
interfaces: [PrologWithArgumentation, Unificator, LogicProgrammingScope]
|
|
1099
1119
|
};
|
|
1100
1120
|
function arg2pScope(function_0) {
|
|
1101
1121
|
return function_0(new PrologWithArgumentationImpl());
|
|
@@ -1139,7 +1159,7 @@
|
|
|
1139
1159
|
return union(this.baseFlags, this.parentLibrary.flags());
|
|
1140
1160
|
};
|
|
1141
1161
|
UnionArgLibrary.prototype.content = function () {
|
|
1142
|
-
return Library.Companion.
|
|
1162
|
+
return Library.Companion.of(this.baseContent.alias, void 0, this.baseContent.theory.plusTheory(this.parentLibrary.content().theory));
|
|
1143
1163
|
};
|
|
1144
1164
|
UnionArgLibrary.$metadata$ = {
|
|
1145
1165
|
kind: Kind_INTERFACE,
|
|
@@ -1337,7 +1357,7 @@
|
|
|
1337
1357
|
var element = tmp$_1.next();
|
|
1338
1358
|
destination.put_xwzc9p$(element.signature, element);
|
|
1339
1359
|
}
|
|
1340
|
-
return tmp$.
|
|
1360
|
+
return tmp$.of(tmp$_0, destination);
|
|
1341
1361
|
}
|
|
1342
1362
|
});
|
|
1343
1363
|
Object.defineProperty(Cache.prototype, 'baseFlags', {
|
|
@@ -1684,7 +1704,7 @@
|
|
|
1684
1704
|
var element = tmp$_1.next();
|
|
1685
1705
|
destination.put_xwzc9p$(element.signature, element);
|
|
1686
1706
|
}
|
|
1687
|
-
return tmp$.
|
|
1707
|
+
return tmp$.of(tmp$_0, destination);
|
|
1688
1708
|
}
|
|
1689
1709
|
});
|
|
1690
1710
|
Object.defineProperty(Context.prototype, 'baseFlags', {
|
|
@@ -1799,7 +1819,7 @@
|
|
|
1799
1819
|
this.$outer;
|
|
1800
1820
|
var this$DynamicLoader = this.$outer;
|
|
1801
1821
|
var tmp$_2 = request.context;
|
|
1802
|
-
var tmp$_3 =
|
|
1822
|
+
var tmp$_3 = Runtime.Companion;
|
|
1803
1823
|
var $receiver_0 = request.context.libraries.libraries;
|
|
1804
1824
|
var destination = ArrayList_init_0();
|
|
1805
1825
|
var tmp$_4;
|
|
@@ -1817,7 +1837,7 @@
|
|
|
1817
1837
|
if (!destination_0.contains_11rb$(element_0.alias))
|
|
1818
1838
|
destination.add_11rb$(element_0);
|
|
1819
1839
|
}
|
|
1820
|
-
var solver = tmp$_2.createMutableSolver(tmp$_3.ofIterable(destination).
|
|
1840
|
+
var solver = tmp$_2.createMutableSolver(tmp$_3.ofIterable(destination).plusLibrary(tmp$.content()), void 0, request.context.staticKb);
|
|
1821
1841
|
this.execute_khyi1m$(lib.toString(), solver);
|
|
1822
1842
|
return sequence(DynamicLoader$AbstractWithLib$solve$lambda(solver, goal, request));
|
|
1823
1843
|
};
|
|
@@ -1871,7 +1891,7 @@
|
|
|
1871
1891
|
};
|
|
1872
1892
|
}
|
|
1873
1893
|
DynamicLoader$WithLibInNewContext.prototype.execute_khyi1m$ = function (module_0, solver) {
|
|
1874
|
-
|
|
1894
|
+
logicProgramming(DynamicLoader$WithLibInNewContext$execute$lambda(solver));
|
|
1875
1895
|
};
|
|
1876
1896
|
DynamicLoader$WithLibInNewContext.$metadata$ = {
|
|
1877
1897
|
kind: Kind_CLASS,
|
|
@@ -1898,7 +1918,7 @@
|
|
|
1898
1918
|
var element = tmp$_1.next();
|
|
1899
1919
|
destination.put_xwzc9p$(element.signature, element);
|
|
1900
1920
|
}
|
|
1901
|
-
return tmp$.
|
|
1921
|
+
return tmp$.of(tmp$_0, destination, void 0, DynamicLoader$Companion_getInstance().operators());
|
|
1902
1922
|
}
|
|
1903
1923
|
});
|
|
1904
1924
|
Object.defineProperty(DynamicLoader.prototype, 'baseFlags', {
|
|
@@ -1953,7 +1973,7 @@
|
|
|
1953
1973
|
Object.defineProperty(EngineInterfaceBase.prototype, 'baseContent', {
|
|
1954
1974
|
configurable: true,
|
|
1955
1975
|
get: function () {
|
|
1956
|
-
return Library.Companion.
|
|
1976
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory, RuleParserBase$Companion_getInstance().operators());
|
|
1957
1977
|
}
|
|
1958
1978
|
});
|
|
1959
1979
|
Object.defineProperty(EngineInterfaceBase.prototype, 'baseFlags', {
|
|
@@ -2092,7 +2112,7 @@
|
|
|
2092
2112
|
Object.defineProperty(FlagsBuilder$create$ObjectLiteral.prototype, 'baseContent', {
|
|
2093
2113
|
configurable: true,
|
|
2094
2114
|
get: function () {
|
|
2095
|
-
return Library.Companion.
|
|
2115
|
+
return Library.Companion.of(this.alias, void 0, FlagsBuilder$Companion_getInstance().setupSolver_ds05wj$(this.this$FlagsBuilder));
|
|
2096
2116
|
}
|
|
2097
2117
|
});
|
|
2098
2118
|
Object.defineProperty(FlagsBuilder$create$ObjectLiteral.prototype, 'baseFlags', {
|
|
@@ -2179,7 +2199,7 @@
|
|
|
2179
2199
|
Object.defineProperty(MetaInterpreter.prototype, 'baseContent', {
|
|
2180
2200
|
configurable: true,
|
|
2181
2201
|
get: function () {
|
|
2182
|
-
return Library.Companion.
|
|
2202
|
+
return Library.Companion.of(this.alias, void 0, parse_2(Theory.Companion, trimIndent('\n % with_facts_and_length/3\n with_facts_and_length(X, Y, L) :-\n solve(X, R),\n recover_facts(R, Y),\n length(Y, L).\n \n % lenght/2\n \n length([], 0).\n length([_|T], X) :- length(T, Y), X is Y + 1.\n \n % recover_facts/2\n \n recover_facts([], []) :- !.\n recover_facts([H|T], C) :-\n is_list(H), !,\n recover_facts(T, TC),\n recover_facts(H, HC),\n append(TC, HC, C).\n recover_facts([H|T], C) :-\n \\+ is_list(H),\n recover_facts(T, TC),\n evaluate(H, HC),\n append(TC, HC, C).\n \n evaluate(user_fact(X), [X]) :- !.\n evaluate(_, []) :- !.\n \n % solve/2\n \n solve((A,B), Result) :- !,\n solve(A, ARes),\n solve(B, BRes),\n append(ARes, BRes, Result).\n \n solve((A;B), Result) :- !,\n solve(A, Result);\n solve(B, Result).\n \n solve(member(A, B), [system_predicate]) :- !,\n call(member(A, B)).\n \n solve(\\+(A), [not(A)]) :- !,\n call(\\+(A)).\n \n solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n call((A)\\=(B)).\n \n solve(A, [system_predicate]) :-\n catch(clause(A, _), B, true),\n \\+ var(B), !,\n call(A).\n \n solve(A, [A]) :-\n \\+ clause(A, B), !,\n call(A).\n \n solve(A, [A|[Res]]) :-\n clause(A, B),\n solve(B, Res).\n \n % is_list/1\n \n is_list(X) :- var(X), !, fail.\n is_list([]).\n is_list([_|T]) :- is_list(T).\n \n % fetch_argument_facts/2\n \n fetch_argument_facts(Conclusion, Facts) :-\n argument([R, TR, [Conclusion]]),\n findall(user_fact(Fact), \n support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n Facts).\n ')));
|
|
2183
2203
|
}
|
|
2184
2204
|
});
|
|
2185
2205
|
Object.defineProperty(MetaInterpreter.prototype, 'baseFlags', {
|
|
@@ -2216,7 +2236,7 @@
|
|
|
2216
2236
|
Object.defineProperty(ModuleCalls.prototype, 'baseContent', {
|
|
2217
2237
|
configurable: true,
|
|
2218
2238
|
get: function () {
|
|
2219
|
-
return Library.Companion.
|
|
2239
|
+
return Library.Companion.of(this.alias, mapOf(to(ModuleCall_getInstance().signature, ModuleCall_getInstance())));
|
|
2220
2240
|
}
|
|
2221
2241
|
});
|
|
2222
2242
|
Object.defineProperty(ModuleCalls.prototype, 'baseFlags', {
|
|
@@ -2363,7 +2383,7 @@
|
|
|
2363
2383
|
};
|
|
2364
2384
|
}
|
|
2365
2385
|
ModuleCall.prototype.mineModulesPath_0 = function (context) {
|
|
2366
|
-
return
|
|
2386
|
+
return logicProgramming_0(void 0, ModuleCall$mineModulesPath$lambda(context));
|
|
2367
2387
|
};
|
|
2368
2388
|
function ModuleCall$getCleanSolver$lambda(closure$modulesPath) {
|
|
2369
2389
|
return function (mod) {
|
|
@@ -2386,7 +2406,7 @@
|
|
|
2386
2406
|
}
|
|
2387
2407
|
ModuleCall.prototype.getCleanSolver_0 = function (context, modulesPath, modules) {
|
|
2388
2408
|
var module_0 = ModuleCall$getCleanSolver$lambda(modulesPath);
|
|
2389
|
-
return
|
|
2409
|
+
return logicProgramming_0(void 0, ModuleCall$getCleanSolver$lambda_0(context, modules, module_0));
|
|
2390
2410
|
};
|
|
2391
2411
|
ModuleCall.$metadata$ = {
|
|
2392
2412
|
kind: Kind_OBJECT,
|
|
@@ -2414,7 +2434,7 @@
|
|
|
2414
2434
|
Object.defineProperty(AbstractModeBase.prototype, 'baseContent', {
|
|
2415
2435
|
configurable: true,
|
|
2416
2436
|
get: function () {
|
|
2417
|
-
return Library.Companion.
|
|
2437
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2418
2438
|
}
|
|
2419
2439
|
});
|
|
2420
2440
|
Object.defineProperty(AbstractModeBase.prototype, 'baseFlags', {
|
|
@@ -2547,7 +2567,7 @@
|
|
|
2547
2567
|
Object.defineProperty(ArgumentationGraphBuilderBase.prototype, 'baseContent', {
|
|
2548
2568
|
configurable: true,
|
|
2549
2569
|
get: function () {
|
|
2550
|
-
return Library.Companion.
|
|
2570
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2551
2571
|
}
|
|
2552
2572
|
});
|
|
2553
2573
|
Object.defineProperty(ArgumentationGraphBuilderBase.prototype, 'baseFlags', {
|
|
@@ -2584,7 +2604,7 @@
|
|
|
2584
2604
|
Object.defineProperty(AttackRestrictionHandlerBase.prototype, 'baseContent', {
|
|
2585
2605
|
configurable: true,
|
|
2586
2606
|
get: function () {
|
|
2587
|
-
return Library.Companion.
|
|
2607
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2588
2608
|
}
|
|
2589
2609
|
});
|
|
2590
2610
|
Object.defineProperty(AttackRestrictionHandlerBase.prototype, 'baseFlags', {
|
|
@@ -2621,7 +2641,7 @@
|
|
|
2621
2641
|
Object.defineProperty(BpMetaGraphHandlerBase.prototype, 'baseContent', {
|
|
2622
2642
|
configurable: true,
|
|
2623
2643
|
get: function () {
|
|
2624
|
-
return Library.Companion.
|
|
2644
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2625
2645
|
}
|
|
2626
2646
|
});
|
|
2627
2647
|
Object.defineProperty(BpMetaGraphHandlerBase.prototype, 'baseFlags', {
|
|
@@ -2658,7 +2678,7 @@
|
|
|
2658
2678
|
Object.defineProperty(DefeasiblePreferencesHandlerBase.prototype, 'baseContent', {
|
|
2659
2679
|
configurable: true,
|
|
2660
2680
|
get: function () {
|
|
2661
|
-
return Library.Companion.
|
|
2681
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2662
2682
|
}
|
|
2663
2683
|
});
|
|
2664
2684
|
Object.defineProperty(DefeasiblePreferencesHandlerBase.prototype, 'baseFlags', {
|
|
@@ -2695,7 +2715,7 @@
|
|
|
2695
2715
|
Object.defineProperty(GenericDefeasiblePreferencesHandlerBase.prototype, 'baseContent', {
|
|
2696
2716
|
configurable: true,
|
|
2697
2717
|
get: function () {
|
|
2698
|
-
return Library.Companion.
|
|
2718
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2699
2719
|
}
|
|
2700
2720
|
});
|
|
2701
2721
|
Object.defineProperty(GenericDefeasiblePreferencesHandlerBase.prototype, 'baseFlags', {
|
|
@@ -2732,7 +2752,7 @@
|
|
|
2732
2752
|
Object.defineProperty(StrictPreferencesHandlerBase.prototype, 'baseContent', {
|
|
2733
2753
|
configurable: true,
|
|
2734
2754
|
get: function () {
|
|
2735
|
-
return Library.Companion.
|
|
2755
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2736
2756
|
}
|
|
2737
2757
|
});
|
|
2738
2758
|
Object.defineProperty(StrictPreferencesHandlerBase.prototype, 'baseFlags', {
|
|
@@ -2769,7 +2789,7 @@
|
|
|
2769
2789
|
Object.defineProperty(BinaryStatementLabeller.prototype, 'baseContent', {
|
|
2770
2790
|
configurable: true,
|
|
2771
2791
|
get: function () {
|
|
2772
|
-
return Library.Companion.
|
|
2792
|
+
return Library.Companion.of(this.alias, void 0, Theory.Companion.of([BinaryLabelling_getInstance().wrappedImplementation]));
|
|
2773
2793
|
}
|
|
2774
2794
|
});
|
|
2775
2795
|
Object.defineProperty(BinaryStatementLabeller.prototype, 'baseFlags', {
|
|
@@ -2807,7 +2827,7 @@
|
|
|
2807
2827
|
return $receiver.tupleOf([$receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('in', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.not1($receiver.stringInvoke('contextCheck', $receiver.stringInvoke('statIn', $receiver.X, []), [])), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statIn', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.anyOr($receiver.stringInvoke('context_check', $receiver.stringInvoke('out', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_check', $receiver.stringInvoke('und', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), [])), $receiver.not1($receiver.stringInvoke('context_check', $receiver.stringInvoke('statOut', $receiver.X, []), [])), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statOut', $receiver.X, []), [])]), $receiver._])]);
|
|
2808
2828
|
}
|
|
2809
2829
|
BinaryLabelling.prototype.get_body_cjtn4o$ = function ($receiver) {
|
|
2810
|
-
return
|
|
2830
|
+
return logicProgramming(BinaryLabelling$get_BinaryLabelling$body$lambda);
|
|
2811
2831
|
};
|
|
2812
2832
|
BinaryLabelling.$metadata$ = {
|
|
2813
2833
|
kind: Kind_OBJECT,
|
|
@@ -2835,7 +2855,7 @@
|
|
|
2835
2855
|
Object.defineProperty(BpCompleteLabellerBase.prototype, 'baseContent', {
|
|
2836
2856
|
configurable: true,
|
|
2837
2857
|
get: function () {
|
|
2838
|
-
return Library.Companion.
|
|
2858
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2839
2859
|
}
|
|
2840
2860
|
});
|
|
2841
2861
|
Object.defineProperty(BpCompleteLabellerBase.prototype, 'baseFlags', {
|
|
@@ -2872,7 +2892,7 @@
|
|
|
2872
2892
|
Object.defineProperty(BpLabellerBase.prototype, 'baseContent', {
|
|
2873
2893
|
configurable: true,
|
|
2874
2894
|
get: function () {
|
|
2875
|
-
return Library.Companion.
|
|
2895
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2876
2896
|
}
|
|
2877
2897
|
});
|
|
2878
2898
|
Object.defineProperty(BpLabellerBase.prototype, 'baseFlags', {
|
|
@@ -2909,7 +2929,7 @@
|
|
|
2909
2929
|
Object.defineProperty(BpPartialLabellerBase.prototype, 'baseContent', {
|
|
2910
2930
|
configurable: true,
|
|
2911
2931
|
get: function () {
|
|
2912
|
-
return Library.Companion.
|
|
2932
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2913
2933
|
}
|
|
2914
2934
|
});
|
|
2915
2935
|
Object.defineProperty(BpPartialLabellerBase.prototype, 'baseFlags', {
|
|
@@ -2946,7 +2966,7 @@
|
|
|
2946
2966
|
Object.defineProperty(CompleteLabellerBase.prototype, 'baseContent', {
|
|
2947
2967
|
configurable: true,
|
|
2948
2968
|
get: function () {
|
|
2949
|
-
return Library.Companion.
|
|
2969
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2950
2970
|
}
|
|
2951
2971
|
});
|
|
2952
2972
|
Object.defineProperty(CompleteLabellerBase.prototype, 'baseFlags', {
|
|
@@ -2983,7 +3003,7 @@
|
|
|
2983
3003
|
Object.defineProperty(GroundedLabellerBase.prototype, 'baseContent', {
|
|
2984
3004
|
configurable: true,
|
|
2985
3005
|
get: function () {
|
|
2986
|
-
return Library.Companion.
|
|
3006
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
2987
3007
|
}
|
|
2988
3008
|
});
|
|
2989
3009
|
Object.defineProperty(GroundedLabellerBase.prototype, 'baseFlags', {
|
|
@@ -3020,7 +3040,7 @@
|
|
|
3020
3040
|
Object.defineProperty(GroundedLabellerOptimizedBase.prototype, 'baseContent', {
|
|
3021
3041
|
configurable: true,
|
|
3022
3042
|
get: function () {
|
|
3023
|
-
return Library.Companion.
|
|
3043
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
3024
3044
|
}
|
|
3025
3045
|
});
|
|
3026
3046
|
Object.defineProperty(GroundedLabellerOptimizedBase.prototype, 'baseFlags', {
|
|
@@ -3057,7 +3077,7 @@
|
|
|
3057
3077
|
Object.defineProperty(PassThroughStatementLabeller.prototype, 'baseContent', {
|
|
3058
3078
|
configurable: true,
|
|
3059
3079
|
get: function () {
|
|
3060
|
-
return Library.Companion.
|
|
3080
|
+
return Library.Companion.of(this.alias, void 0, Theory.Companion.of([Labelling_getInstance().wrappedImplementation]));
|
|
3061
3081
|
}
|
|
3062
3082
|
});
|
|
3063
3083
|
Object.defineProperty(PassThroughStatementLabeller.prototype, 'baseFlags', {
|
|
@@ -3095,7 +3115,7 @@
|
|
|
3095
3115
|
return $receiver.tupleOf([$receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('in', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statIn', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('out', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statOut', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('und', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statUnd', $receiver.X, []), [])]), $receiver._])]);
|
|
3096
3116
|
}
|
|
3097
3117
|
Labelling.prototype.get_body_cjtn4o$ = function ($receiver) {
|
|
3098
|
-
return
|
|
3118
|
+
return logicProgramming(Labelling$get_Labelling$body$lambda);
|
|
3099
3119
|
};
|
|
3100
3120
|
Labelling.$metadata$ = {
|
|
3101
3121
|
kind: Kind_OBJECT,
|
|
@@ -3123,7 +3143,7 @@
|
|
|
3123
3143
|
Object.defineProperty(StatementLabellerBase.prototype, 'baseContent', {
|
|
3124
3144
|
configurable: true,
|
|
3125
3145
|
get: function () {
|
|
3126
|
-
return Library.Companion.
|
|
3146
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
3127
3147
|
}
|
|
3128
3148
|
});
|
|
3129
3149
|
Object.defineProperty(StatementLabellerBase.prototype, 'baseFlags', {
|
|
@@ -3161,7 +3181,7 @@
|
|
|
3161
3181
|
Object.defineProperty(RuleParserBase.prototype, 'baseContent', {
|
|
3162
3182
|
configurable: true,
|
|
3163
3183
|
get: function () {
|
|
3164
|
-
return Library.Companion.
|
|
3184
|
+
return Library.Companion.of(this.alias, mapOf_0([getPropertyCallableRef('descriptionPair', 0, function ($receiver) {
|
|
3165
3185
|
return $receiver.descriptionPair;
|
|
3166
3186
|
}.bind(null, StrictRules_getInstance())).get(), getPropertyCallableRef('descriptionPair', 0, function ($receiver) {
|
|
3167
3187
|
return $receiver.descriptionPair;
|
|
@@ -3284,7 +3304,7 @@
|
|
|
3284
3304
|
};
|
|
3285
3305
|
}
|
|
3286
3306
|
ConversionUtils.prototype.modifiers_3bh3rj$ = function (target, context) {
|
|
3287
|
-
return
|
|
3307
|
+
return logicProgramming_0(void 0, ConversionUtils$modifiers$lambda(target, context));
|
|
3288
3308
|
};
|
|
3289
3309
|
function ConversionUtils$commonMap$lambda(closure$first, closure$force, closure$context, closure$mapper) {
|
|
3290
3310
|
return function ($receiver) {
|
|
@@ -3299,11 +3319,11 @@
|
|
|
3299
3319
|
return sequenceOf([tmp$_1.of(tmp$, tmp$_0)]);
|
|
3300
3320
|
};
|
|
3301
3321
|
}
|
|
3302
|
-
ConversionUtils.prototype.
|
|
3322
|
+
ConversionUtils.prototype.commonMap_2z7qph$ = function (context, first, force, mapper) {
|
|
3303
3323
|
if (force === void 0)
|
|
3304
3324
|
force = false;
|
|
3305
3325
|
PrimitiveWrapper.Companion.ensuringArgumentIsVariable_3adri$(context, 0);
|
|
3306
|
-
return
|
|
3326
|
+
return logicProgramming_0(void 0, ConversionUtils$commonMap$lambda(first, force, context, mapper));
|
|
3307
3327
|
};
|
|
3308
3328
|
ConversionUtils.$metadata$ = {
|
|
3309
3329
|
kind: Kind_OBJECT,
|
|
@@ -3344,7 +3364,7 @@
|
|
|
3344
3364
|
};
|
|
3345
3365
|
}
|
|
3346
3366
|
StrictRules.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
|
|
3347
|
-
return ConversionUtils_getInstance().
|
|
3367
|
+
return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, StrictRules$computeAllSubstitutions$lambda($receiver));
|
|
3348
3368
|
};
|
|
3349
3369
|
StrictRules.$metadata$ = {
|
|
3350
3370
|
kind: Kind_OBJECT,
|
|
@@ -3381,7 +3401,7 @@
|
|
|
3381
3401
|
return toTerm(destination_0);
|
|
3382
3402
|
}
|
|
3383
3403
|
Axioms.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
|
|
3384
|
-
return ConversionUtils_getInstance().
|
|
3404
|
+
return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, Axioms$computeAllSubstitutions$lambda);
|
|
3385
3405
|
};
|
|
3386
3406
|
Axioms.$metadata$ = {
|
|
3387
3407
|
kind: Kind_OBJECT,
|
|
@@ -3418,7 +3438,7 @@
|
|
|
3418
3438
|
return toTerm(destination_0);
|
|
3419
3439
|
}
|
|
3420
3440
|
Premises.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
|
|
3421
|
-
return ConversionUtils_getInstance().
|
|
3441
|
+
return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, Premises$computeAllSubstitutions$lambda);
|
|
3422
3442
|
};
|
|
3423
3443
|
Premises.$metadata$ = {
|
|
3424
3444
|
kind: Kind_OBJECT,
|
|
@@ -3469,7 +3489,7 @@
|
|
|
3469
3489
|
};
|
|
3470
3490
|
}
|
|
3471
3491
|
DefeasibleRules.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
|
|
3472
|
-
return ConversionUtils_getInstance().
|
|
3492
|
+
return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, DefeasibleRules$computeAllSubstitutions$lambda($receiver));
|
|
3473
3493
|
};
|
|
3474
3494
|
DefeasibleRules.$metadata$ = {
|
|
3475
3495
|
kind: Kind_OBJECT,
|
|
@@ -3507,7 +3527,7 @@
|
|
|
3507
3527
|
return toTerm(destination_0);
|
|
3508
3528
|
}
|
|
3509
3529
|
Bps.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
|
|
3510
|
-
return ConversionUtils_getInstance().
|
|
3530
|
+
return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, true, Bps$computeAllSubstitutions$lambda);
|
|
3511
3531
|
};
|
|
3512
3532
|
Bps.$metadata$ = {
|
|
3513
3533
|
kind: Kind_OBJECT,
|
|
@@ -3611,7 +3631,7 @@
|
|
|
3611
3631
|
Object.defineProperty(StructuredModeBase.prototype, 'baseContent', {
|
|
3612
3632
|
configurable: true,
|
|
3613
3633
|
get: function () {
|
|
3614
|
-
return Library.Companion.
|
|
3634
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
3615
3635
|
}
|
|
3616
3636
|
});
|
|
3617
3637
|
Object.defineProperty(StructuredModeBase.prototype, 'baseFlags', {
|
|
@@ -3696,7 +3716,7 @@
|
|
|
3696
3716
|
Object.defineProperty(DebugBase.prototype, 'baseContent', {
|
|
3697
3717
|
configurable: true,
|
|
3698
3718
|
get: function () {
|
|
3699
|
-
return Library.Companion.
|
|
3719
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
3700
3720
|
}
|
|
3701
3721
|
});
|
|
3702
3722
|
Object.defineProperty(DebugBase.prototype, 'baseFlags', {
|
|
@@ -3733,7 +3753,7 @@
|
|
|
3733
3753
|
Object.defineProperty(SuperiorityRelationBase.prototype, 'baseContent', {
|
|
3734
3754
|
configurable: true,
|
|
3735
3755
|
get: function () {
|
|
3736
|
-
return Library.Companion.
|
|
3756
|
+
return Library.Companion.of(this.alias, void 0, this.prologTheory);
|
|
3737
3757
|
}
|
|
3738
3758
|
});
|
|
3739
3759
|
Object.defineProperty(SuperiorityRelationBase.prototype, 'baseFlags', {
|
|
@@ -3825,7 +3845,7 @@
|
|
|
3825
3845
|
var tmp$_2 = to(AppendOptimized_getInstance().signature, AppendOptimized_getInstance());
|
|
3826
3846
|
var tmp$_3 = to(AssertAll_getInstance().signature, AssertAll_getInstance());
|
|
3827
3847
|
var $this = ArgumentHash_getInstance();
|
|
3828
|
-
return tmp$_1.
|
|
3848
|
+
return tmp$_1.of(tmp$, mapOf_0([tmp$_2, tmp$_3, to($this.signature, $this.wrappedImplementation), to(Contains_getInstance().signature, Contains_getInstance()), to(ContainsAny_getInstance().signature, ContainsAny_getInstance())]), tmp$_0);
|
|
3829
3849
|
}
|
|
3830
3850
|
});
|
|
3831
3851
|
Object.defineProperty(UtilsBase.prototype, 'baseFlags', {
|
|
@@ -4254,7 +4274,7 @@
|
|
|
4254
4274
|
}
|
|
4255
4275
|
function MetaInterpreterLib() {
|
|
4256
4276
|
MetaInterpreterLib_instance = this;
|
|
4257
|
-
this.$delegate_3wovwi$_0 = Library.Companion.
|
|
4277
|
+
this.$delegate_3wovwi$_0 = Library.Companion.of('prolog.argumentation.meta', void 0, parse_2(Theory.Companion, trimIndent('\n % with_facts_and_length/3\n with_facts_and_length(X, Y, L) :-\n solve(X, R),\n recover_facts(R, Y),\n length(Y, L).\n\n % lenght/2\n\n length([], 0).\n length([_|T], X) :- length(T, Y), X is Y + 1.\n\n % recover_facts/2\n\n recover_facts([], []) :- !.\n recover_facts([H|T], C) :-\n is_list(H), !,\n recover_facts(T, TC),\n recover_facts(H, HC),\n append(TC, HC, C).\n recover_facts([H|T], C) :-\n \\+ is_list(H),\n recover_facts(T, TC),\n evaluate(H, HC),\n append(TC, HC, C).\n\n evaluate(user_fact(X), [X]) :- !.\n evaluate(_, []) :- !.\n\n % solve/2\n\n solve((A,B), Result) :- !,\n solve(A, ARes),\n solve(B, BRes),\n append(ARes, BRes, Result).\n\n solve((A;B), Result) :- !,\n solve(A, Result);\n solve(B, Result).\n\n solve(member(A, B), [system_predicate]) :- !,\n call(member(A, B)).\n\n solve(\\+(A), [not(A)]) :- !,\n call(\\+(A)).\n\n solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n call((A)\\=(B)).\n\n solve(A, [system_predicate]) :-\n catch(clause(A, _), B, true),\n \\+ var(B), !,\n call(A).\n\n solve(A, [A]) :-\n \\+ clause(A, B), !,\n call(A).\n\n solve(A, [A|[Res]]) :-\n clause(A, B),\n solve(B, Res).\n\n % is_list/1\n\n is_list(X) :- var(X), !, fail.\n is_list([]).\n is_list([_|T]) :- is_list(T).\n \n % fetch_argument_facts/2\n \n fetch_argument_facts(Conclusion, Facts) :-\n argument([R, TR, [Conclusion]]),\n findall(user_fact(Fact), \n support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n Facts).\n ')));
|
|
4258
4278
|
}
|
|
4259
4279
|
Object.defineProperty(MetaInterpreterLib.prototype, 'alias', {
|
|
4260
4280
|
configurable: true,
|
|
@@ -4292,16 +4312,25 @@
|
|
|
4292
4312
|
MetaInterpreterLib.prototype.containsSignature = function (signature) {
|
|
4293
4313
|
return this.$delegate_3wovwi$_0.containsSignature(signature);
|
|
4294
4314
|
};
|
|
4315
|
+
MetaInterpreterLib.prototype.equals = function (other) {
|
|
4316
|
+
return this.$delegate_3wovwi$_0.equals(other);
|
|
4317
|
+
};
|
|
4295
4318
|
MetaInterpreterLib.prototype.hasPrimitive = function (signature) {
|
|
4296
4319
|
return this.$delegate_3wovwi$_0.hasPrimitive(signature);
|
|
4297
4320
|
};
|
|
4298
4321
|
MetaInterpreterLib.prototype.hasProtected = function (signature) {
|
|
4299
4322
|
return this.$delegate_3wovwi$_0.hasProtected(signature);
|
|
4300
4323
|
};
|
|
4324
|
+
MetaInterpreterLib.prototype.hashCode = function () {
|
|
4325
|
+
return this.$delegate_3wovwi$_0.hashCode();
|
|
4326
|
+
};
|
|
4327
|
+
MetaInterpreterLib.prototype.toString = function () {
|
|
4328
|
+
return this.$delegate_3wovwi$_0.toString();
|
|
4329
|
+
};
|
|
4301
4330
|
MetaInterpreterLib.$metadata$ = {
|
|
4302
4331
|
kind: Kind_OBJECT,
|
|
4303
4332
|
simpleName: 'MetaInterpreterLib',
|
|
4304
|
-
interfaces: [
|
|
4333
|
+
interfaces: [Library]
|
|
4305
4334
|
};
|
|
4306
4335
|
var MetaInterpreterLib_instance = null;
|
|
4307
4336
|
function MetaInterpreterLib_getInstance() {
|
|
@@ -4347,7 +4376,7 @@
|
|
|
4347
4376
|
};
|
|
4348
4377
|
}
|
|
4349
4378
|
function arguments_0($receiver, context) {
|
|
4350
|
-
return toList(
|
|
4379
|
+
return toList(logicProgramming(arguments$lambda($receiver, context)));
|
|
4351
4380
|
}
|
|
4352
4381
|
function attacks$lambda$lambda(it) {
|
|
4353
4382
|
return it.isYes;
|
|
@@ -4401,7 +4430,7 @@
|
|
|
4401
4430
|
function attacks($receiver, context, arguments_0) {
|
|
4402
4431
|
if (arguments_0.isEmpty())
|
|
4403
4432
|
return emptyList();
|
|
4404
|
-
return toList(
|
|
4433
|
+
return toList(logicProgramming(attacks$lambda($receiver, context, arguments_0)));
|
|
4405
4434
|
}
|
|
4406
4435
|
function supports$lambda$lambda(it) {
|
|
4407
4436
|
return it.isYes;
|
|
@@ -4455,7 +4484,7 @@
|
|
|
4455
4484
|
};
|
|
4456
4485
|
}
|
|
4457
4486
|
function supports($receiver, context, arguments_0) {
|
|
4458
|
-
return
|
|
4487
|
+
return logicProgramming(supports$lambda($receiver, context, arguments_0));
|
|
4459
4488
|
}
|
|
4460
4489
|
function labels$checkFunctor$lambda$lambda(it) {
|
|
4461
4490
|
return it.isYes;
|
|
@@ -4491,7 +4520,7 @@
|
|
|
4491
4520
|
}
|
|
4492
4521
|
function labels$checkFunctor(this$labels, closure$context, closure$arguments) {
|
|
4493
4522
|
return function (functor) {
|
|
4494
|
-
return
|
|
4523
|
+
return logicProgramming(labels$checkFunctor$lambda(this$labels, closure$context, functor, closure$arguments));
|
|
4495
4524
|
};
|
|
4496
4525
|
}
|
|
4497
4526
|
function labels($receiver, context, arguments_0) {
|
|
@@ -5379,7 +5408,7 @@
|
|
|
5379
5408
|
}
|
|
5380
5409
|
function Bp() {
|
|
5381
5410
|
Bp_instance = this;
|
|
5382
|
-
this.theoryCode = trimIndent('\n modifyArgumentationGraph :-\n findall(([Rules, Top, [bp
|
|
5411
|
+
this.theoryCode = trimIndent('\n modifyArgumentationGraph :-\n findall(([Rules, Top, [bp(Checked)], G, I], [Z, P, [Y], GG, II]), (\n context_check(argument([Rules, Top, [bp(Checked)], G, I])),\n member(Y, [Checked]),\n context_check(argument([Z, P, [Y], GG, II]))\n ), TemplateBpPairs),\n checkBpArguments(TemplateBpPairs).\n checkBpArguments([]).\n checkBpArguments(TemplateBpPairs) :-\n createBpArguments(TemplateBpPairs, BpPairs),\n createBpAttacks(BpPairs).\n createBpArguments([], []).\n createBpArguments([(Original, [Z, P, Y, B, I])|Others], [(Conflict, [Z, P, Y, B, I])|BpPairs]) :-\n Conflict = [[artificial|Z], artificial, [-burdmet(Y)], [], [[artificial], [artificial], []]],\n context_assert(argument(Conflict)),\n context_assert(support(Original, Conflict)),\n liftBpAttacks(Original, Conflict),\n createBpArguments(Others, BpPairs).\n liftBpAttacks(Template, BpArg) :-\n findall(_, (\n context_check(attack(T, A, Template, O)),\n context_assert(attack(T, A, BpArg, O))\n ), _).\n createBpAttacks(BpPairs) :-\n generateBpsEvaluationChain(BpPairs, OrderedBpPairs),\n evaluateBurdenedArgs(OrderedBpPairs).\n generateBpsEvaluationChain([], []).\n generateBpsEvaluationChain([BpPair|BpPairs], OrderedBpPairs) :-\n generateBpsEvaluationChain(BpPairs, TempOrderedBpPairs),\n insertBpPair(BpPair, TempOrderedBpPairs, OrderedBpPairs).\n insertBpPair(BpPair, [], [BpPair]).\n insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(BpL, BurdenedL)|Return]) :-\n bp_grounded::argumentChain(BurdenedL, Burdened),\n insertBpPair((Bp, Burdened), Others, Return), !.\n insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(Bp, Burdened)|[(BpL, BurdenedL)|Others]]).\n evaluateBurdenedArgs([]).\n evaluateBurdenedArgs([(Bp, Burdened)|Others]) :-\n context_active(X),\n grounded:::argumentLabelling,\n statusToAttack((Bp, Burdened), Attack),\n context_checkout(X),\n context_assert(Attack),\n evaluateBurdenedArgs(Others).\n statusToAttack((Bp, Burdened), attack(bprebut, Burdened, Bp, Bp)) :-\n context_check(in(Burdened)).\n statusToAttack((Bp, Burdened), attack(bprebut, Bp, Burdened, Burdened)) :-\n \\+ context_check(in(Burdened)).\n ');
|
|
5383
5412
|
}
|
|
5384
5413
|
Bp.$metadata$ = {
|
|
5385
5414
|
kind: Kind_OBJECT,
|
|
@@ -6036,168 +6065,98 @@
|
|
|
6036
6065
|
});
|
|
6037
6066
|
Arg2pSolver$Companion$of$ObjectLiteral.prototype.to2pLibraries = Arg2pSolver.prototype.to2pLibraries;
|
|
6038
6067
|
Arg2pSolver$Companion$of$ObjectLiteral.prototype.operators = Arg2pSolver.prototype.operators;
|
|
6039
|
-
PrologWithArgumentation.prototype.call1 =
|
|
6040
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6041
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6042
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6043
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6044
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6045
|
-
Object.defineProperty(PrologWithArgumentation.prototype, '
|
|
6046
|
-
|
|
6047
|
-
|
|
6048
|
-
|
|
6049
|
-
|
|
6050
|
-
|
|
6051
|
-
|
|
6052
|
-
|
|
6053
|
-
|
|
6054
|
-
|
|
6055
|
-
|
|
6056
|
-
|
|
6057
|
-
|
|
6058
|
-
|
|
6059
|
-
|
|
6060
|
-
|
|
6061
|
-
|
|
6062
|
-
|
|
6063
|
-
|
|
6064
|
-
|
|
6065
|
-
|
|
6066
|
-
|
|
6067
|
-
|
|
6068
|
-
|
|
6069
|
-
|
|
6070
|
-
|
|
6071
|
-
|
|
6072
|
-
PrologWithArgumentation.prototype.
|
|
6073
|
-
PrologWithArgumentation.prototype.
|
|
6074
|
-
PrologWithArgumentation.prototype.
|
|
6075
|
-
PrologWithArgumentation.prototype.
|
|
6076
|
-
PrologWithArgumentation.prototype.
|
|
6077
|
-
PrologWithArgumentation.prototype.
|
|
6078
|
-
PrologWithArgumentation.prototype.
|
|
6079
|
-
PrologWithArgumentation.prototype.
|
|
6080
|
-
PrologWithArgumentation.prototype.
|
|
6081
|
-
PrologWithArgumentation.prototype.
|
|
6082
|
-
PrologWithArgumentation.prototype.
|
|
6083
|
-
PrologWithArgumentation.prototype.
|
|
6084
|
-
PrologWithArgumentation.prototype.
|
|
6085
|
-
PrologWithArgumentation.prototype.
|
|
6086
|
-
PrologWithArgumentation.prototype.
|
|
6087
|
-
PrologWithArgumentation.prototype.
|
|
6088
|
-
PrologWithArgumentation.prototype.
|
|
6089
|
-
PrologWithArgumentation.prototype.
|
|
6090
|
-
PrologWithArgumentation.prototype.
|
|
6091
|
-
PrologWithArgumentation.prototype.
|
|
6092
|
-
PrologWithArgumentation.prototype.
|
|
6093
|
-
PrologWithArgumentation.prototype.
|
|
6094
|
-
PrologWithArgumentation.prototype.
|
|
6095
|
-
PrologWithArgumentation.prototype.
|
|
6096
|
-
PrologWithArgumentation.prototype.
|
|
6097
|
-
PrologWithArgumentation.prototype.
|
|
6098
|
-
PrologWithArgumentation.prototype.
|
|
6099
|
-
PrologWithArgumentation.prototype.
|
|
6100
|
-
PrologWithArgumentation.prototype.
|
|
6101
|
-
PrologWithArgumentation.prototype.
|
|
6102
|
-
PrologWithArgumentation.prototype.
|
|
6103
|
-
PrologWithArgumentation.prototype.
|
|
6104
|
-
PrologWithArgumentation.prototype.
|
|
6105
|
-
PrologWithArgumentation.prototype.
|
|
6106
|
-
PrologWithArgumentation.prototype.
|
|
6107
|
-
PrologWithArgumentation.prototype.
|
|
6108
|
-
PrologWithArgumentation.prototype.
|
|
6109
|
-
PrologWithArgumentation.prototype.
|
|
6110
|
-
PrologWithArgumentation.prototype.
|
|
6111
|
-
PrologWithArgumentation.prototype.
|
|
6112
|
-
PrologWithArgumentation.prototype.
|
|
6113
|
-
PrologWithArgumentation.prototype.
|
|
6114
|
-
PrologWithArgumentation.prototype.
|
|
6115
|
-
PrologWithArgumentation.prototype.
|
|
6116
|
-
PrologWithArgumentation.prototype.
|
|
6117
|
-
PrologWithArgumentation.prototype.
|
|
6118
|
-
PrologWithArgumentation.prototype.
|
|
6119
|
-
PrologWithArgumentation.prototype.
|
|
6120
|
-
PrologWithArgumentation.prototype.
|
|
6121
|
-
PrologWithArgumentation.prototype.
|
|
6122
|
-
PrologWithArgumentation.prototype.
|
|
6123
|
-
PrologWithArgumentation.prototype.
|
|
6124
|
-
PrologWithArgumentation.prototype.
|
|
6125
|
-
PrologWithArgumentation.prototype.
|
|
6126
|
-
PrologWithArgumentation.prototype.
|
|
6127
|
-
PrologWithArgumentation.prototype.
|
|
6128
|
-
PrologWithArgumentation.prototype.
|
|
6129
|
-
PrologWithArgumentation.prototype.
|
|
6130
|
-
PrologWithArgumentation.prototype.
|
|
6131
|
-
PrologWithArgumentation.prototype.op3 = PrologScopeWithTheories.prototype.op3;
|
|
6132
|
-
PrologWithArgumentation.prototype.retract1 = PrologScopeWithTheories.prototype.retract1;
|
|
6133
|
-
PrologWithArgumentation.prototype.retractall1 = PrologScopeWithTheories.prototype.retractall1;
|
|
6134
|
-
PrologWithArgumentation.prototype.rule = PrologScopeWithTheories.prototype.rule;
|
|
6135
|
-
PrologWithArgumentation.prototype.scope = PrologScopeWithTheories.prototype.scope;
|
|
6136
|
-
PrologWithArgumentation.prototype.set_flag2 = PrologScopeWithTheories.prototype.set_flag2;
|
|
6137
|
-
PrologWithArgumentation.prototype.set_prolog_flag2 = PrologScopeWithTheories.prototype.set_prolog_flag2;
|
|
6138
|
-
PrologWithArgumentation.prototype.setof3 = PrologScopeWithTheories.prototype.setof3;
|
|
6139
|
-
PrologWithArgumentation.prototype.solve1 = PrologScopeWithTheories.prototype.solve1;
|
|
6140
|
-
PrologWithArgumentation.prototype.static1 = PrologScopeWithTheories.prototype.static1;
|
|
6141
|
-
PrologWithArgumentation.prototype.structOfAny = PrologScopeWithTheories.prototype.structOfAny;
|
|
6142
|
-
PrologWithArgumentation.prototype.sub_atom5 = PrologScopeWithTheories.prototype.sub_atom5;
|
|
6143
|
-
PrologWithArgumentation.prototype.theory = PrologScopeWithTheories.prototype.theory;
|
|
6144
|
-
PrologWithArgumentation.prototype.theoryOf = PrologScopeWithTheories.prototype.theoryOf;
|
|
6145
|
-
PrologWithArgumentation.prototype.theoryOfIterable = PrologScopeWithTheories.prototype.theoryOfIterable;
|
|
6146
|
-
PrologWithArgumentation.prototype.theoryOfSequence = PrologScopeWithTheories.prototype.theoryOfSequence;
|
|
6147
|
-
PrologWithArgumentation.prototype.throw1 = PrologScopeWithTheories.prototype.throw1;
|
|
6148
|
-
PrologWithArgumentation.prototype.tupleOfAny = PrologScopeWithTheories.prototype.tupleOfAny;
|
|
6149
|
-
PrologWithArgumentation.prototype.unifyAny$default = PrologScopeWithTheories.prototype.unifyAny$default;
|
|
6150
|
-
PrologWithArgumentation.prototype.unify = PrologScopeWithTheories.prototype.unify;
|
|
6151
|
-
PrologWithArgumentation.prototype.unifyWithOccurCheck = PrologScopeWithTheories.prototype.unifyWithOccurCheck;
|
|
6152
|
-
PrologWithArgumentation.prototype.var1 = PrologScopeWithTheories.prototype.var1;
|
|
6153
|
-
PrologWithArgumentation.prototype.write1 = PrologScopeWithTheories.prototype.write1;
|
|
6154
|
-
PrologWithArgumentation.prototype.anyAnd = PrologScopeWithTheories.prototype.anyAnd;
|
|
6155
|
-
PrologWithArgumentation.prototype.arithEq2 = PrologScopeWithTheories.prototype.arithEq2;
|
|
6156
|
-
PrologWithArgumentation.prototype.arithNeq2 = PrologScopeWithTheories.prototype.arithNeq2;
|
|
6157
|
-
PrologWithArgumentation.prototype.substitutionContainsKey = PrologScopeWithTheories.prototype.substitutionContainsKey;
|
|
6158
|
-
PrologWithArgumentation.prototype.substitutionContainsValue = PrologScopeWithTheories.prototype.substitutionContainsValue;
|
|
6159
|
-
PrologWithArgumentation.prototype.anyDiv = PrologScopeWithTheories.prototype.anyDiv;
|
|
6160
|
-
PrologWithArgumentation.prototype.eq2 = PrologScopeWithTheories.prototype.eq2;
|
|
6161
|
-
PrologWithArgumentation.prototype.anyEqualsTo = PrologScopeWithTheories.prototype.anyEqualsTo;
|
|
6162
|
-
PrologWithArgumentation.prototype.anyGreaterThan = PrologScopeWithTheories.prototype.anyGreaterThan;
|
|
6163
|
-
PrologWithArgumentation.prototype.anyGreaterThanOrEqualsTo = PrologScopeWithTheories.prototype.anyGreaterThanOrEqualsTo;
|
|
6164
|
-
PrologWithArgumentation.prototype.id2 = PrologScopeWithTheories.prototype.id2;
|
|
6165
|
-
PrologWithArgumentation.prototype.anyIf = PrologScopeWithTheories.prototype.anyIf;
|
|
6166
|
-
PrologWithArgumentation.prototype.anyIfVararg = PrologScopeWithTheories.prototype.anyIfVararg;
|
|
6167
|
-
PrologWithArgumentation.prototype.anyImpliedBy = PrologScopeWithTheories.prototype.anyImpliedBy;
|
|
6168
|
-
PrologWithArgumentation.prototype.anyImpliedByVararg = PrologScopeWithTheories.prototype.anyImpliedByVararg;
|
|
6169
|
-
PrologWithArgumentation.prototype.anyIntDiv = PrologScopeWithTheories.prototype.anyIntDiv;
|
|
6170
|
-
PrologWithArgumentation.prototype.stringInvoke = PrologScopeWithTheories.prototype.stringInvoke;
|
|
6171
|
-
PrologWithArgumentation.prototype.anyIs = PrologScopeWithTheories.prototype.anyIs;
|
|
6172
|
-
PrologWithArgumentation.prototype.anyLowerThan = PrologScopeWithTheories.prototype.anyLowerThan;
|
|
6173
|
-
PrologWithArgumentation.prototype.anyLowerThanOrEqualsTo = PrologScopeWithTheories.prototype.anyLowerThanOrEqualsTo;
|
|
6174
|
-
PrologWithArgumentation.prototype.anyMatches = PrologScopeWithTheories.prototype.anyMatches;
|
|
6175
|
-
PrologWithArgumentation.prototype.anyMguWith = PrologScopeWithTheories.prototype.anyMguWith;
|
|
6176
|
-
PrologWithArgumentation.prototype.anyMinus = PrologScopeWithTheories.prototype.anyMinus;
|
|
6177
|
-
PrologWithArgumentation.prototype.neq2 = PrologScopeWithTheories.prototype.neq2;
|
|
6178
|
-
PrologWithArgumentation.prototype.nid2 = PrologScopeWithTheories.prototype.nid2;
|
|
6179
|
-
PrologWithArgumentation.prototype.anyNonGreaterThan = PrologScopeWithTheories.prototype.anyNonGreaterThan;
|
|
6180
|
-
PrologWithArgumentation.prototype.anyNonLowerThan = PrologScopeWithTheories.prototype.anyNonLowerThan;
|
|
6181
|
-
PrologWithArgumentation.prototype.anyNotEqualsTo = PrologScopeWithTheories.prototype.anyNotEqualsTo;
|
|
6182
|
-
PrologWithArgumentation.prototype.anyOr = PrologScopeWithTheories.prototype.anyOr;
|
|
6183
|
-
PrologWithArgumentation.prototype.anyPlus = PrologScopeWithTheories.prototype.anyPlus;
|
|
6184
|
-
PrologWithArgumentation.prototype.anyPow = PrologScopeWithTheories.prototype.anyPow;
|
|
6185
|
-
PrologWithArgumentation.prototype.anyRem = PrologScopeWithTheories.prototype.anyRem;
|
|
6186
|
-
PrologWithArgumentation.prototype.anySup = PrologScopeWithTheories.prototype.anySup;
|
|
6187
|
-
PrologWithArgumentation.prototype.anyThen = PrologScopeWithTheories.prototype.anyThen;
|
|
6188
|
-
PrologWithArgumentation.prototype.anyTimes = PrologScopeWithTheories.prototype.anyTimes;
|
|
6189
|
-
PrologWithArgumentation.prototype.varTo = PrologScopeWithTheories.prototype.varTo;
|
|
6190
|
-
PrologWithArgumentation.prototype.stringTo = PrologScopeWithTheories.prototype.stringTo;
|
|
6191
|
-
PrologWithArgumentation.prototype.anyUnifyWith = PrologScopeWithTheories.prototype.anyUnifyWith;
|
|
6192
|
-
PrologWithArgumentation.prototype.univ2 = PrologScopeWithTheories.prototype.univ2;
|
|
6193
|
-
PrologWithArgumentation.prototype.list = PrologScopeWithTheories.prototype.list;
|
|
6194
|
-
PrologWithArgumentation.prototype.listFrom = PrologScopeWithTheories.prototype.listFrom;
|
|
6195
|
-
PrologWithArgumentation.prototype.listFromIterable = PrologScopeWithTheories.prototype.listFromIterable;
|
|
6196
|
-
PrologWithArgumentation.prototype.listFromSequence = PrologScopeWithTheories.prototype.listFromSequence;
|
|
6197
|
-
PrologWithArgumentation.prototype.matchAny = PrologScopeWithTheories.prototype.matchAny;
|
|
6198
|
-
PrologWithArgumentation.prototype.mguAny = PrologScopeWithTheories.prototype.mguAny;
|
|
6199
|
-
PrologWithArgumentation.prototype.mguWithOccurCheck = PrologScopeWithTheories.prototype.mguWithOccurCheck;
|
|
6200
|
-
PrologWithArgumentation.prototype.unifyAny = PrologScopeWithTheories.prototype.unifyAny;
|
|
6068
|
+
PrologWithArgumentation.prototype.call1 = LogicProgrammingScopeWithTheories.prototype.call1;
|
|
6069
|
+
Object.defineProperty(PrologWithArgumentation.prototype, '_', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, '_'));
|
|
6070
|
+
Object.defineProperty(PrologWithArgumentation.prototype, 'at_end_of_stream', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'at_end_of_stream'));
|
|
6071
|
+
Object.defineProperty(PrologWithArgumentation.prototype, 'cut', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'cut'));
|
|
6072
|
+
Object.defineProperty(PrologWithArgumentation.prototype, 'halt', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'halt'));
|
|
6073
|
+
Object.defineProperty(PrologWithArgumentation.prototype, 'nl', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'nl'));
|
|
6074
|
+
Object.defineProperty(PrologWithArgumentation.prototype, 'repeat', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'repeat'));
|
|
6075
|
+
PrologWithArgumentation.prototype.abolish1 = LogicProgrammingScopeWithTheories.prototype.abolish1;
|
|
6076
|
+
PrologWithArgumentation.prototype.append3 = LogicProgrammingScopeWithTheories.prototype.append3;
|
|
6077
|
+
PrologWithArgumentation.prototype.arg3 = LogicProgrammingScopeWithTheories.prototype.arg3;
|
|
6078
|
+
PrologWithArgumentation.prototype.assert1 = LogicProgrammingScopeWithTheories.prototype.assert1;
|
|
6079
|
+
PrologWithArgumentation.prototype.asserta1 = LogicProgrammingScopeWithTheories.prototype.asserta1;
|
|
6080
|
+
PrologWithArgumentation.prototype.assertz1 = LogicProgrammingScopeWithTheories.prototype.assertz1;
|
|
6081
|
+
PrologWithArgumentation.prototype.at_end_of_stream1 = LogicProgrammingScopeWithTheories.prototype.at_end_of_stream1;
|
|
6082
|
+
PrologWithArgumentation.prototype.atom1 = LogicProgrammingScopeWithTheories.prototype.atom1;
|
|
6083
|
+
PrologWithArgumentation.prototype.atom_chars2 = LogicProgrammingScopeWithTheories.prototype.atom_chars2;
|
|
6084
|
+
PrologWithArgumentation.prototype.atom_codes2 = LogicProgrammingScopeWithTheories.prototype.atom_codes2;
|
|
6085
|
+
PrologWithArgumentation.prototype.atom_concat3 = LogicProgrammingScopeWithTheories.prototype.atom_concat3;
|
|
6086
|
+
PrologWithArgumentation.prototype.atom_length2 = LogicProgrammingScopeWithTheories.prototype.atom_length2;
|
|
6087
|
+
PrologWithArgumentation.prototype.atomic1 = LogicProgrammingScopeWithTheories.prototype.atomic1;
|
|
6088
|
+
PrologWithArgumentation.prototype.bagof3 = LogicProgrammingScopeWithTheories.prototype.bagof3;
|
|
6089
|
+
PrologWithArgumentation.prototype.between3 = LogicProgrammingScopeWithTheories.prototype.between3;
|
|
6090
|
+
PrologWithArgumentation.prototype.callable1 = LogicProgrammingScopeWithTheories.prototype.callable1;
|
|
6091
|
+
PrologWithArgumentation.prototype.catch3 = LogicProgrammingScopeWithTheories.prototype.catch3;
|
|
6092
|
+
PrologWithArgumentation.prototype.char_code2 = LogicProgrammingScopeWithTheories.prototype.char_code2;
|
|
6093
|
+
PrologWithArgumentation.prototype.clause2 = LogicProgrammingScopeWithTheories.prototype.clause2;
|
|
6094
|
+
PrologWithArgumentation.prototype.compound1 = LogicProgrammingScopeWithTheories.prototype.compound1;
|
|
6095
|
+
PrologWithArgumentation.prototype.consult1 = LogicProgrammingScopeWithTheories.prototype.consult1;
|
|
6096
|
+
PrologWithArgumentation.prototype.copy_term2 = LogicProgrammingScopeWithTheories.prototype.copy_term2;
|
|
6097
|
+
PrologWithArgumentation.prototype.current_flag2 = LogicProgrammingScopeWithTheories.prototype.current_flag2;
|
|
6098
|
+
PrologWithArgumentation.prototype.current_op3 = LogicProgrammingScopeWithTheories.prototype.current_op3;
|
|
6099
|
+
PrologWithArgumentation.prototype.current_prolog_flag2 = LogicProgrammingScopeWithTheories.prototype.current_prolog_flag2;
|
|
6100
|
+
PrologWithArgumentation.prototype.dynamic1 = LogicProgrammingScopeWithTheories.prototype.dynamic1;
|
|
6101
|
+
PrologWithArgumentation.prototype.findall3 = LogicProgrammingScopeWithTheories.prototype.findall3;
|
|
6102
|
+
PrologWithArgumentation.prototype.float1 = LogicProgrammingScopeWithTheories.prototype.float1;
|
|
6103
|
+
PrologWithArgumentation.prototype.functor3 = LogicProgrammingScopeWithTheories.prototype.functor3;
|
|
6104
|
+
PrologWithArgumentation.prototype.ground1 = LogicProgrammingScopeWithTheories.prototype.ground1;
|
|
6105
|
+
PrologWithArgumentation.prototype.include1 = LogicProgrammingScopeWithTheories.prototype.include1;
|
|
6106
|
+
PrologWithArgumentation.prototype.initialization1 = LogicProgrammingScopeWithTheories.prototype.initialization1;
|
|
6107
|
+
PrologWithArgumentation.prototype.integer1 = LogicProgrammingScopeWithTheories.prototype.integer1;
|
|
6108
|
+
PrologWithArgumentation.prototype.load1 = LogicProgrammingScopeWithTheories.prototype.load1;
|
|
6109
|
+
PrologWithArgumentation.prototype.matchAny$default = LogicProgrammingScopeWithTheories.prototype.matchAny$default;
|
|
6110
|
+
PrologWithArgumentation.prototype.match = LogicProgrammingScopeWithTheories.prototype.match;
|
|
6111
|
+
PrologWithArgumentation.prototype.matchWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.matchWithOccurCheck;
|
|
6112
|
+
PrologWithArgumentation.prototype.member2 = LogicProgrammingScopeWithTheories.prototype.member2;
|
|
6113
|
+
PrologWithArgumentation.prototype.merge = LogicProgrammingScopeWithTheories.prototype.merge;
|
|
6114
|
+
PrologWithArgumentation.prototype.mguAny$default = LogicProgrammingScopeWithTheories.prototype.mguAny$default;
|
|
6115
|
+
PrologWithArgumentation.prototype.mgu = LogicProgrammingScopeWithTheories.prototype.mgu;
|
|
6116
|
+
PrologWithArgumentation.prototype.naf1 = LogicProgrammingScopeWithTheories.prototype.naf1;
|
|
6117
|
+
PrologWithArgumentation.prototype.natural = LogicProgrammingScopeWithTheories.prototype.natural;
|
|
6118
|
+
PrologWithArgumentation.prototype.nonvar1 = LogicProgrammingScopeWithTheories.prototype.nonvar1;
|
|
6119
|
+
PrologWithArgumentation.prototype.not1 = LogicProgrammingScopeWithTheories.prototype.not1;
|
|
6120
|
+
PrologWithArgumentation.prototype.number1 = LogicProgrammingScopeWithTheories.prototype.number1;
|
|
6121
|
+
PrologWithArgumentation.prototype.number_chars2 = LogicProgrammingScopeWithTheories.prototype.number_chars2;
|
|
6122
|
+
PrologWithArgumentation.prototype.number_codes2 = LogicProgrammingScopeWithTheories.prototype.number_codes2;
|
|
6123
|
+
PrologWithArgumentation.prototype.op3 = LogicProgrammingScopeWithTheories.prototype.op3;
|
|
6124
|
+
PrologWithArgumentation.prototype.retract1 = LogicProgrammingScopeWithTheories.prototype.retract1;
|
|
6125
|
+
PrologWithArgumentation.prototype.retractall1 = LogicProgrammingScopeWithTheories.prototype.retractall1;
|
|
6126
|
+
PrologWithArgumentation.prototype.set_flag2 = LogicProgrammingScopeWithTheories.prototype.set_flag2;
|
|
6127
|
+
PrologWithArgumentation.prototype.set_prolog_flag2 = LogicProgrammingScopeWithTheories.prototype.set_prolog_flag2;
|
|
6128
|
+
PrologWithArgumentation.prototype.setof3 = LogicProgrammingScopeWithTheories.prototype.setof3;
|
|
6129
|
+
PrologWithArgumentation.prototype.solve1 = LogicProgrammingScopeWithTheories.prototype.solve1;
|
|
6130
|
+
PrologWithArgumentation.prototype.static1 = LogicProgrammingScopeWithTheories.prototype.static1;
|
|
6131
|
+
PrologWithArgumentation.prototype.sub_atom5 = LogicProgrammingScopeWithTheories.prototype.sub_atom5;
|
|
6132
|
+
PrologWithArgumentation.prototype.theory = LogicProgrammingScopeWithTheories.prototype.theory;
|
|
6133
|
+
PrologWithArgumentation.prototype.theoryOf = LogicProgrammingScopeWithTheories.prototype.theoryOf;
|
|
6134
|
+
PrologWithArgumentation.prototype.theoryOfIterable = LogicProgrammingScopeWithTheories.prototype.theoryOfIterable;
|
|
6135
|
+
PrologWithArgumentation.prototype.theoryOfSequence = LogicProgrammingScopeWithTheories.prototype.theoryOfSequence;
|
|
6136
|
+
PrologWithArgumentation.prototype.throw1 = LogicProgrammingScopeWithTheories.prototype.throw1;
|
|
6137
|
+
PrologWithArgumentation.prototype.unifyAny$default = LogicProgrammingScopeWithTheories.prototype.unifyAny$default;
|
|
6138
|
+
PrologWithArgumentation.prototype.unify = LogicProgrammingScopeWithTheories.prototype.unify;
|
|
6139
|
+
PrologWithArgumentation.prototype.unifyWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.unifyWithOccurCheck;
|
|
6140
|
+
PrologWithArgumentation.prototype.var1 = LogicProgrammingScopeWithTheories.prototype.var1;
|
|
6141
|
+
PrologWithArgumentation.prototype.write1 = LogicProgrammingScopeWithTheories.prototype.write1;
|
|
6142
|
+
PrologWithArgumentation.prototype.arithEq2 = LogicProgrammingScopeWithTheories.prototype.arithEq2;
|
|
6143
|
+
PrologWithArgumentation.prototype.arithNeq2 = LogicProgrammingScopeWithTheories.prototype.arithNeq2;
|
|
6144
|
+
PrologWithArgumentation.prototype.eq2 = LogicProgrammingScopeWithTheories.prototype.eq2;
|
|
6145
|
+
PrologWithArgumentation.prototype.id2 = LogicProgrammingScopeWithTheories.prototype.id2;
|
|
6146
|
+
PrologWithArgumentation.prototype.anyMatches = LogicProgrammingScopeWithTheories.prototype.anyMatches;
|
|
6147
|
+
PrologWithArgumentation.prototype.anyMguWith = LogicProgrammingScopeWithTheories.prototype.anyMguWith;
|
|
6148
|
+
PrologWithArgumentation.prototype.neq2 = LogicProgrammingScopeWithTheories.prototype.neq2;
|
|
6149
|
+
PrologWithArgumentation.prototype.nid2 = LogicProgrammingScopeWithTheories.prototype.nid2;
|
|
6150
|
+
PrologWithArgumentation.prototype.anyUnifyWith = LogicProgrammingScopeWithTheories.prototype.anyUnifyWith;
|
|
6151
|
+
PrologWithArgumentation.prototype.univ2 = LogicProgrammingScopeWithTheories.prototype.univ2;
|
|
6152
|
+
PrologWithArgumentation.prototype.list = LogicProgrammingScopeWithTheories.prototype.list;
|
|
6153
|
+
PrologWithArgumentation.prototype.listFrom = LogicProgrammingScopeWithTheories.prototype.listFrom;
|
|
6154
|
+
PrologWithArgumentation.prototype.listFromIterable = LogicProgrammingScopeWithTheories.prototype.listFromIterable;
|
|
6155
|
+
PrologWithArgumentation.prototype.listFromSequence = LogicProgrammingScopeWithTheories.prototype.listFromSequence;
|
|
6156
|
+
PrologWithArgumentation.prototype.matchAny = LogicProgrammingScopeWithTheories.prototype.matchAny;
|
|
6157
|
+
PrologWithArgumentation.prototype.mguAny = LogicProgrammingScopeWithTheories.prototype.mguAny;
|
|
6158
|
+
PrologWithArgumentation.prototype.mguWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.mguWithOccurCheck;
|
|
6159
|
+
PrologWithArgumentation.prototype.unifyAny = LogicProgrammingScopeWithTheories.prototype.unifyAny;
|
|
6201
6160
|
PrologWithArgumentationImpl.prototype.call_k9kufj$ = PrologWithArgumentation.prototype.call_k9kufj$;
|
|
6202
6161
|
PrologWithArgumentationImpl.prototype.matchAny$default = PrologWithArgumentation.prototype.matchAny$default;
|
|
6203
6162
|
PrologWithArgumentationImpl.prototype.mguAny$default = PrologWithArgumentation.prototype.mguAny$default;
|
|
@@ -6210,8 +6169,8 @@
|
|
|
6210
6169
|
PrologWithArgumentationImpl.prototype.anyMguWith = PrologWithArgumentation.prototype.anyMguWith;
|
|
6211
6170
|
PrologWithArgumentationImpl.prototype.anyUnifyWith = PrologWithArgumentation.prototype.anyUnifyWith;
|
|
6212
6171
|
PrologWithArgumentationImpl.prototype.list = PrologWithArgumentation.prototype.list;
|
|
6213
|
-
PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
|
|
6214
6172
|
PrologWithArgumentationImpl.prototype.listFromIterable = PrologWithArgumentation.prototype.listFromIterable;
|
|
6173
|
+
PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
|
|
6215
6174
|
PrologWithArgumentationImpl.prototype.listFromSequence = PrologWithArgumentation.prototype.listFromSequence;
|
|
6216
6175
|
PrologWithArgumentationImpl.prototype.matchAny = PrologWithArgumentation.prototype.matchAny;
|
|
6217
6176
|
PrologWithArgumentationImpl.prototype.mguWithOccurCheck = PrologWithArgumentation.prototype.mguWithOccurCheck;
|