@tuprolog/arg2p 0.16.6 → 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,298 @@
   }
   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 stringInvoke(_this__u8e3s4, term, terms) {
+    var tmp = sequenceOf(arrayConcat([[term], terms]));
+    return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
   }
-  function call1(goal) {
-    return this.structOf('call', [this.convertToTerm(goal)]);
+  function structOfAny(functor, args) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(args.length);
+    var inductionVariable = 0;
+    var last = args.length;
+    while (inductionVariable < last) {
+      var item = args[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.structOf(functor, tmp$ret$3.slice());
   }
-  function catch3(goal, error, continuation) {
-    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
+  function tupleOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.tupleOf(tmp$ret$3.slice());
   }
-  function throw1(error) {
-    return this.structOf('throw', [this.convertToTerm(error)]);
+  function logicListOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.logicListOf(tmp$ret$3.slice());
   }
-  function not1(goal) {
-    return this.structOf('not', [this.convertToTerm(goal)]);
+  function blockOfAny(terms) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.blockOf(tmp$ret$3.slice());
   }
-  function naf1(goal) {
-    return this.structOf('\\+', [this.convertToTerm(goal)]);
+  function factOfAny(term) {
+    var tmp = this.convertToTerm(term);
+    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
   }
-  function assert1(clause) {
-    return this.structOf('assert', [this.convertToTerm(clause)]);
+  function consOfAny(head, tail) {
+    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
   }
-  function asserta1(clause) {
-    return this.structOf('asserta', [this.convertToTerm(clause)]);
+  function directiveOfAny(term, terms) {
+    var tmp = this.convertToTerm(term);
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(terms.length);
+    var inductionVariable = 0;
+    var last = terms.length;
+    while (inductionVariable < last) {
+      var item = terms[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$3 = copyToArray(destination);
+    return this.directiveOf(tmp, tmp$ret$3.slice());
   }
-  function assertz1(clause) {
-    return this.structOf('assertz', [this.convertToTerm(clause)]);
+  function withScope(function_0) {
+    return function_0(this.newScope());
   }
-  function arg3(index, compound, argument) {
-    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
+  function logicList(items, tail) {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = listOf(items.slice());
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
+    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+      var item = _iterator__ex2g4s.next_20eer_k$();
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    // Inline function 'kotlin.let' call
+    var tmp;
+    if (!(tail == null)) {
+      tmp = this.logicListFrom_yn067b_k$(destination, this.convertToTerm(tail));
+    } else {
+      tmp = this.logicListOfIterable(destination);
+    }
+    return tmp;
   }
-  function atom1(atom) {
-    return this.structOf('atom', [this.convertToTerm(atom)]);
+  function logicList_0(items, tail, $super) {
+    tail = tail === VOID ? null : tail;
+    return $super === VOID ? this.logicList_6qlnr0_k$(items, tail) : logicList(items, tail);
   }
-  function atomic1(atomic) {
-    return this.structOf('atomic', [this.convertToTerm(atomic)]);
+  function rule(function_0) {
+    var tmp = this.convertToTerm(function_0(this.newScope()));
+    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
-  function between3(min, max, number) {
-    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
+  function directive(function_0) {
+    var tmp = function_0(this.newScope());
+    var tmp_0 = getKClass(Directive);
+    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directiveOf$ref(this));
   }
-  function callable1(goal) {
-    return this.structOf('callable', [this.convertToTerm(goal)]);
+  function fact(function_0) {
+    var tmp = function_0(this.newScope());
+    var tmp_0 = getKClass(Fact);
+    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
   }
-  function compound1(struct) {
-    return this.structOf('compound', [this.convertToTerm(struct)]);
+  initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
+  function termPlus(_this__u8e3s4, other) {
+    return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function current_op3(precedence, specifier, functor) {
-    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  function number(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function op3(precedence, specifier, functor) {
-    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  function booleanPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function findall3(template, goal, bag) {
-    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  function charPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function float1(number) {
-    return this.structOf('float', [this.convertToTerm(number)]);
+  function termMinus(_this__u8e3s4, other) {
+    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function functor3(struct, functor, arity) {
-    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
+  function numberMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function ground1(term) {
-    return this.structOf('ground', [this.convertToTerm(term)]);
+  function booleanMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function integer1(number) {
-    return this.structOf('integer', [this.convertToTerm(number)]);
+  function charMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function natural(number) {
-    return this.structOf('natural', [this.convertToTerm(number)]);
+  function stringMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function nonvar1(number) {
-    return this.structOf('nonvar', [this.convertToTerm(number)]);
+  function termTimes(_this__u8e3s4, other) {
+    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function number1(number) {
-    return this.structOf('number', [this.convertToTerm(number)]);
+  function numberTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  function var1(term) {
-    return this.structOf('var', [this.convertToTerm(term)]);
+  function booleanTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  function write1(term) {
-    return this.structOf('write', [this.convertToTerm(term)]);
+  function charTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function univ2(_this__u8e3s4, other) {
-    return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function stringTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  function eq2(_this__u8e3s4, right) {
-    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function termDiv(_this__u8e3s4, other) {
+    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
   }
-  function neq2(_this__u8e3s4, right) {
-    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function numberDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
   }
-  function id2(_this__u8e3s4, right) {
-    return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function booleanDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
   }
-  function nid2(_this__u8e3s4, right) {
-    return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function charDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function arithEq2(_this__u8e3s4, right) {
-    return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function stringDiv(_this__u8e3s4, other) {
+    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
   }
-  function arithNeq2(_this__u8e3s4, right) {
-    return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function anyEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function member2(item, list) {
-    return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
+  function anyNotEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function retract1(clause) {
-    return this.structOf('retract', [this.convertToTerm(clause)]);
+  function anyGreaterThan(_this__u8e3s4, other) {
+    return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function append3(left, right, result) {
-    return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
+  function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function retractall1(clause) {
-    return this.structOf('retractall', [this.convertToTerm(clause)]);
+  function anyNonLowerThan(_this__u8e3s4, other) {
+    return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
   }
-  function abolish1(indicator) {
-    return this.structOf('abolish', [this.convertToTerm(indicator)]);
+  function anyLowerThan(_this__u8e3s4, other) {
+    return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function atom_chars2(atom, chars) {
-    return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
+  function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
+    return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function atom_codes2(atom, codes) {
-    return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
+  function anyNonGreaterThan(_this__u8e3s4, other) {
+    return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
   }
-  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 anyIntDiv(_this__u8e3s4, other) {
+    return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function current_prolog_flag2(name, value) {
-    return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  function termRem(_this__u8e3s4, other) {
+    return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  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 numberRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
   }
-  function number_chars2(first, second) {
-    return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
+  function booleanRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
   }
-  function number_codes2(first, second) {
-    return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
+  function charRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function bagof3(template, goal, bag) {
-    return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  function stringRem(_this__u8e3s4, other) {
+    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
   }
-  function setof3(template, goal, bag) {
-    return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  function anyAnd(_this__u8e3s4, other) {
+    // Inline function 'kotlin.let' call
+    var it = this.convertToTerm(_this__u8e3s4);
+    var otherTerm = this.convertToTerm(other);
+    var tmp;
+    if (isInterface(it, Tuple)) {
+      tmp = this.tupleOfIterable(plus(it.get_items_it823b_k$(), otherTerm));
+    } else {
+      tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
+    }
+    return tmp;
   }
-  function consult1(url) {
-    return this.structOf('consult', [this.convertToTerm(url)]);
+  function anyOr(_this__u8e3s4, other) {
+    return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function set_flag2(name, value) {
-    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  function anyPow(_this__u8e3s4, other) {
+    return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function set_prolog_flag2(name, value) {
-    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
+  function anySup(_this__u8e3s4, other) {
+    return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function dynamic1(indicator) {
-    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
+  function anyIs(_this__u8e3s4, other) {
+    return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function static1(indicator) {
-    return this.structOf('static', [this.convertToTerm(indicator)]);
+  function anyThen(_this__u8e3s4, other) {
+    return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function solve1(goal) {
-    return this.structOf('solve', [this.convertToTerm(goal)]);
+  function anyImpliedBy(_this__u8e3s4, other) {
+    var t = this.convertToTerm(_this__u8e3s4);
+    var tmp;
+    if (isInterface(t, Struct)) {
+      tmp = this.ruleOf(t, this.convertToTerm(other), []);
+    } else {
+      raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
+    }
+    return tmp;
   }
-  function initialization1(goal) {
-    return this.structOf('initialization', [this.convertToTerm(goal)]);
+  function anyIf(_this__u8e3s4, other) {
+    return this.anyImpliedBy(_this__u8e3s4, other);
   }
-  function load1(url) {
-    return this.structOf('load', [this.convertToTerm(url)]);
+  function anyImpliedByVararg(_this__u8e3s4, other) {
+    var tmp = Companion_instance_1;
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(other.length);
+    var inductionVariable = 0;
+    var last = other.length;
+    while (inductionVariable < last) {
+      var item = other[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToTerm(item);
+      destination.add_utx5q5_k$(tmp$ret$2);
+    }
+    return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
   }
-  function include1(url) {
-    return this.structOf('include', [this.convertToTerm(url)]);
+  function anyIfVararg(_this__u8e3s4, other) {
+    return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
   }
-  initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
+  initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
   function varTo(_this__u8e3s4, termObject) {
     return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
   }
@@ -325,299 +430,194 @@
     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)]);
+  function at_end_of_stream1(alias) {
+    return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
   }
-  function number(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
+  function call1(goal) {
+    return this.structOf('call', [this.convertToTerm(goal)]);
   }
-  function booleanPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
+  function catch3(goal, error, continuation) {
+    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
   }
-  function charPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  function throw1(error) {
+    return this.structOf('throw', [this.convertToTerm(error)]);
   }
-  function termMinus(_this__u8e3s4, other) {
-    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function not1(goal) {
+    return this.structOf('not', [this.convertToTerm(goal)]);
   }
-  function numberMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  function naf1(goal) {
+    return this.structOf('\\+', [this.convertToTerm(goal)]);
   }
-  function booleanMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  function assert1(clause) {
+    return this.structOf('assert', [this.convertToTerm(clause)]);
   }
-  function charMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  function asserta1(clause) {
+    return this.structOf('asserta', [this.convertToTerm(clause)]);
   }
-  function stringMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
+  function assertz1(clause) {
+    return this.structOf('assertz', [this.convertToTerm(clause)]);
   }
-  function termTimes(_this__u8e3s4, other) {
-    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function arg3(index, compound, argument) {
+    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
   }
-  function numberTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  function atom1(atom) {
+    return this.structOf('atom', [this.convertToTerm(atom)]);
   }
-  function booleanTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  function atomic1(atomic) {
+    return this.structOf('atomic', [this.convertToTerm(atomic)]);
   }
-  function charTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  function between3(min, max, number) {
+    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
   }
-  function stringTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
+  function callable1(goal) {
+    return this.structOf('callable', [this.convertToTerm(goal)]);
   }
-  function termDiv(_this__u8e3s4, other) {
-    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  function compound1(struct) {
+    return this.structOf('compound', [this.convertToTerm(struct)]);
   }
-  function numberDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  function current_op3(precedence, specifier, functor) {
+    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
   }
-  function booleanDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  function op3(precedence, specifier, functor) {
+    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
   }
-  function charDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  function findall3(template, goal, bag) {
+    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
   }
-  function stringDiv(_this__u8e3s4, other) {
-    return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
+  function float1(number) {
+    return this.structOf('float', [this.convertToTerm(number)]);
   }
-  function anyEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function functor3(struct, functor, arity) {
+    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
   }
-  function anyNotEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function ground1(term) {
+    return this.structOf('ground', [this.convertToTerm(term)]);
   }
-  function anyGreaterThan(_this__u8e3s4, other) {
-    return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function integer1(number) {
+    return this.structOf('integer', [this.convertToTerm(number)]);
   }
-  function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function natural(number) {
+    return this.structOf('natural', [this.convertToTerm(number)]);
   }
-  function anyNonLowerThan(_this__u8e3s4, other) {
-    return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
+  function nonvar1(number) {
+    return this.structOf('nonvar', [this.convertToTerm(number)]);
   }
-  function anyLowerThan(_this__u8e3s4, other) {
-    return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function number1(number) {
+    return this.structOf('number', [this.convertToTerm(number)]);
   }
-  function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
-    return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function var1(term) {
+    return this.structOf('var', [this.convertToTerm(term)]);
   }
-  function anyNonGreaterThan(_this__u8e3s4, other) {
-    return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
+  function write1(term) {
+    return this.structOf('write', [this.convertToTerm(term)]);
   }
-  function anyIntDiv(_this__u8e3s4, other) {
-    return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function univ2(_this__u8e3s4, other) {
+    return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function termRem(_this__u8e3s4, other) {
-    return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function eq2(_this__u8e3s4, right) {
+    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function numberRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  function neq2(_this__u8e3s4, right) {
+    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function booleanRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  function id2(_this__u8e3s4, right) {
+    return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function charRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
+  function nid2(_this__u8e3s4, right) {
+    return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function stringRem(_this__u8e3s4, other) {
-    return this.termRem(this.convertToTerm(_this__u8e3s4), other);
+  function arithEq2(_this__u8e3s4, right) {
+    return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function anyAnd(_this__u8e3s4, other) {
-    // Inline function 'kotlin.let' call
-    var it = this.convertToTerm(_this__u8e3s4);
-    var otherTerm = this.convertToTerm(other);
-    var tmp;
-    if (isInterface(it, Tuple)) {
-      tmp = this.tupleOfIterable(plus(it.get_items_it823b_k$(), otherTerm));
-    } else {
-      tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
-    }
-    return tmp;
+  function arithNeq2(_this__u8e3s4, right) {
+    return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
   }
-  function anyOr(_this__u8e3s4, other) {
-    return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function member2(item, list) {
+    return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
   }
-  function anyPow(_this__u8e3s4, other) {
-    return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function retract1(clause) {
+    return this.structOf('retract', [this.convertToTerm(clause)]);
   }
-  function anySup(_this__u8e3s4, other) {
-    return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function append3(left, right, result) {
+    return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
   }
-  function anyIs(_this__u8e3s4, other) {
-    return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function retractall1(clause) {
+    return this.structOf('retractall', [this.convertToTerm(clause)]);
   }
-  function anyThen(_this__u8e3s4, other) {
-    return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function abolish1(indicator) {
+    return this.structOf('abolish', [this.convertToTerm(indicator)]);
   }
-  function anyImpliedBy(_this__u8e3s4, other) {
-    var t = this.convertToTerm(_this__u8e3s4);
-    var tmp;
-    if (isInterface(t, Struct)) {
-      tmp = this.ruleOf(t, this.convertToTerm(other), []);
-    } else {
-      raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
-    }
-    return tmp;
+  function atom_chars2(atom, chars) {
+    return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
   }
-  function anyIf(_this__u8e3s4, other) {
-    return this.anyImpliedBy(_this__u8e3s4, other);
+  function atom_codes2(atom, codes) {
+    return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
   }
-  function anyImpliedByVararg(_this__u8e3s4, other) {
-    var tmp = Companion_instance_1;
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(other.length);
-    var inductionVariable = 0;
-    var last = other.length;
-    while (inductionVariable < last) {
-      var item = other[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
+  function atom_concat3(first, second, result) {
+    return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
   }
-  function anyIfVararg(_this__u8e3s4, other) {
-    return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
+  function atom_length2(atom, length) {
+    return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
   }
-  initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', 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)));
+  function char_code2(char, code) {
+    return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
   }
-  function structOfAny(functor, args) {
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(args.length);
-    var inductionVariable = 0;
-    var last = args.length;
-    while (inductionVariable < last) {
-      var item = args[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.structOf(functor, tmp$ret$3.slice());
+  function clause2(head, body) {
+    return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
   }
-  function tupleOfAny(terms) {
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.tupleOf(tmp$ret$3.slice());
+  function copy_term2(term, copy) {
+    return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
   }
-  function logicListOfAny(terms) {
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.logicListOf(tmp$ret$3.slice());
+  function current_flag2(name, value) {
+    return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
   }
-  function blockOfAny(terms) {
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.blockOf(tmp$ret$3.slice());
+  function current_prolog_flag2(name, value) {
+    return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
   }
-  function factOfAny(term) {
-    var tmp = this.convertToTerm(term);
-    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
+  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 consOfAny(head, tail) {
-    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
+  function number_chars2(first, second) {
+    return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
   }
-  function directiveOfAny(term, terms) {
-    var tmp = this.convertToTerm(term);
-    // Inline function 'kotlin.collections.map' call
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(terms.length);
-    var inductionVariable = 0;
-    var last = terms.length;
-    while (inductionVariable < last) {
-      var item = terms[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$3 = copyToArray(destination);
-    return this.directiveOf(tmp, tmp$ret$3.slice());
+  function number_codes2(first, second) {
+    return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
   }
-  function withScope(function_0) {
-    return function_0(this.newScope());
+  function bagof3(template, goal, bag) {
+    return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
   }
-  function logicList(items, tail) {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = listOf(items.slice());
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var item = _iterator__ex2g4s.next_20eer_k$();
-      var tmp$ret$2 = this.convertToTerm(item);
-      destination.add_utx5q5_k$(tmp$ret$2);
-    }
-    // Inline function 'kotlin.let' call
-    var tmp;
-    if (!(tail == null)) {
-      tmp = this.logicListFrom_yn067b_k$(destination, this.convertToTerm(tail));
-    } else {
-      tmp = this.logicListOfIterable(destination);
-    }
-    return tmp;
+  function setof3(template, goal, bag) {
+    return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
   }
-  function logicList_0(items, tail, $super) {
-    tail = tail === VOID ? null : tail;
-    return $super === VOID ? this.logicList_6qlnr0_k$(items, tail) : logicList(items, tail);
+  function consult1(url) {
+    return this.structOf('consult', [this.convertToTerm(url)]);
   }
-  function rule(function_0) {
-    var tmp = this.convertToTerm(function_0(this.newScope()));
-    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
+  function set_flag2(name, value) {
+    return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
   }
-  function directive(function_0) {
-    var tmp = function_0(this.newScope());
-    var tmp_0 = getKClass(Directive);
-    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directiveOf$ref(this));
+  function set_prolog_flag2(name, value) {
+    return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
   }
-  function fact(function_0) {
-    var tmp = function_0(this.newScope());
-    var tmp_0 = getKClass(Fact);
-    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
+  function dynamic1(indicator) {
+    return this.structOf('dynamic', [this.convertToTerm(indicator)]);
   }
-  initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, Scope]);
+  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() {
   }