@tuprolog/arg2p 0.16.5 → 0.16.6

package/arg2p-causality-solver.js

@@ -69,14 +69,14 @@
   var Default_getInstance = kotlin_kotlin.$_$.l;
   var nextUInt = kotlin_kotlin.$_$.a8;
   var UInt = kotlin_kotlin.$_$.hc;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.s3;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t3;
   var protoOf = kotlin_kotlin.$_$.r7;
   var VOID = kotlin_kotlin.$_$.b;
   var sequenceOf = kotlin_kotlin.$_$.s9;
-  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.q2;
+  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.r2;
   var initMetadataForClass = kotlin_kotlin.$_$.e7;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
   var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
   var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
@@ -88,7 +88,7 @@
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
   var replace = kotlin_kotlin.$_$.ya;
   var listOf = kotlin_kotlin.$_$.x3;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var mapCapacity = kotlin_kotlin.$_$.y3;
   var coerceAtLeast = kotlin_kotlin.$_$.f8;
   var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.u;

package/arg2p-core.js

@@ -56,7 +56,7 @@
   var plus = kotlin_kotlin.$_$.r4;
   var emptyList = kotlin_kotlin.$_$.e3;
   var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
-  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
   var Unit_instance = kotlin_kotlin.$_$.q;
@@ -65,9 +65,9 @@
   var listOf_0 = kotlin_kotlin.$_$.w3;
   var plus_0 = kotlin_kotlin.$_$.q4;
   var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c1;
-  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d1;
+  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
   var initMetadataForObject = kotlin_kotlin.$_$.i7;
@@ -76,7 +76,7 @@
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.g1;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var copy = kotlin_it_unibo_tuprolog_solve.$_$.s1;
+  var copy = kotlin_it_unibo_tuprolog_solve.$_$.t1;
   var THROW_CCE = kotlin_kotlin.$_$.ec;
   var mguAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.b;
   var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.b;
@@ -84,14 +84,14 @@
   var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
   var solverOf = kotlin_it_unibo_tuprolog_dsl_solve.$_$.b;
   var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
   var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
   var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
-  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.i;
   var constructCallableReference = kotlin_kotlin.$_$.v6;
   var lazy = kotlin_kotlin.$_$.mc;
@@ -102,13 +102,13 @@
   var map = kotlin_kotlin.$_$.l9;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r5;
   var initMetadataForLambda = kotlin_kotlin.$_$.h7;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.s3;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t3;
   var sequenceOf = kotlin_kotlin.$_$.s9;
-  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.q2;
+  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.r2;
   var sequence = kotlin_kotlin.$_$.t9;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_theory.$_$.a;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var mapCapacity = kotlin_kotlin.$_$.y3;
   var coerceAtLeast = kotlin_kotlin.$_$.f8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.u;
@@ -118,21 +118,22 @@
   var first = kotlin_kotlin.$_$.b9;
   var to = kotlin_kotlin.$_$.rc;
   var mutableMapOf = kotlin_kotlin.$_$.j4;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.u3;
+  var isInterface = kotlin_kotlin.$_$.l7;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.o1;
   var filter = kotlin_kotlin.$_$.z8;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var Expected_LIST_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var Expected_ATOM_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var isInterface = kotlin_kotlin.$_$.l7;
-  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
+  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
   var logicProgramming = kotlin_it_unibo_tuprolog_dsl_core.$_$.d5;
   var Specifier_XFX_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.n1;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
   var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.v;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.s;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.t;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.t;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.u;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.l;
   var parseClause = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
@@ -145,7 +146,7 @@
   var equals = kotlin_kotlin.$_$.x6;
   var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
   var mapOf = kotlin_kotlin.$_$.z3;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t3;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.v3;
   var logicProgramming_0 = kotlin_it_unibo_tuprolog_dsl_theory.$_$.i;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
   var replace = kotlin_kotlin.$_$.za;
@@ -160,17 +161,18 @@
   var createFailure = kotlin_kotlin.$_$.jc;
   var _Result___get_value__impl__bjfvqg = kotlin_kotlin.$_$.k;
   var _Result___get_isFailure__impl__jpiriv = kotlin_kotlin.$_$.j;
-  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.v;
+  var Expected_LIST_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
   var List = kotlin_it_unibo_tuprolog_core.$_$.w1;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.y2;
-  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.b2;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.z2;
+  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.c2;
   var KProperty0 = kotlin_kotlin.$_$.l8;
   var mapOf_0 = kotlin_kotlin.$_$.a4;
   var Default_getInstance = kotlin_kotlin.$_$.l;
   var listToTerm = kotlin_it_unibo_tuprolog_core.$_$.i3;
-  var WithoutSideEffects = kotlin_it_unibo_tuprolog_solve.$_$.w2;
+  var WithoutSideEffects = kotlin_it_unibo_tuprolog_solve.$_$.x2;
   var copyToArray = kotlin_kotlin.$_$.a3;
-  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.o2;
   var Companion_instance_9 = kotlin_it_unibo_tuprolog_core.$_$.p;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.g1;
   var Companion_getInstance_8 = kotlin_kotlin.$_$.n;
@@ -186,8 +188,8 @@
   var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var first_0 = kotlin_kotlin.$_$.i3;
   var prolog = kotlin_it_unibo_tuprolog_dsl_solve.$_$.d;
-  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
+  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
   var distinct = kotlin_kotlin.$_$.u8;
   var checkIndexOverflow = kotlin_kotlin.$_$.p2;
@@ -253,7 +255,7 @@
   initMetadataForClass(Arg2pSolver$Companion$of$1, VOID, VOID, VOID, [Arg2pSolver]);
   initMetadataForCompanion(Companion);
   initMetadataForObject(Arg2pSolverFactory, 'Arg2pSolverFactory');
-  initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithOperators]);
+  initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithUnification]);
   function get_theoryOperators() {
     return Companion_getInstance_0().DEFAULT;
   }
@@ -1843,7 +1845,13 @@
   };
   function DynamicLoader$AbstractWithLib$solve$slambda$lambda($request) {
     return function (it) {
-      return $request.replyWith(it.get_substitution_i7fi9y_k$(), VOID, []);
+      var tmp;
+      if (isInterface(it, Halt)) {
+        throw it.get_exception_x0n6w6_k$();
+      } else {
+        tmp = $request.replyWith(it.get_substitution_i7fi9y_k$(), VOID, []);
+      }
+      return tmp;
     };
   }
   function DynamicLoader$AbstractWithLib$solve$slambda($solver, $goal, $request, resultContinuation) {
@@ -1926,7 +1934,7 @@
     var lib = request.arguments.get_c1px32_k$(0);
     var goal = request.arguments.get_c1px32_k$(1);
     if (!isInterface(lib, Atom)) {
-      throw Companion_instance_3.forGoal(request.context, request.signature, Expected_LIST_getInstance(), lib);
+      throw Companion_instance_3.forGoal(request.context, request.signature, Expected_ATOM_getInstance(), lib);
     }
     if (!isInterface(goal, Struct)) {
       throw Companion_instance_3.forGoal(request.context, request.signature, Expected_CALLABLE_getInstance(), goal);
@@ -2251,7 +2259,11 @@
       if (isInterface(it, Yes)) {
         tmp = $request.replySuccess(it.get_substitution_i7fi9y_k$(), VOID, []);
       } else {
-        tmp = $request.replyFail(VOID, []);
+        if (isInterface(it, Halt)) {
+          throw it.get_exception_x0n6w6_k$();
+        } else {
+          tmp = $request.replyFail(VOID, []);
+        }
       }
       return tmp;
     };
@@ -4394,7 +4406,7 @@
       throw Companion_instance_3.forGoal(request.context, request.signature, Expected_LIST_getInstance(), list);
     }
     if (!isInterface(elemList, List)) {
-      throw Companion_instance_3.forGoal(request.context, request.signature, Expected_LIST_getInstance(), list);
+      throw Companion_instance_3.forGoal(request.context, request.signature, Expected_LIST_getInstance(), elemList);
     }
     return sequence(ContainsAny$solve$slambda_0(request, list, elemList, null));
   };