@tuprolog/arg2p 0.16.6 → 0.16.7

package/arg2p-core.js

@@ -1,8 +1,8 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.js', './2p-solve-classic.js', './2p-theory.js', './2p-parser-theory.js', './2p-dsl-solve.js', './2p-dsl-core.js', './2p-core.js', './2p-dsl-unify.js', './2p-unify.js', './2p-dsl-theory.js', './2p-parser-core.js', './2p-io-lib.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.js', './2p-solve-prolog.js', './2p-theory.js', './2p-parser-theory.js', './2p-dsl-solve.js', './2p-dsl-core.js', './2p-core.js', './2p-dsl-unify.js', './2p-unify.js', './2p-dsl-theory.js', './2p-parser-core.js', './2p-io-lib.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-solve-classic.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-dsl-solve.js'), require('./2p-dsl-core.js'), require('./2p-core.js'), require('./2p-dsl-unify.js'), require('./2p-unify.js'), require('./2p-dsl-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-solve-prolog.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-dsl-solve.js'), require('./2p-dsl-core.js'), require('./2p-core.js'), require('./2p-dsl-unify.js'), require('./2p-unify.js'), require('./2p-dsl-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'));
   else {
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-core'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'arg2p-core'.");
@@ -10,8 +10,8 @@
     if (typeof globalThis['2p-solve'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-core'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'arg2p-core'.");
     }
-    if (typeof globalThis['2p-solve-classic'] === 'undefined') {
-      throw new Error("Error loading module 'arg2p-core'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'arg2p-core'.");
+    if (typeof globalThis['2p-solve-prolog'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-core'. Its dependency '2p-solve-prolog' was not found. Please, check whether '2p-solve-prolog' is loaded prior to 'arg2p-core'.");
     }
     if (typeof globalThis['2p-theory'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-core'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'arg2p-core'.");
@@ -43,171 +43,172 @@
     if (typeof globalThis['2p-io-lib'] === 'undefined') {
       throw new Error("Error loading module 'arg2p-core'. Its dependency '2p-io-lib' was not found. Please, check whether '2p-io-lib' is loaded prior to 'arg2p-core'.");
     }
-    globalThis['arg2p-core'] = factory(typeof globalThis['arg2p-core'] === 'undefined' ? {} : globalThis['arg2p-core'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-solve'], globalThis['2p-solve-classic'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-dsl-solve'], globalThis['2p-dsl-core'], globalThis['2p-core'], globalThis['2p-dsl-unify'], globalThis['2p-unify'], globalThis['2p-dsl-theory'], globalThis['2p-parser-core'], globalThis['2p-io-lib']);
+    globalThis['arg2p-core'] = factory(typeof globalThis['arg2p-core'] === 'undefined' ? {} : globalThis['arg2p-core'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-solve'], globalThis['2p-solve-prolog'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-dsl-solve'], globalThis['2p-dsl-core'], globalThis['2p-core'], globalThis['2p-dsl-unify'], globalThis['2p-unify'], globalThis['2p-dsl-theory'], globalThis['2p-parser-core'], globalThis['2p-io-lib']);
   }
-}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_dsl_solve, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_dsl_unify, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_prolog, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_dsl_solve, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_dsl_unify, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.r7;
-  var initMetadataForClass = kotlin_kotlin.$_$.e7;
+  var protoOf = kotlin_kotlin.$_$.s7;
+  var initMetadataForClass = kotlin_kotlin.$_$.f7;
   var VOID = kotlin_kotlin.$_$.b;
   var listOf = kotlin_kotlin.$_$.x3;
   var plus = kotlin_kotlin.$_$.r4;
   var emptyList = kotlin_kotlin.$_$.e3;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
-  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.g7;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
   var Unit_instance = kotlin_kotlin.$_$.q;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.w1;
-  var initMetadataForInterface = kotlin_kotlin.$_$.g7;
+  var initMetadataForInterface = kotlin_kotlin.$_$.h7;
   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.$_$.d1;
-  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
+  var PrologSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.a;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
-  var initMetadataForObject = kotlin_kotlin.$_$.i7;
+  var initMetadataForObject = kotlin_kotlin.$_$.j7;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_dsl_solve.$_$.a;
   var logicList = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
   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.$_$.t1;
-  var THROW_CCE = kotlin_kotlin.$_$.ec;
+  var copy = kotlin_it_unibo_tuprolog_solve.$_$.u1;
+  var THROW_CCE = kotlin_kotlin.$_$.gc;
   var mguAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.b;
   var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
   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 Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
+  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  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 LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var constructCallableReference = kotlin_kotlin.$_$.v6;
-  var lazy = kotlin_kotlin.$_$.mc;
-  var KProperty1 = kotlin_kotlin.$_$.m8;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.b7;
-  var CoroutineImpl = kotlin_kotlin.$_$.s5;
-  var SequenceScope = kotlin_kotlin.$_$.n8;
-  var map = kotlin_kotlin.$_$.l9;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r5;
-  var initMetadataForLambda = kotlin_kotlin.$_$.h7;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t3;
-  var sequenceOf = kotlin_kotlin.$_$.s9;
-  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.r2;
-  var sequence = kotlin_kotlin.$_$.t9;
+  var constructCallableReference = kotlin_kotlin.$_$.w6;
+  var lazy = kotlin_kotlin.$_$.pc;
+  var KProperty1 = kotlin_kotlin.$_$.n8;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.c7;
+  var CoroutineImpl = kotlin_kotlin.$_$.t5;
+  var SequenceScope = kotlin_kotlin.$_$.o8;
+  var map = kotlin_kotlin.$_$.m9;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.s5;
+  var initMetadataForLambda = kotlin_kotlin.$_$.i7;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.w3;
+  var sequenceOf = kotlin_kotlin.$_$.t9;
+  var get_help = kotlin_it_unibo_tuprolog_solve.$_$.n3;
+  var Helpable = kotlin_it_unibo_tuprolog_solve.$_$.o3;
+  var sequence = kotlin_kotlin.$_$.u9;
   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.$_$.h1;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var mapCapacity = kotlin_kotlin.$_$.y3;
-  var coerceAtLeast = kotlin_kotlin.$_$.f8;
+  var coerceAtLeast = kotlin_kotlin.$_$.g8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.u;
-  var ensureNotNull = kotlin_kotlin.$_$.kc;
+  var ensureNotNull = kotlin_kotlin.$_$.mc;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.q;
-  var first = kotlin_kotlin.$_$.b9;
-  var to = kotlin_kotlin.$_$.rc;
+  var first = kotlin_kotlin.$_$.c9;
+  var to = kotlin_kotlin.$_$.uc;
   var mutableMapOf = kotlin_kotlin.$_$.j4;
-  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.$_$.b1;
-  var Expected_ATOM_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var isInterface = kotlin_kotlin.$_$.m7;
+  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
+  var filter = kotlin_kotlin.$_$.a9;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
+  var Expected_ATOM_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
+  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
   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.$_$.t;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.v;
   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;
   var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.u;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
-  var toString = kotlin_kotlin.$_$.u7;
-  var getBooleanHashCode = kotlin_kotlin.$_$.a7;
-  var getStringHashCode = kotlin_kotlin.$_$.c7;
-  var hashCode = kotlin_kotlin.$_$.d7;
-  var equals = kotlin_kotlin.$_$.x6;
+  var toString = kotlin_kotlin.$_$.v7;
+  var getBooleanHashCode = kotlin_kotlin.$_$.b7;
+  var getStringHashCode = kotlin_kotlin.$_$.d7;
+  var hashCode = kotlin_kotlin.$_$.e7;
+  var equals = kotlin_kotlin.$_$.y6;
   var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
   var mapOf = kotlin_kotlin.$_$.z3;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.v3;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.y3;
   var logicProgramming_0 = kotlin_it_unibo_tuprolog_dsl_theory.$_$.i;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
-  var replace = kotlin_kotlin.$_$.za;
-  var startsWith = kotlin_kotlin.$_$.cb;
-  var contains = kotlin_kotlin.$_$.ka;
-  var toString_0 = kotlin_kotlin.$_$.qc;
-  var removeSurrounding = kotlin_kotlin.$_$.wa;
+  var replace = kotlin_kotlin.$_$.ab;
+  var startsWith = kotlin_kotlin.$_$.db;
+  var contains = kotlin_kotlin.$_$.la;
+  var toString_0 = kotlin_kotlin.$_$.tc;
+  var removeSurrounding = kotlin_kotlin.$_$.xa;
   var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
   var Companion_instance_6 = kotlin_kotlin.$_$.p;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_io_lib.$_$.b;
   var _Result___init__impl__xyqfz8 = kotlin_kotlin.$_$.i;
-  var createFailure = kotlin_kotlin.$_$.jc;
+  var createFailure = kotlin_kotlin.$_$.lc;
   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.$_$.v;
-  var Expected_LIST_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.w;
+  var Expected_LIST_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
   var List = kotlin_it_unibo_tuprolog_core.$_$.w1;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.z2;
-  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var KProperty0 = kotlin_kotlin.$_$.l8;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.a3;
+  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var KProperty0 = kotlin_kotlin.$_$.m8;
   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.$_$.x2;
+  var WithoutSideEffects = kotlin_it_unibo_tuprolog_solve.$_$.y2;
   var copyToArray = kotlin_kotlin.$_$.a3;
-  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.o2;
+  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.q2;
   var Companion_instance_9 = kotlin_it_unibo_tuprolog_core.$_$.p;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.g1;
   var Companion_getInstance_8 = kotlin_kotlin.$_$.n;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.y;
-  var isCharSequence = kotlin_kotlin.$_$.k7;
-  var trim = kotlin_kotlin.$_$.pb;
+  var isCharSequence = kotlin_kotlin.$_$.l7;
+  var trim = kotlin_kotlin.$_$.rb;
   var joinToString = kotlin_kotlin.$_$.o3;
-  var replace_0 = kotlin_kotlin.$_$.ya;
-  var toList = kotlin_kotlin.$_$.aa;
+  var replace_0 = kotlin_kotlin.$_$.za;
+  var toList = kotlin_kotlin.$_$.ba;
   var drop = kotlin_kotlin.$_$.d3;
   var Companion_instance_10 = kotlin_it_unibo_tuprolog_core.$_$.w;
   var parseTerm = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
   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.$_$.j1;
-  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
+  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_solve.$_$.k1;
+  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
-  var distinct = kotlin_kotlin.$_$.u8;
+  var distinct = kotlin_kotlin.$_$.v8;
   var checkIndexOverflow = kotlin_kotlin.$_$.p2;
   var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.k;
-  var toMap = kotlin_kotlin.$_$.i5;
+  var toMap = kotlin_kotlin.$_$.j5;
   var Collection = kotlin_kotlin.$_$.x1;
-  var emptySequence = kotlin_kotlin.$_$.w8;
+  var emptySequence = kotlin_kotlin.$_$.x8;
   var asReversed = kotlin_kotlin.$_$.k2;
   var DefaultComparator_instance = kotlin_it_unibo_tuprolog_core.$_$.x;
   var sortedWith = kotlin_kotlin.$_$.b5;
   var last = kotlin_kotlin.$_$.t3;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.q1;
-  var compareBy = kotlin_kotlin.$_$.p5;
-  var sortedWith_0 = kotlin_kotlin.$_$.u9;
-  var mapIndexed = kotlin_kotlin.$_$.k9;
-  var Pair = kotlin_kotlin.$_$.cc;
-  var toInt = kotlin_kotlin.$_$.lb;
-  var firstOrNull = kotlin_kotlin.$_$.a9;
+  var compareBy = kotlin_kotlin.$_$.q5;
+  var sortedWith_0 = kotlin_kotlin.$_$.v9;
+  var mapIndexed = kotlin_kotlin.$_$.l9;
+  var Pair = kotlin_kotlin.$_$.ec;
+  var toInt = kotlin_kotlin.$_$.nb;
+  var firstOrNull = kotlin_kotlin.$_$.b9;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.l1;
   var Cons = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var plus_1 = kotlin_kotlin.$_$.s4;
@@ -255,7 +256,7 @@
   initMetadataForClass(Arg2pSolver$Companion$of$1, VOID, VOID, VOID, [Arg2pSolver]);
   initMetadataForCompanion(Companion);
   initMetadataForObject(Arg2pSolverFactory, 'Arg2pSolverFactory');
-  initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithUnification]);
+  initMetadataForClass(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', PrologWithArgumentationImpl, VOID, [BaseLogicProgrammingScope, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithPrologStandardLibrary]);
   function get_theoryOperators() {
     return Companion_getInstance_0().DEFAULT;
   }
@@ -266,26 +267,26 @@
   initMetadataForInterface(Loadable, 'Loadable');
   initMetadataForClass(LazyRawPrologContent, 'LazyRawPrologContent', VOID, VOID, [ArgLibrary]);
   initMetadataForLambda(Cache$CacheGet$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForClass(CacheAssert, 'CacheAssert', VOID, VOID, [Primitive]);
-  initMetadataForClass(CacheRetract, 'CacheRetract', VOID, VOID, [Primitive]);
-  initMetadataForClass(CacheGet, 'CacheGet', VOID, VOID, [Primitive]);
+  initMetadataForClass(CacheAssert, 'CacheAssert', VOID, VOID, [Helpable]);
+  initMetadataForClass(CacheRetract, 'CacheRetract', VOID, VOID, [Helpable]);
+  initMetadataForClass(CacheGet, 'CacheGet', VOID, VOID, [Helpable]);
   initMetadataForClass(Cache, 'Cache', Cache, VOID, [ArgLibrary]);
   initMetadataForLambda(Context$DynamicCacheGet$solve$slambda, CoroutineImpl, VOID, [1]);
   initMetadataForLambda(Context$DynamicCacheGetIndexed$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForClass(DynamicCacheReset, 'DynamicCacheReset', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheSelected, 'DynamicCacheSelected', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheCheckout, 'DynamicCacheCheckout', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheBranch, 'DynamicCacheBranch', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheAssert, 'DynamicCacheAssert', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheRetract, 'DynamicCacheRetract', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheGet, 'DynamicCacheGet', VOID, VOID, [Primitive]);
-  initMetadataForClass(DynamicCacheGetIndexed, 'DynamicCacheGetIndexed', VOID, VOID, [Primitive]);
+  initMetadataForClass(DynamicCacheReset, 'DynamicCacheReset', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheSelected, 'DynamicCacheSelected', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheCheckout, 'DynamicCacheCheckout', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheBranch, 'DynamicCacheBranch', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheAssert, 'DynamicCacheAssert', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheRetract, 'DynamicCacheRetract', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheGet, 'DynamicCacheGet', VOID, VOID, [Helpable]);
+  initMetadataForClass(DynamicCacheGetIndexed, 'DynamicCacheGetIndexed', VOID, VOID, [Helpable]);
   initMetadataForClass(Context, 'Context', Context, VOID, [ArgLibrary]);
   initMetadataForLambda(DynamicLoader$AbstractWithLib$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForClass(AbstractWithLib, 'AbstractWithLib', VOID, VOID, [Primitive]);
+  initMetadataForClass(AbstractWithLib, 'AbstractWithLib', VOID, VOID, [Helpable]);
   initMetadataForClass(WithLib, 'WithLib', VOID, AbstractWithLib);
   initMetadataForClass(WithLibInNewContext, 'WithLibInNewContext', VOID, AbstractWithLib);
-  initMetadataForClass(ResetLoader, 'ResetLoader', VOID, VOID, [Primitive]);
+  initMetadataForClass(ResetLoader, 'ResetLoader', VOID, VOID, [Helpable]);
   initMetadataForCompanion(Companion_0);
   initMetadataForClass(DynamicLoader, 'DynamicLoader', VOID, VOID, [ArgLibrary]);
   initMetadataForClass(EngineInterfaceBase, 'EngineInterfaceBase', VOID, LazyRawPrologContent, [ArgLibrary, Loadable]);
@@ -295,7 +296,7 @@
   initMetadataForObject(MetaInterpreter, 'MetaInterpreter', VOID, VOID, [ArgLibrary, Loadable]);
   initMetadataForObject(ModuleCalls, 'ModuleCalls', VOID, VOID, [ArgLibrary, Loadable]);
   initMetadataForLambda(ModuleCall$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForObject(ModuleCall, 'ModuleCall', VOID, VOID, [Primitive]);
+  initMetadataForObject(ModuleCall, 'ModuleCall', VOID, VOID, [Helpable]);
   initMetadataForObject(ModulesPath, 'ModulesPath');
   initMetadataForClass(AbstractModeBase, 'AbstractModeBase', VOID, LazyRawPrologContent, [ArgLibrary, Loadable]);
   initMetadataForObject(GraphExtension, 'GraphExtension');
@@ -355,14 +356,14 @@
   initMetadataForObject(OrderingComparator, 'OrderingComparator');
   initMetadataForClass(UtilsBase, 'UtilsBase', VOID, LazyRawPrologContent, [ArgLibrary, Loadable]);
   initMetadataForLambda(AppendOptimized$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForObject(AppendOptimized, 'AppendOptimized', VOID, VOID, [Primitive]);
+  initMetadataForObject(AppendOptimized, 'AppendOptimized', VOID, VOID, [Helpable]);
   initMetadataForLambda(AssertAll$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForObject(AssertAll, 'AssertAll', VOID, VOID, [Primitive]);
+  initMetadataForObject(AssertAll, 'AssertAll', VOID, VOID, [Helpable]);
   initMetadataForObject(ArgumentHash, 'ArgumentHash', VOID, WithoutSideEffects_0);
   initMetadataForLambda(Contains$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForObject(Contains, 'Contains', VOID, VOID, [Primitive]);
+  initMetadataForObject(Contains, 'Contains', VOID, VOID, [Helpable]);
   initMetadataForLambda(ContainsAny$solve$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForObject(ContainsAny, 'ContainsAny', VOID, VOID, [Primitive]);
+  initMetadataForObject(ContainsAny, 'ContainsAny', VOID, VOID, [Helpable]);
   initMetadataForObject(SortTerms, 'SortTerms', VOID, WithoutSideEffects_0);
   initMetadataForObject(Deduplicate, 'Deduplicate', VOID, WithoutSideEffects_0);
   initMetadataForObject(SortDistinct, 'SortDistinct', VOID, WithoutSideEffects_0);
@@ -459,7 +460,7 @@
   protoOf(Arg2pSolverFactory).default_2z5lxt_k$ = function (theory, settings, staticLibs, dynamicLibs) {
     // Inline function 'kotlin.let' call
     var it = Companion_instance_11.default_fp6v0h_k$(plus_0(staticLibs, listOf_0(settings)), dynamicLibs);
-    return ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, it.to2pLibraries_1osajk_k$(), Companion_getInstance().DEFAULT_1.setNotable(Unknown_getInstance(), Unknown_getInstance().FAIL_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().ON_1), parseTheoryWithOperators(Companion_instance_0, theory, it.operators_rhxmbz_k$()));
+    return PrologSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, it.to2pLibraries_1osajk_k$(), Companion_getInstance().DEFAULT_1.setNotable(Unknown_getInstance(), Unknown_getInstance().FAIL_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().ON_1), parseTheoryWithOperators(Companion_instance_0, theory, it.operators_rhxmbz_k$()));
   };
   protoOf(Arg2pSolverFactory).default$default_dllkmc_k$ = function (theory, settings, staticLibs, dynamicLibs, $super) {
     theory = theory === VOID ? '' : theory;
@@ -476,7 +477,7 @@
     return function_0(new PrologWithArgumentationImpl());
   }
   function PrologWithArgumentationImpl() {
-    this.$$delegate_0__1 = Companion_instance_1.ofSolverFactory(ClassicSolverFactory_instance);
+    this.$$delegate_0__1 = Companion_instance_1.ofSolverFactory(PrologSolverFactory_instance);
   }
   protoOf(PrologWithArgumentationImpl).call1 = function (goal) {
     return this.$$delegate_0__1.call1(goal);
@@ -1393,7 +1394,7 @@
   function LazyRawPrologContent$_get_prologTheory_$ref_uti0i4() {
     return constructCallableReference(function (p0) {
       return p0.get_prologTheory_83d285_k$();
-    }, 1, 0, 144);
+    }, 1, 0, 138);
   }
   function LazyRawPrologContent() {
     var tmp = this;
@@ -1516,7 +1517,7 @@
   function Cache() {
     var tmp = this;
     // Inline function 'kotlin.also' call
-    var this_0 = ClassicSolverFactory_instance.rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
+    var this_0 = PrologSolverFactory_instance.rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
     this_0.setFlag(Unknown_getInstance().name_1, Unknown_getInstance().FAIL_1);
     tmp.solver_1 = this_0;
     this.alias_1 = 'prolog.argumentation.cache';
@@ -1690,7 +1691,7 @@
     this.$this_1.dynamicSolver_1.clear_j9egeb_k$();
     var tmp0 = this.$this_1.dynamicSolver_1;
     // Inline function 'kotlin.also' call
-    var this_0 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
+    var this_0 = PrologSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
     this_0.setFlag(Unknown_getInstance().name_1, Unknown_getInstance().FAIL_1);
     // Inline function 'kotlin.collections.set' call
     tmp0.put_4fpzoq_k$(0, this_0);
@@ -1742,7 +1743,7 @@
     var tmp0 = this.$this_1.dynamicSolver_1;
     var tmp2 = this.$this_1.nextSolver_1;
     // Inline function 'kotlin.also' call
-    var this_0 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.ofIterable(Companion_getInstance_1().get_default_qtagd4_k$(), ensureNotNull(this.$this_1.dynamicSolver_1.get_wei43m_k$(target)).get_dynamicKb_wvqg8j_k$()));
+    var this_0 = PrologSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.ofIterable(Companion_getInstance_1().get_default_qtagd4_k$(), ensureNotNull(this.$this_1.dynamicSolver_1.get_wei43m_k$(target)).get_dynamicKb_wvqg8j_k$()));
     this_0.setFlag(Unknown_getInstance().name_1, Unknown_getInstance().FAIL_1);
     // Inline function 'kotlin.collections.set' call
     tmp0.put_4fpzoq_k$(tmp2, this_0);
@@ -1819,7 +1820,7 @@
     this.selectedSolver_1 = 0;
     var tmp = this;
     // Inline function 'kotlin.also' call
-    var this_0 = ClassicSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
+    var this_0 = PrologSolverFactory_instance.mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_2.empty(Companion_getInstance_1().get_default_qtagd4_k$()));
     this_0.setFlag(Unknown_getInstance().name_1, Unknown_getInstance().FAIL_1);
     tmp.dynamicSolver_1 = mutableMapOf([to(0, this_0)]);
     this.alias_1 = 'prolog.argumentation.context';
@@ -2350,7 +2351,7 @@
   }
   function ModuleCall$mineModulesPath$lambda($context) {
     return function ($this$logicProgramming) {
-      var tmp = ClassicSolverFactory_instance.rawSolverOf(VOID, $context.get_libraries_lyf10w_k$()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.get_X_1mhr5b_k$(), []));
+      var tmp = PrologSolverFactory_instance.rawSolverOf(VOID, $context.get_libraries_lyf10w_k$()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.get_X_1mhr5b_k$(), []));
       return first(map(tmp, ModuleCall$mineModulesPath$lambda$lambda($this$logicProgramming)));
     };
   }
@@ -3164,56 +3165,56 @@
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 145, VOID, [p0]);
+    }, 0, 0, 139, VOID, [p0]);
   }
   function Axioms$_get_descriptionPair_$ref_6jbmrt(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 146, VOID, [p0]);
+    }, 0, 0, 140, VOID, [p0]);
   }
   function Bps$_get_descriptionPair_$ref_c8c7p(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 147, VOID, [p0]);
+    }, 0, 0, 141, VOID, [p0]);
   }
   function Premises$_get_descriptionPair_$ref_s0bltk(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 148, VOID, [p0]);
+    }, 0, 0, 142, VOID, [p0]);
   }
   function DefeasibleRules$_get_descriptionPair_$ref_kl0civ(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 149, VOID, [p0]);
+    }, 0, 0, 143, VOID, [p0]);
   }
   function ExtractStrictIds$_get_descriptionPair_$ref_faxu5w(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 150, VOID, [p0]);
+    }, 0, 0, 144, VOID, [p0]);
   }
   function RuleToClause$_get_descriptionPair_$ref_20povg(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 151, VOID, [p0]);
+    }, 0, 0, 145, VOID, [p0]);
   }
   function RuleToClauseNatural$_get_descriptionPair_$ref_ygl907(p0) {
     return constructCallableReference(function () {
       // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.descriptionPair' call
       var this_0 = p0;
       return to(this_0.signature, this_0.get_wrappedImplementation_qo1fgy_k$());
-    }, 0, 0, 152, VOID, [p0]);
+    }, 0, 0, 146, VOID, [p0]);
   }
   function RuleParserBase() {
     LazyRawPrologContent.call(this);
@@ -5509,10 +5510,23 @@
   protoOf(PrologWithArgumentationImpl).solverOf = solverOf;
   protoOf(LazyRawPrologContent).get_theoryOperators_6jbeo1_k$ = get_theoryOperators;
   protoOf(LazyRawPrologContent).content_fqilq1_k$ = content;
+  protoOf(CacheAssert).get_help_won7nu_k$ = get_help;
+  protoOf(CacheRetract).get_help_won7nu_k$ = get_help;
+  protoOf(CacheGet).get_help_won7nu_k$ = get_help;
   protoOf(Cache).get_theoryOperators_6jbeo1_k$ = get_theoryOperators;
   protoOf(Cache).content_fqilq1_k$ = content;
+  protoOf(DynamicCacheReset).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheSelected).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheCheckout).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheBranch).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheAssert).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheRetract).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheGet).get_help_won7nu_k$ = get_help;
+  protoOf(DynamicCacheGetIndexed).get_help_won7nu_k$ = get_help;
   protoOf(Context).get_theoryOperators_6jbeo1_k$ = get_theoryOperators;
   protoOf(Context).content_fqilq1_k$ = content;
+  protoOf(AbstractWithLib).get_help_won7nu_k$ = get_help;
+  protoOf(ResetLoader).get_help_won7nu_k$ = get_help;
   protoOf(DynamicLoader).content_fqilq1_k$ = content;
   protoOf(FlagsBuilder$create$1).get_theoryOperators_6jbeo1_k$ = get_theoryOperators;
   protoOf(FlagsBuilder$create$1).content_fqilq1_k$ = content;
@@ -5520,8 +5534,13 @@
   protoOf(MetaInterpreter).content_fqilq1_k$ = content;
   protoOf(ModuleCalls).get_theoryOperators_6jbeo1_k$ = get_theoryOperators;
   protoOf(ModuleCalls).content_fqilq1_k$ = content;
+  protoOf(ModuleCall).get_help_won7nu_k$ = get_help;
   protoOf(BinaryStatementLabeller).content_fqilq1_k$ = content;
   protoOf(PassThroughStatementLabeller).content_fqilq1_k$ = content;
+  protoOf(AppendOptimized).get_help_won7nu_k$ = get_help;
+  protoOf(AssertAll).get_help_won7nu_k$ = get_help;
+  protoOf(Contains).get_help_won7nu_k$ = get_help;
+  protoOf(ContainsAny).get_help_won7nu_k$ = get_help;
   //endregion
   //region block: init
   Companion_instance_11 = new Companion();