@tuprolog/arg2p 0.16.5 → 0.16.7

package/2p-dsl-core.js

@@ -21,18 +21,18 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
-  var THROW_CCE = kotlin_kotlin.$_$.ec;
+  var THROW_CCE = kotlin_kotlin.$_$.gc;
   var Unit_instance = kotlin_kotlin.$_$.q;
-  var constructCallableReference = kotlin_kotlin.$_$.v6;
+  var constructCallableReference = kotlin_kotlin.$_$.w6;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
-  var protoOf = kotlin_kotlin.$_$.r7;
-  var toString = kotlin_kotlin.$_$.u7;
+  var protoOf = kotlin_kotlin.$_$.s7;
+  var toString = kotlin_kotlin.$_$.v7;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.a3;
-  var isInterface = kotlin_kotlin.$_$.l7;
+  var isInterface = kotlin_kotlin.$_$.m7;
   var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.d2;
-  var getKClassFromExpression = kotlin_kotlin.$_$.j8;
-  var getKClass = kotlin_kotlin.$_$.k8;
+  var getKClassFromExpression = kotlin_kotlin.$_$.k8;
+  var getKClass = kotlin_kotlin.$_$.l8;
   var toString_0 = kotlin_kotlin.$_$.h;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var asIterable = kotlin_kotlin.$_$.i2;
@@ -40,28 +40,28 @@
   var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
   var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.r;
-  var map = kotlin_kotlin.$_$.l9;
+  var map = kotlin_kotlin.$_$.m9;
   var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.t;
-  var Char = kotlin_kotlin.$_$.rb;
+  var Char = kotlin_kotlin.$_$.tb;
   var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.m;
   var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
   var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
-  var Sequence = kotlin_kotlin.$_$.o8;
+  var Sequence = kotlin_kotlin.$_$.p8;
   var Iterable = kotlin_kotlin.$_$.y1;
   var KtList = kotlin_kotlin.$_$.a2;
   var KtSet = kotlin_kotlin.$_$.d2;
-  var Pair = kotlin_kotlin.$_$.cc;
-  var Triple = kotlin_kotlin.$_$.gc;
+  var Pair = kotlin_kotlin.$_$.ec;
+  var Triple = kotlin_kotlin.$_$.ic;
   var Entry = kotlin_kotlin.$_$.b2;
   var KtMap = kotlin_kotlin.$_$.c2;
-  var initMetadataForClass = kotlin_kotlin.$_$.e7;
+  var initMetadataForClass = kotlin_kotlin.$_$.f7;
   var VOID = kotlin_kotlin.$_$.b;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
   var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
-  var initMetadataForInterface = kotlin_kotlin.$_$.g7;
+  var initMetadataForInterface = kotlin_kotlin.$_$.h7;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.c1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.g7;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.g1;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.f1;
@@ -71,7 +71,7 @@
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.d3;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var sequenceOf = kotlin_kotlin.$_$.r9;
+  var sequenceOf = kotlin_kotlin.$_$.s9;
   var copyToArray = kotlin_kotlin.$_$.a3;
   var listOf = kotlin_kotlin.$_$.x3;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.z1;
@@ -105,193 +105,6 @@
   }
   initMetadataForInterface(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', VOID, VOID, [Scope]);
   initMetadataForCompanion(Companion);
-  function at_end_of_stream1(alias) {
-    return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
-  }
-  function call1(goal) {
-    return this.structOf('call', [this.convertToTerm(goal)]);
-  }
-  function catch3(goal, error, continuation) {
-    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
-  }
-  function throw1(error) {
-    return this.structOf('throw', [this.convertToTerm(error)]);
-  }
-  function not1(goal) {
-    return this.structOf('not', [this.convertToTerm(goal)]);
-  }
-  function naf1(goal) {
-    return this.structOf('\\+', [this.convertToTerm(goal)]);
-  }
-  function assert1(clause) {
-    return this.structOf('assert', [this.convertToTerm(clause)]);
-  }
-  function asserta1(clause) {
-    return this.structOf('asserta', [this.convertToTerm(clause)]);
-  }
-  function assertz1(clause) {
-    return this.structOf('assertz', [this.convertToTerm(clause)]);
-  }
-  function arg3(index, compound, argument) {
-    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
-  }
-  function atom1(atom) {
-    return this.structOf('atom', [this.convertToTerm(atom)]);
-  }
-  function atomic1(atomic) {
-    return this.structOf('atomic', [this.convertToTerm(atomic)]);
-  }
-  function between3(min, max, number) {
-    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
-  }
-  function callable1(goal) {
-    return this.structOf('callable', [this.convertToTerm(goal)]);
-  }
-  function compound1(struct) {
-    return this.structOf('compound', [this.convertToTerm(struct)]);
-  }
-  function current_op3(precedence, specifier, functor) {
-    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
-  }
-  function op3(precedence, specifier, functor) {
-    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
-  }
-  function findall3(template, goal, bag) {
-    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
-  }
-  function float1(number) {
-    return this.structOf('float', [this.convertToTerm(number)]);
-  }
-  function functor3(struct, functor, arity) {
-    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
-  }
-  function ground1(term) {
-    return this.structOf('ground', [this.convertToTerm(term)]);
-  }
-  function integer1(number) {
-    return this.structOf('integer', [this.convertToTerm(number)]);
-  }
-  function natural(number) {
-    return this.structOf('natural', [this.convertToTerm(number)]);
-  }
-  function nonvar1(number) {
-    return this.structOf('nonvar', [this.convertToTerm(number)]);
-  }
-  function number1(number) {
-    return this.structOf('number', [this.convertToTerm(number)]);
-  }
-  function var1(term) {
-    return this.structOf('var', [this.convertToTerm(term)]);
-  }
-  function write1(term) {
-    return this.structOf('write', [this.convertToTerm(term)]);
-  }
-  function univ2(_this__u8e3s4, other) {
-    return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function eq2(_this__u8e3s4, right) {
-    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function neq2(_this__u8e3s4, right) {
-    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function id2(_this__u8e3s4, right) {
-    return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function nid2(_this__u8e3s4, right) {
-    return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function arithEq2(_this__u8e3s4, right) {
-    return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function arithNeq2(_this__u8e3s4, right) {
-    return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
-  }
-  function member2(item, list) {
-    return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
-  }
-  function retract1(clause) {
-    return this.structOf('retract', [this.convertToTerm(clause)]);
-  }
-  function append3(left, right, result) {
-    return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
-  }
-  function retractall1(clause) {
-    return this.structOf('retractall', [this.convertToTerm(clause)]);
-  }
-  function abolish1(indicator) {
-    return this.structOf('abolish', [this.convertToTerm(indicator)]);
-  }
-  function atom_chars2(atom, chars) {
-    return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
-  }
-  function atom_codes2(atom, codes) {
-    return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
-  }
-  function atom_concat3(first, second, result) {
-    return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
-  }
-  function atom_length2(atom, length) {
-    return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
-  }
-  function char_code2(char, code) {
-    return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
-  }
-  function clause2(head, body) {
-    return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
-  }
-  function copy_term2(term, copy) {
-    return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
-  }
-  function current_flag2(name, value) {
-    return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
-  }
-  function current_prolog_flag2(name, value) {
-    return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
-  }
-  function sub_atom5(atom, before, length, after, sub_atom) {
-    return this.structOf('sub_atom', [this.convertToTerm(atom), this.convertToTerm(before), this.convertToTerm(length), this.convertToTerm(after), this.convertToTerm(sub_atom)]);
-  }
-  function number_chars2(first, second) {
-    return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
-  }
-  function number_codes2(first, second) {
-    return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
-  }
-  function bagof3(template, goal, bag) {
-    return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
-  }
-  function setof3(template, goal, bag) {
-    return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
-  }
-  function consult1(url) {
-    return this.structOf('consult', [this.convertToTerm(url)]);
-  }
-  function set_flag2(name, value) {
-    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
-  }
-  function set_prolog_flag2(name, value) {
-    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
-  }
-  function dynamic1(indicator) {
-    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
-  }
-  function static1(indicator) {
-    return this.structOf('static', [this.convertToTerm(indicator)]);
-  }
-  function solve1(goal) {
-    return this.structOf('solve', [this.convertToTerm(goal)]);
-  }
-  function initialization1(goal) {
-    return this.structOf('initialization', [this.convertToTerm(goal)]);
-  }
-  function load1(url) {
-    return this.structOf('load', [this.convertToTerm(url)]);
-  }
-  function include1(url) {
-    return this.structOf('include', [this.convertToTerm(url)]);
-  }
-  initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
   function stringInvoke(_this__u8e3s4, term, terms) {
     var tmp = sequenceOf(arrayConcat([[term], terms]));
     return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
@@ -426,39 +239,6 @@
     return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
   }
   initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
-  function varTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
-  }
-  function stringTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
-  }
-  function substitutionGet(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.get_wei43m_k$(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
-    }
-    return tmp;
-  }
-  function substitutionContainsKey(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.containsKey_aw81wo_k$(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
-    }
-    return tmp;
-  }
-  function substitutionContains(_this__u8e3s4, term) {
-    return this.substitutionContainsKey(_this__u8e3s4, term);
-  }
-  function substitutionContainsValue(_this__u8e3s4, term) {
-    return _this__u8e3s4.containsValue_yf2ykl_k$(this.convertToTerm(term));
-  }
-  initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
   function termPlus(_this__u8e3s4, other) {
     return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
@@ -617,7 +397,227 @@
     return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
   }
   initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators]);
+  function varTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
+  }
+  function stringTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
+  }
+  function substitutionGet(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.get_wei43m_k$(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
+  }
+  function substitutionContainsKey(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.containsKey_aw81wo_k$(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
+  }
+  function substitutionContains(_this__u8e3s4, term) {
+    return this.substitutionContainsKey(_this__u8e3s4, term);
+  }
+  function substitutionContainsValue(_this__u8e3s4, term) {
+    return _this__u8e3s4.containsValue_yf2ykl_k$(this.convertToTerm(term));
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
+  function at_end_of_stream1(alias) {
+    return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
+  }
+  function call1(goal) {
+    return this.structOf('call', [this.convertToTerm(goal)]);
+  }
+  function catch3(goal, error, continuation) {
+    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
+  }
+  function throw1(error) {
+    return this.structOf('throw', [this.convertToTerm(error)]);
+  }
+  function not1(goal) {
+    return this.structOf('not', [this.convertToTerm(goal)]);
+  }
+  function naf1(goal) {
+    return this.structOf('\\+', [this.convertToTerm(goal)]);
+  }
+  function assert1(clause) {
+    return this.structOf('assert', [this.convertToTerm(clause)]);
+  }
+  function asserta1(clause) {
+    return this.structOf('asserta', [this.convertToTerm(clause)]);
+  }
+  function assertz1(clause) {
+    return this.structOf('assertz', [this.convertToTerm(clause)]);
+  }
+  function arg3(index, compound, argument) {
+    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
+  }
+  function atom1(atom) {
+    return this.structOf('atom', [this.convertToTerm(atom)]);
+  }
+  function atomic1(atomic) {
+    return this.structOf('atomic', [this.convertToTerm(atomic)]);
+  }
+  function between3(min, max, number) {
+    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
+  }
+  function callable1(goal) {
+    return this.structOf('callable', [this.convertToTerm(goal)]);
+  }
+  function compound1(struct) {
+    return this.structOf('compound', [this.convertToTerm(struct)]);
+  }
+  function current_op3(precedence, specifier, functor) {
+    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  }
+  function op3(precedence, specifier, functor) {
+    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  }
+  function findall3(template, goal, bag) {
+    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  }
+  function float1(number) {
+    return this.structOf('float', [this.convertToTerm(number)]);
+  }
+  function functor3(struct, functor, arity) {
+    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
+  }
+  function ground1(term) {
+    return this.structOf('ground', [this.convertToTerm(term)]);
+  }
+  function integer1(number) {
+    return this.structOf('integer', [this.convertToTerm(number)]);
+  }
+  function natural(number) {
+    return this.structOf('natural', [this.convertToTerm(number)]);
+  }
+  function nonvar1(number) {
+    return this.structOf('nonvar', [this.convertToTerm(number)]);
+  }
+  function number1(number) {
+    return this.structOf('number', [this.convertToTerm(number)]);
+  }
+  function var1(term) {
+    return this.structOf('var', [this.convertToTerm(term)]);
+  }
+  function write1(term) {
+    return this.structOf('write', [this.convertToTerm(term)]);
+  }
+  function univ2(_this__u8e3s4, other) {
+    return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  }
+  function eq2(_this__u8e3s4, right) {
+    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function neq2(_this__u8e3s4, right) {
+    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function id2(_this__u8e3s4, right) {
+    return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function nid2(_this__u8e3s4, right) {
+    return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function arithEq2(_this__u8e3s4, right) {
+    return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function arithNeq2(_this__u8e3s4, right) {
+    return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  }
+  function member2(item, list) {
+    return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
+  }
+  function retract1(clause) {
+    return this.structOf('retract', [this.convertToTerm(clause)]);
+  }
+  function append3(left, right, result) {
+    return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
+  }
+  function retractall1(clause) {
+    return this.structOf('retractall', [this.convertToTerm(clause)]);
+  }
+  function abolish1(indicator) {
+    return this.structOf('abolish', [this.convertToTerm(indicator)]);
+  }
+  function atom_chars2(atom, chars) {
+    return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
+  }
+  function atom_codes2(atom, codes) {
+    return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
+  }
+  function atom_concat3(first, second, result) {
+    return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
+  }
+  function atom_length2(atom, length) {
+    return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
+  }
+  function char_code2(char, code) {
+    return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
+  }
+  function clause2(head, body) {
+    return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
+  }
+  function copy_term2(term, copy) {
+    return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
+  }
+  function current_flag2(name, value) {
+    return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function current_prolog_flag2(name, value) {
+    return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function sub_atom5(atom, before, length, after, sub_atom) {
+    return this.structOf('sub_atom', [this.convertToTerm(atom), this.convertToTerm(before), this.convertToTerm(length), this.convertToTerm(after), this.convertToTerm(sub_atom)]);
+  }
+  function number_chars2(first, second) {
+    return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
+  }
+  function number_codes2(first, second) {
+    return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
+  }
+  function bagof3(template, goal, bag) {
+    return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  }
+  function setof3(template, goal, bag) {
+    return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  }
+  function consult1(url) {
+    return this.structOf('consult', [this.convertToTerm(url)]);
+  }
+  function set_flag2(name, value) {
+    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function set_prolog_flag2(name, value) {
+    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  }
+  function dynamic1(indicator) {
+    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
+  }
+  function static1(indicator) {
+    return this.structOf('static', [this.convertToTerm(indicator)]);
+  }
+  function solve1(goal) {
+    return this.structOf('solve', [this.convertToTerm(goal)]);
+  }
+  function initialization1(goal) {
+    return this.structOf('initialization', [this.convertToTerm(goal)]);
+  }
+  function load1(url) {
+    return this.structOf('load', [this.convertToTerm(url)]);
+  }
+  function include1(url) {
+    return this.structOf('include', [this.convertToTerm(url)]);
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [BaseLogicProgrammingScope, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithPrologStandardLibrary]);
   initMetadataForCompanion(Companion_0);
   initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
   //endregion
@@ -634,77 +634,77 @@
   function AbstractTermificator$handleCharAsString$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleCharAsString_4c4o0s_k$(p0_0.value_1);
-    }, 1, 0, 93, 'handleCharAsString', [p0]);
+    }, 1, 0, 87, 'handleCharAsString', [p0]);
   }
   function AbstractTermificator$handleBooleanAsTruth$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleBooleanAsTruth_5aozo4_k$(p0_0);
-    }, 1, 0, 94, 'handleBooleanAsTruth', [p0]);
+    }, 1, 0, 88, 'handleBooleanAsTruth', [p0]);
   }
   function AbstractTermificator$handleStringAsAtomOrVariable$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleStringAsAtomOrVariable_vn22sf_k$(p0_0);
-    }, 1, 0, 95, 'handleStringAsAtomOrVariable', [p0]);
+    }, 1, 0, 89, 'handleStringAsAtomOrVariable', [p0]);
   }
   function AbstractTermificator$handleBigIntegerAsInteger$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleBigIntegerAsInteger_p5tknf_k$(p0_0);
-    }, 1, 0, 96, 'handleBigIntegerAsInteger', [p0]);
+    }, 1, 0, 90, 'handleBigIntegerAsInteger', [p0]);
   }
   function AbstractTermificator$handleBigDecimalAsReal$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleBigDecimalAsReal_gsm0at_k$(p0_0);
-    }, 1, 0, 97, 'handleBigDecimalAsReal', [p0]);
+    }, 1, 0, 91, 'handleBigDecimalAsReal', [p0]);
   }
   function AbstractTermificator$handleNumberAsNumeric$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleNumberAsNumeric_mlad0f_k$(p0_0);
-    }, 1, 0, 98, 'handleNumberAsNumeric', [p0]);
+    }, 1, 0, 92, 'handleNumberAsNumeric', [p0]);
   }
   function AbstractTermificator$handleArrayAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleArrayAsList_ov2k4j_k$(p0_0);
-    }, 1, 0, 99, 'handleArrayAsList', [p0]);
+    }, 1, 0, 93, 'handleArrayAsList', [p0]);
   }
   function AbstractTermificator$handleSequenceAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleSequenceAsList_xpdiuf_k$(p0_0);
-    }, 1, 0, 100, 'handleSequenceAsList', [p0]);
+    }, 1, 0, 94, 'handleSequenceAsList', [p0]);
   }
   function AbstractTermificator$handleIterableAsList$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleIterableAsList_rtt3vc_k$(p0_0);
-    }, 1, 0, 101, 'handleIterableAsList', [p0]);
+    }, 1, 0, 95, 'handleIterableAsList', [p0]);
   }
   function AbstractTermificator$handleKotlinListAsLogicList$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleKotlinListAsLogicList_3lr5v1_k$(p0_0);
-    }, 1, 0, 102, 'handleKotlinListAsLogicList', [p0]);
+    }, 1, 0, 96, 'handleKotlinListAsLogicList', [p0]);
   }
   function AbstractTermificator$handleSetAsBlock$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleSetAsBlock_umzisl_k$(p0_0);
-    }, 1, 0, 103, 'handleSetAsBlock', [p0]);
+    }, 1, 0, 97, 'handleSetAsBlock', [p0]);
   }
   function AbstractTermificator$handlePairAsTuple$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handlePairAsTuple_wk96bv_k$(p0_0);
-    }, 1, 0, 104, 'handlePairAsTuple', [p0]);
+    }, 1, 0, 98, 'handlePairAsTuple', [p0]);
   }
   function AbstractTermificator$handleTripletAsTuple$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleTripletAsTuple_sx17bz_k$(p0_0);
-    }, 1, 0, 105, 'handleTripletAsTuple', [p0]);
+    }, 1, 0, 99, 'handleTripletAsTuple', [p0]);
   }
   function AbstractTermificator$handleKeyValuePairAsStruct$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleKeyValuePairAsStruct_mdstn7_k$(p0_0);
-    }, 1, 0, 106, 'handleKeyValuePairAsStruct', [p0]);
+    }, 1, 0, 100, 'handleKeyValuePairAsStruct', [p0]);
   }
   function AbstractTermificator$handleMapAsBlock$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.handleMapAsBlock_vbyuxp_k$(p0_0);
-    }, 1, 0, 107, 'handleMapAsBlock', [p0]);
+    }, 1, 0, 101, 'handleMapAsBlock', [p0]);
   }
   function AbstractTermificator(scope) {
     this.scope_1 = scope;
@@ -1190,12 +1190,12 @@
   function MinimalLogicProgrammingScope$directiveOf$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.directiveOf(p0_0, []);
-    }, 1, 0, 108, VOID, [p0]);
+    }, 1, 0, 102, VOID, [p0]);
   }
   function MinimalLogicProgrammingScope$factOf$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.factOf(p0_0);
-    }, 1, 0, 109, 'factOf', [p0]);
+    }, 1, 0, 103, 'factOf', [p0]);
   }
   function MinimalLogicProgrammingScope() {
   }