@tuprolog/arg2p-core 0.8.1 → 0.8.3

package/2p-dsl-core.js

@@ -105,237 +105,225 @@
   }
   setMetadataFor(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', interfaceMeta, VOID, [Scope]);
   setMetadataFor(Companion, 'Companion', objectMeta);
-  function at_end_of_stream1(alias) {
-    return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
+  function varTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
   }
-  function call1(goal) {
-    return this.structOf('call', [this.convertToTerm(goal)]);
+  function stringTo(_this__u8e3s4, termObject) {
+    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
   }
-  function catch3(goal, error, continuation) {
-    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
+  function substitutionGet(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.x2(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
   }
-  function throw1(error) {
-    return this.structOf('throw', [this.convertToTerm(error)]);
+  function substitutionContainsKey(_this__u8e3s4, term) {
+    var t = this.convertToTerm(term);
+    var tmp;
+    if (isInterface(t, Var)) {
+      tmp = _this__u8e3s4.u2(t);
+    } else {
+      raiseErrorConvertingTo(term, getKClass(Var));
+    }
+    return tmp;
   }
-  function not1(goal) {
-    return this.structOf('not', [this.convertToTerm(goal)]);
+  function substitutionContains(_this__u8e3s4, term) {
+    return this.substitutionContainsKey(_this__u8e3s4, term);
   }
-  function naf1(goal) {
-    return this.structOf('\\+', [this.convertToTerm(goal)]);
+  function substitutionContainsValue(_this__u8e3s4, term) {
+    return _this__u8e3s4.v2(this.convertToTerm(term));
   }
-  function assert1(clause) {
-    return this.structOf('assert', [this.convertToTerm(clause)]);
+  setMetadataFor(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', interfaceMeta, 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 asserta1(clause) {
-    return this.structOf('asserta', [this.convertToTerm(clause)]);
+  function structOfAny(functor, args) {
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // 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;
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.structOf.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    var tmp$ret$3 = copyToArray(destination);
+    return this.structOf(functor, tmp$ret$3.slice());
   }
-  function assertz1(clause) {
-    return this.structOf('assertz', [this.convertToTerm(clause)]);
+  function tupleOfAny(terms) {
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // 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;
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.tupleOf.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    var tmp$ret$3 = copyToArray(destination);
+    return this.tupleOf(tmp$ret$3.slice());
   }
-  function arg3(index, compound, argument) {
-    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
+  function logicListOfAny(terms) {
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // 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;
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicListOf.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    var tmp$ret$3 = copyToArray(destination);
+    return this.logicListOf(tmp$ret$3.slice());
   }
-  function atom1(atom) {
-    return this.structOf('atom', [this.convertToTerm(atom)]);
+  function blockOfAny(terms) {
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // 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;
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.blockOf.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    var tmp$ret$3 = copyToArray(destination);
+    return this.blockOf(tmp$ret$3.slice());
   }
-  function atomic1(atomic) {
-    return this.structOf('atomic', [this.convertToTerm(atomic)]);
+  function factOfAny(term) {
+    var tmp = this.convertToTerm(term);
+    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
   }
-  function between3(min, max, number) {
-    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
+  function consOfAny(head, tail) {
+    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
   }
-  function callable1(goal) {
-    return this.structOf('callable', [this.convertToTerm(goal)]);
+  function directiveOfAny(term, terms) {
+    var tmp = this.convertToTerm(term);
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // 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;
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.directiveOf.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    var tmp$ret$3 = copyToArray(destination);
+    return this.directiveOf(tmp, tmp$ret$3.slice());
   }
-  function compound1(struct) {
-    return this.structOf('compound', [this.convertToTerm(struct)]);
+  function withScope(function_0) {
+    return function_0(this.newScope());
   }
-  function current_op3(precedence, specifier, functor) {
-    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  function logicList(items, tail) {
+    // Inline function 'kotlin.let' call
+    // 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 tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var item = tmp0_iterator.u();
+      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
+      var tmp$ret$0 = this.convertToTerm(item);
+      destination.o(tmp$ret$0);
+    }
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
+    var tmp;
+    if (!(tail == null)) {
+      tmp = this.q10(destination, this.convertToTerm(tail));
+    } else {
+      tmp = this.logicListOfIterable(destination);
+    }
+    return tmp;
   }
-  function op3(precedence, specifier, functor) {
-    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
+  function logicList_0(items, tail, $super) {
+    tail = tail === VOID ? null : tail;
+    return $super === VOID ? this.x1i(items, tail) : logicList(items, tail);
   }
-  function findall3(template, goal, bag) {
-    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
+  function rule(function_0) {
+    var tmp = this.convertToTerm(function_0(this.newScope()));
+    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
   }
-  function float1(number) {
-    return this.structOf('float', [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$directive$directiveOf$ref(this));
   }
-  function functor3(struct, functor, arity) {
-    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
+  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 ground1(term) {
-    return this.structOf('ground', [this.convertToTerm(term)]);
+  setMetadataFor(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
+  function termPlus(_this__u8e3s4, other) {
+    return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function integer1(number) {
-    return this.structOf('integer', [this.convertToTerm(number)]);
+  function number(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function natural(number) {
-    return this.structOf('natural', [this.convertToTerm(number)]);
+  function booleanPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function nonvar1(number) {
-    return this.structOf('nonvar', [this.convertToTerm(number)]);
+  function charPlus(_this__u8e3s4, other) {
+    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function number1(number) {
-    return this.structOf('number', [this.convertToTerm(number)]);
+  function termMinus(_this__u8e3s4, other) {
+    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function var1(term) {
-    return this.structOf('var', [this.convertToTerm(term)]);
+  function numberMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function write1(term) {
-    return this.structOf('write', [this.convertToTerm(term)]);
+  function booleanMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function univ2(_this__u8e3s4, other) {
-    return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
+  function charMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function eq2(_this__u8e3s4, right) {
-    return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function stringMinus(_this__u8e3s4, other) {
+    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
   }
-  function neq2(_this__u8e3s4, right) {
-    return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function termTimes(_this__u8e3s4, other) {
+    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
   }
-  function id2(_this__u8e3s4, right) {
-    return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function numberTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  function nid2(_this__u8e3s4, right) {
-    return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function booleanTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  function arithEq2(_this__u8e3s4, right) {
-    return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function charTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
   }
-  function arithNeq2(_this__u8e3s4, right) {
-    return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
+  function stringTimes(_this__u8e3s4, other) {
+    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
   }
-  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)]);
-  }
-  setMetadataFor(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  function termPlus(_this__u8e3s4, other) {
-    return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function number(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charPlus(_this__u8e3s4, other) {
-    return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function termMinus(_this__u8e3s4, other) {
-    return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function numberMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringMinus(_this__u8e3s4, other) {
-    return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function termTimes(_this__u8e3s4, other) {
-    return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
-  }
-  function numberTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function booleanTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function charTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
-  }
-  function stringTimes(_this__u8e3s4, other) {
-    return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
-  }
-  function termDiv(_this__u8e3s4, other) {
-    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
+  function termDiv(_this__u8e3s4, other) {
+    return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
   }
   function numberDiv(_this__u8e3s4, other) {
     return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
@@ -453,182 +441,194 @@
     return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
   }
   setMetadataFor(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', interfaceMeta, 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 at_end_of_stream1(alias) {
+    return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
   }
-  function structOfAny(functor, args) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // 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;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.structOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.structOf(functor, tmp$ret$3.slice());
+  function call1(goal) {
+    return this.structOf('call', [this.convertToTerm(goal)]);
   }
-  function tupleOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // 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;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.tupleOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.tupleOf(tmp$ret$3.slice());
+  function catch3(goal, error, continuation) {
+    return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
   }
-  function logicListOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // 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;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicListOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.logicListOf(tmp$ret$3.slice());
+  function throw1(error) {
+    return this.structOf('throw', [this.convertToTerm(error)]);
   }
-  function blockOfAny(terms) {
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // 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;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.blockOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.blockOf(tmp$ret$3.slice());
+  function not1(goal) {
+    return this.structOf('not', [this.convertToTerm(goal)]);
   }
-  function factOfAny(term) {
-    var tmp = this.convertToTerm(term);
-    return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
+  function naf1(goal) {
+    return this.structOf('\\+', [this.convertToTerm(goal)]);
   }
-  function consOfAny(head, tail) {
-    return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
+  function assert1(clause) {
+    return this.structOf('assert', [this.convertToTerm(clause)]);
   }
-  function directiveOfAny(term, terms) {
-    var tmp = this.convertToTerm(term);
-    // Inline function 'kotlin.collections.toTypedArray' call
-    // 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;
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.directiveOf.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    var tmp$ret$3 = copyToArray(destination);
-    return this.directiveOf(tmp, tmp$ret$3.slice());
+  function asserta1(clause) {
+    return this.structOf('asserta', [this.convertToTerm(clause)]);
   }
-  function withScope(function_0) {
-    return function_0(this.newScope());
+  function assertz1(clause) {
+    return this.structOf('assertz', [this.convertToTerm(clause)]);
   }
-  function logicList(items, tail) {
-    // Inline function 'kotlin.let' call
-    // 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 tmp0_iterator = this_0.r();
-    while (tmp0_iterator.s()) {
-      var item = tmp0_iterator.u();
-      // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
-      var tmp$ret$0 = this.convertToTerm(item);
-      destination.o(tmp$ret$0);
-    }
-    // Inline function 'kotlin.contracts.contract' call
-    // Inline function 'it.unibo.tuprolog.dsl.MinimalLogicProgrammingScope.logicList.<anonymous>' call
-    var tmp;
-    if (!(tail == null)) {
-      tmp = this.q10(destination, this.convertToTerm(tail));
-    } else {
-      tmp = this.logicListOfIterable(destination);
-    }
-    return tmp;
+  function arg3(index, compound, argument) {
+    return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
   }
-  function logicList_0(items, tail, $super) {
-    tail = tail === VOID ? null : tail;
-    return $super === VOID ? this.x1i(items, tail) : logicList(items, tail);
+  function atom1(atom) {
+    return this.structOf('atom', [this.convertToTerm(atom)]);
   }
-  function rule(function_0) {
-    var tmp = this.convertToTerm(function_0(this.newScope()));
-    return isInterface(tmp, Rule) ? tmp : THROW_CCE();
+  function atomic1(atomic) {
+    return this.structOf('atomic', [this.convertToTerm(atomic)]);
   }
-  function directive(function_0) {
-    var tmp = function_0(this.newScope());
-    var tmp_0 = getKClass(Directive);
-    return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directive$directiveOf$ref(this));
+  function between3(min, max, number) {
+    return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
   }
-  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 callable1(goal) {
+    return this.structOf('callable', [this.convertToTerm(goal)]);
   }
-  setMetadataFor(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  function varTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
+  function compound1(struct) {
+    return this.structOf('compound', [this.convertToTerm(struct)]);
   }
-  function stringTo(_this__u8e3s4, termObject) {
-    return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
+  function current_op3(precedence, specifier, functor) {
+    return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
   }
-  function substitutionGet(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.x2(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
-    }
-    return tmp;
+  function op3(precedence, specifier, functor) {
+    return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
   }
-  function substitutionContainsKey(_this__u8e3s4, term) {
-    var t = this.convertToTerm(term);
-    var tmp;
-    if (isInterface(t, Var)) {
-      tmp = _this__u8e3s4.u2(t);
-    } else {
-      raiseErrorConvertingTo(term, getKClass(Var));
-    }
-    return tmp;
+  function findall3(template, goal, bag) {
+    return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
   }
-  function substitutionContains(_this__u8e3s4, term) {
-    return this.substitutionContainsKey(_this__u8e3s4, term);
+  function float1(number) {
+    return this.structOf('float', [this.convertToTerm(number)]);
   }
-  function substitutionContainsValue(_this__u8e3s4, term) {
-    return _this__u8e3s4.v2(this.convertToTerm(term));
+  function functor3(struct, functor, arity) {
+    return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
   }
-  setMetadataFor(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
-  setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions]);
+  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)]);
+  }
+  setMetadataFor(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
+  setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope]);
   setMetadataFor(Companion_0, 'Companion', objectMeta);
   setMetadataFor(DefaultTermificator, 'DefaultTermificator', classMeta, AbstractTermificator);
   //endregion