###
         
# Modern Albufeira Prolog Interpreter
         
#
         
# Warranty & Liability
         
# To the extent permitted by applicable law and unless explicitly
         
# otherwise agreed upon, XLOG Technologies AG makes no warranties
         
# regarding the provided information. XLOG Technologies AG assumes
         
# no liability that any problems might be solved with the information
         
# provided by XLOG Technologies AG.
         
#
         
# Rights & License
         
# All industrial property rights regarding the information - copyright
         
# and patent rights in particular - are the sole property of XLOG
         
# Technologies AG. If the company was not the originator of some
         
# excerpts, XLOG Technologies AG has at least obtained the right to
         
# reproduce, change and translate the information.
         
#
         
# Reproduction is restricted to the whole unaltered document. Reproduction
         
# of the information is only allowed for non-commercial uses. Selling,
         
# giving away or letting of the execution of the library is prohibited.
         
# The library can be distributed as part of your applications and libraries
         
# for execution provided this comment remains unchanged.
         
#
         
# Restrictions
         
# Only to be distributed with programs that add significant and primary
         
# functionality to the library. Not to be distributed with additional
         
# software intended to replace any components of the library.
         
#
         
# Trademarks
         
# Jekejeke is a registered trademark of XLOG Technologies AG.
         
##
         
from nova.store import (Clause, add, Compound,
         
         Cache, make_defined, Place, Skeleton)
         
from nova.machine import (Goal, run)
         
import nova.special as special
         
import nova.runtime as runtime
         
import nova.eval as eval
         
add("sys_trans_horn", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_trans_horn", 2, Clause(3, [Skeleton(":-", [Place(-3)]), Skeleton("tr_goal", [Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(-3), Place(-2), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(1), Place(2), Place(0)])], 0, ":-"))
         
add("sys_trans_horn", 2, Clause(5, [Skeleton(":-", [Place(-3), Place(-4)]), Skeleton("tr_clause", [Place(-5), Place(1), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_callable"), [Place(1)]), Skeleton(Cache("sys_trans_body"), [Place(2), "nothing", Place(3), Place(4), "[]"])], 0, ":-"))
         
add("sys_trans_horn", 2, Clause(1, [Place(-2), Skeleton("tr_clause", ["nothing", Place(0), "[]"])], [Skeleton(Cache("sys_check_callable"), [Place(0)])], -1, NotImplemented))
         
add("sys_trans_body", 5, Clause(4, [Place(-3), Place(-4), Place(2), Place(-4), Place(-5)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(2), Place(-4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(-4)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [Skeleton("call", [Place(1)]), Place(3)])])], 0, NotImplemented))
         
add("sys_trans_body", 5, Clause(3, ["true", Place(-3), Place(1), Place(-3), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, "true"))
         
add("sys_trans_body", 5, Clause(7, [Skeleton(",", [Place(-3), Place(-4)]), Place(-5), Place(-6), Place(-7), Place(-8)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(3), Place(-5), Place(5), Place(-7)]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(3), Place(4), Place(5), Place(6)])], 0, ","))
         
add("sys_trans_body", 5, Clause(7, [Skeleton(";", [Place(-3), Place(-4)]), Place(-5), Place(-6), Place(-7), Place(-8)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("sys_trans_disj"), [Skeleton(";", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(-6)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("="), [Place(5), Skeleton(".", [Skeleton("$ALT", [Place(4)]), Place(6)])])], 0, ";"))
         
add("sys_trans_body", 5, Clause(7, [Skeleton("->", [Place(-3), Place(-4)]), Place(-5), Place(-6), Place(-7), Place(-8)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("sys_trans_disj"), [Skeleton("->", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(-6)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("="), [Place(5), Skeleton(".", [Skeleton("$ALT", [Place(4)]), Place(6)])])], 0, "->"))
         
add("sys_trans_body", 5, Clause(5, ["!", Place(-3), Skeleton("just", [Place(-4)]), Place(-5), Place(-6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_trans_cut"), [Place(1), Place(2)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("="), [Place(3), Skeleton(".", [Skeleton("$CUT", [Place(2)]), Place(4)])])], 0, "!"))
         
add("sys_trans_body", 5, Clause(3, [Place(-2), Place(-3), Place(1), Place(-3), Place(-4)], [Skeleton(Cache("sys_check_callable"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(-3)]), Skeleton(Cache("="), [Place(1), Skeleton(".", [Place(0), Place(2)])])], -1, NotImplemented))
         
add("sys_trans_cut", 2, Clause(1, ["nothing", Place(-1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "nothing"))
         
add("sys_trans_cut", 2, Clause(1, [Skeleton("just", [Place(-2)]), Place(0)], [], -1, "just"))
         
add("sys_trans_disj", 5, Clause(5, [Place(-3), Place(-1), Place(-4), Place(-5), Skeleton(".", [Place(-6), "[]"])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alternative"), [Place(1), Place(2), Place(3), Place(4), Place(-1)])], 0, NotImplemented))
         
add("sys_trans_disj", 5, Clause(7, [Skeleton(";", [Place(-3), Place(-4)]), Place(-1), Place(-5), Place(-6), Skeleton(".", [Place(-7), Place(-8)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alternative"), [Place(1), Place(3), Place(-5), Place(5), Place(-7)]), Skeleton(Cache("sys_trans_disj"), [Place(2), Place(5), Place(3), Place(4), Place(6)])], 0, ";"))
         
add("sys_trans_disj", 5, Clause(2, ["fail", 1, Place(-3), Place(1), "[]"], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "fail"))
         
add("sys_trans_disj", 5, Clause(4, [Place(-2), Place(-1), Place(-3), Place(-4), Skeleton(".", [Place(-5), "[]"])], [Skeleton(Cache("sys_trans_alternative"), [Place(0), Place(1), Place(2), Place(3), Place(-1)])], -1, NotImplemented))
         
add("sys_trans_alternative", 5, Clause(5, [Place(-3), Place(-4), Place(-5), Skeleton("$SEQ", ["nothing", Place(-6)]), 0], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(2), Place(3), Place(4), "[]"])], 0, NotImplemented))
         
add("sys_trans_alternative", 5, Clause(7, [Skeleton("->", [Place(-3), Place(-4)]), Place(-5), Place(-6), Skeleton("$SEQ", [Skeleton("just", [Place(-7)]), Place(-8)]), 1], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(-3), Place(-2), Skeleton(".", [Skeleton("$CUT", [Place(5)]), Place(-7)])]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(3), Place(4), Place(5), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(1), Place(6), Place(0)])], 0, "->"))
         
add("sys_trans_alternative", 5, Clause(4, [Place(-2), Place(-3), Place(-4), Skeleton("$SEQ", ["nothing", Place(-5)]), 0], [Skeleton(Cache("sys_trans_body"), [Place(0), Place(1), Place(2), Place(3), "[]"])], -1, NotImplemented))
         
add("sys_trans_mark", 3, Clause(2, [Skeleton("just", [Place(-3)]), Skeleton(".", [Skeleton("$MARK", [Place(1)]), Place(-3)]), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "just"))
         
add("sys_trans_mark", 3, Clause(1, ["nothing", Place(-2), Place(0)], [], -1, "nothing"))
         
add("sys_encode_horn", 3, Clause(4, [Skeleton("tr_goal", [Place(-3)]), Skeleton("ir_goal", [Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_body"), [Place(1), Place(2), "[]", Place(3), "[]", Place(-1)])], 0, "tr_goal"))
         
add("sys_encode_horn", 3, Clause(8, [Skeleton("tr_clause", [Skeleton("just", [Place(-3)]), Place(-4), Place(-5)]), Skeleton("ir_clause", [Place(-6), Place(-7), 0, Place(-8)]), Place(-9)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(-1), Place(-2)])]), Skeleton(Cache("sys_ast_list"), [Place(0), Place(4), Skeleton(".", [Skeleton("v", [Place(1), 0, Place(-1)]), "[]"]), Place(-6)]), Skeleton(Cache("sys_ast_body"), [Place(3), Place(5), Skeleton(".", [Skeleton("-", [Place(2), Place(1)]), "[]"]), Place(7), Place(4), Place(-1)]), Skeleton(Cache("sys_idx_value"), [Place(3), Place(2), Place(7), Place(6)])], 0, "tr_clause"))
         
add("sys_encode_horn", 3, Clause(7, [Skeleton("tr_clause", ["nothing", Place(-2), Place(-3)]), Skeleton("ir_clause", [Place(-4), Place(-5), -1, Place(-6)]), Place(-7)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(-1), Place(-8)])]), Skeleton(Cache("sys_ast_list"), [Place(6), Place(2), "[]", Place(-4)]), Skeleton(Cache("sys_ast_body"), [Place(1), Place(3), Skeleton(".", [Place(0), "[]"]), Place(5), Place(2), Place(-1)]), Skeleton(Cache("sys_idx_value"), [Place(1), Place(0), Place(5), Place(4)])], -1, "tr_clause"))
         
add("sys_encode_alternatives", 4, Clause(8, [Skeleton(".", [Skeleton("$SEQ", [Place(-3), Place(-4)]), Place(-5)]), Place(-6), Skeleton(".", [Place(-7), Place(-8)]), Place(-9)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_encode_horn"), [Skeleton("tr_clause", [Place(1), Place(4), Place(2)]), Place(5), Place(7)]), Skeleton(Cache("sys_encode_alternatives"), [Place(3), Place(4), Place(6), Place(7)])], 0, "."))
         
add("sys_encode_alternatives", 4, Clause(0, ["[]", Place(-1), "[]", Place(-1)], [], -1, "[]"))
         
add("sys_ast_body", 6, Clause(8, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)]), Place(-6), Place(-7), Place(-8), Place(-9)], [Skeleton(Cache("sys_ast_goal"), [Place(0), Place(5), Place(2), Place(1), Place(4), Place(6), Place(-8)]), Skeleton(Cache("sys_ast_body"), [Place(1), Place(3), Skeleton(".", [Place(0), Place(4)]), Place(5), Place(6), Place(7)])], -1, "."))
         
add("sys_ast_body", 6, Clause(2, ["[]", "[]", Place(-1), Place(-1), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, "[]"))
         
add("sys_ast_goal", 7, Clause(5, [Skeleton("call", [Place(-3)]), 1, Place(-4), Place(-1), Place(-1), Place(-5), Place(-6)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_term"), [Place(1), Place(2), Place(3), Place(4)])], 0, "call"))
         
add("sys_ast_goal", 7, Clause(7, [Skeleton("$ALT", [Place(-3)]), 1, Place(-4), Place(-5), Place(-6), Place(-7), Place(-8)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("term_variables"), [Skeleton("-", [Place(3), Place(4)]), Place(-6)]), Skeleton(Cache("term_variables"), [Place(1), Place(-5)]), Skeleton(Cache("eq_intersection"), [Place(3), Place(4), Place(-6)]), Skeleton(Cache("=.."), [Place(-5), Skeleton(".", ["", Place(4)])]), Skeleton(Cache("sys_encode_alternatives"), [Place(1), Place(3), Place(-3), 1]), Skeleton(Cache("="), [Place(5), Place(-7)]), Skeleton(Cache("sys_ast_invoke"), [Place(3), Place(2), Skeleton("link", [Place(1)]), Place(5), Place(6)])], 0, "$ALT"))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton("is", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_term"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", ["$EVAL"]), Skeleton(".", [Place(2), Skeleton(".", [Place(1), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, "is"))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton("=:=", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", ["=:="]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, "=:="))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton("=\\=", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", ["=\\="]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, "=\\="))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton("<", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", ["<"]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, "<"))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton(">", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", [">"]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, ">"))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton("=<", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", ["=<"]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, "=<"))
         
add("sys_ast_goal", 7, Clause(6, [Skeleton(">=", [Place(-3), Place(-4)]), 1, Place(-5), Place(-1), Place(-1), Place(-6), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(-4), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Compound("site", [">="]), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, ">="))
         
add("sys_ast_goal", 7, Clause(6, [Place(-3), 1, Place(-4), Place(-1), Place(-1), Place(-5), Place(-6)], [Skeleton(Cache("functor"), [Place(1), Place(-7), Place(-1)]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_invoke"), [Place(1), Place(2), Skeleton("site", [Place(5)]), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_goal", 7, Clause(4, [Place(-2), Place(-1), Place(-3), Place(-1), Place(-1), Place(-4), Place(-5)], [Skeleton(Cache("sys_ast_term"), [Place(0), Place(1), Place(2), Place(3)])], -1, NotImplemented))
         
add("sys_ast_invoke", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("functor"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_list"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Place(3), Place(1), Place(2)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, NotImplemented))
         
add("sys_ast_invoke", 5, Clause(2, [Place(-1), Skeleton("const", [Place(-2)]), Place(0), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_ast_args", 4, Clause(6, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("sys_ast_expr"), [Place(0), Place(2), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_args"), [Place(1), Place(3), Place(4), Place(5)])], -1, "."))
         
add("sys_ast_args", 4, Clause(2, ["[]", "[]", Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, "[]"))
         
add("sys_ast_expr", 4, Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_var"), [Place(1), Place(2), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_expr", 4, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("functor"), [Place(1), Place(-7), Place(-1)]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_compute"), [Place(1), Place(2), Skeleton("site", [Place(5)]), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_expr", 4, Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("functor"), [Place(1), Place(-2), Place(-1)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_args"), [Place(1), Place(-3), Place(3), Place(-5)]), Skeleton(Cache("sys_const_functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_expr", 4, Clause(2, [Place(-2), Skeleton("const", [Place(0)]), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_ast_compute", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("functor"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_ast_args"), [Place(1), Place(-3), Place(4), Place(-6)]), Skeleton(Cache("sys_const_functor"), [Place(3), Place(1), Place(2)]), Skeleton(Cache("="), [Place(4), Place(5)])], 0, NotImplemented))
         
add("sys_ast_compute", 5, Clause(2, [Place(-1), Skeleton("const", [Place(-2)]), Place(0), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_ast_list", 4, Clause(6, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("sys_ast_term"), [Place(0), Place(2), Place(4), Place(-6)]), Skeleton(Cache("sys_ast_list"), [Place(1), Place(3), Place(4), Place(5)])], -1, "."))
         
add("sys_ast_list", 4, Clause(2, ["[]", "[]", Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, "[]"))
         
add("sys_ast_term", 4, Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_var"), [Place(1), Place(2), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_term", 4, Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("functor"), [Place(1), Place(-2), Place(-1)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_ast_list"), [Place(1), Place(-3), Place(3), Place(-5)]), Skeleton(Cache("sys_const_functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_ast_term", 4, Clause(2, [Place(-2), Skeleton("const", [Place(0)]), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_const_functor", 3, Clause(3, [Place(-3), Place(-4), Skeleton("const", [Skeleton("functor", [Place(1), Place(-3)])])], [Skeleton(Cache("sys_const_only"), [Place(2), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_const_functor", 3, Clause(2, [Place(-2), Place(-3), Skeleton("functor", [Place(0), Place(1)])], [], -1, NotImplemented))
         
add("sys_const_only", 2, Clause(2, [Skeleton(".", [Skeleton("const", [Place(-2)]), Place(-3)]), Skeleton(".", [Place(0), Place(-2)])], [Skeleton(Cache("sys_const_only"), [Place(1), Place(0)])], -1, "."))
         
add("sys_const_only", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("sys_ast_var", 4, Clause(9, [Place(-3), Skeleton("var", [Place(-4), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("sys_current_dcg"), [Place(-8), Place(4), Place(-6)]), Skeleton(Cache("select"), [Skeleton("v", [Place(-9), Place(2), Place(-10)]), Place(6), Place(-8)]), Skeleton(Cache("=="), [Place(7), Place(1)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("="), [Place(8), 0]), Skeleton(Cache("="), [Place(4), Place(-6)]), Skeleton(Cache("sys_set_dcg"), [Skeleton(".", [Skeleton("v", [Place(7), Place(2), Place(3)]), Place(6)]), Place(4), Place(5)])], 0, NotImplemented))
         
add("sys_ast_var", 4, Clause(6, [Place(-2), Skeleton("first_var", [Place(-3), Place(-4)]), Place(-5), Place(-6)], [Skeleton(Cache("sys_current_dcg"), [Place(-7), Place(3), Place(-5)]), Skeleton(Cache("sys_set_dcg"), [Skeleton(".", [Skeleton("v", [Place(0), Place(1), Place(2)]), Place(5)]), Place(3), Place(4)])], -1, NotImplemented))
         
add("sys_current_dcg", 3, Clause(1, [Place(-2), Place(0), Place(0)], [], -1, NotImplemented))
         
add("sys_set_dcg", 3, Clause(1, [Place(-2), Place(-1), Place(0)], [], -1, NotImplemented))
         
add("sys_idx_value", 4, Clause(4, [Place(-1), Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("arg"), [1, Place(1), Place(-3)]), Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_term"), [Place(1), Place(3)])], 0, NotImplemented))
         
add("sys_idx_value", 4, Clause(4, [Place(-3), Place(-4), Place(-1), Place(-5)], [Skeleton(Cache("arg"), [1, Place(2), Place(-4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_arg"), [Place(1), Place(2), Place(3)])], 0, NotImplemented))
         
add("sys_idx_value", 4, Clause(0, [Place(-1), Place(-1), Place(-1), "nothing"], [], -1, NotImplemented))
         
add("sys_idx_value_arg", 3, Clause(3, [Place(-1), Place(-3), Skeleton("just", [Place(-4)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(2), Place(-1)])], 0, NotImplemented))
         
add("sys_idx_value_arg", 3, Clause(6, [Skeleton(".", [Skeleton("=", [Place(-3), Place(-4)]), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("=="), [Place(4), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_arg"), [Place(3), Place(2), Place(5)])], 0, "."))
         
add("sys_idx_value_arg", 3, Clause(6, [Skeleton(".", [Skeleton("=", [Place(-3), Place(-4)]), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("=="), [Place(4), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_arg"), [Place(3), Place(1), Place(5)])], 0, "."))
         
add("sys_idx_value_arg", 3, Clause(4, [Skeleton(".", [Skeleton("=", [Place(-1), Place(-1)]), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_arg"), [Place(1), Place(2), Place(3)])], 0, "."))
         
add("sys_idx_value_arg", 3, Clause(0, [Place(-1), Place(-1), "nothing"], [], -1, NotImplemented))
         
add("sys_idx_value_term", 2, Clause(3, [Place(-3), Skeleton("just", [Place(-4)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(2), Place(-1)])], 0, NotImplemented))
         
add("sys_idx_value_term", 2, Clause(0, [Place(-1), "nothing"], [], -1, NotImplemented))
         
add("eq_contains", 2, Clause(3, [Skeleton(".", [Place(-3), Place(-1)]), Place(-4)], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, "."))
         
add("eq_contains", 2, Clause(2, [Skeleton(".", [Place(-1), Place(-2)]), Place(-3)], [Skeleton(Cache("eq_contains"), [Place(0), Place(1)])], -1, "."))
         
add("eq_intersection", 3, Clause(5, [Skeleton(".", [Place(-3), Place(-4)]), Place(-5), Skeleton(".", [Place(1), Place(-6)])], [Skeleton(Cache("eq_contains"), [Place(3), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("eq_intersection"), [Place(2), Place(3), Place(4)])], 0, "."))
         
add("eq_intersection", 3, Clause(4, [Skeleton(".", [Place(-1), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("eq_intersection"), [Place(1), Place(2), Place(3)])], 0, "."))
         
add("eq_intersection", 3, Clause(0, ["[]", Place(-1), "[]"], [], -1, "[]"))
         
add("sys_check_callable", 1, Clause(2, [Place(-3)], [Skeleton(Cache("callable"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_check_callable", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_check_callable", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["callable", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("open", 3, Clause(3, [Place(-3), "read", Place(-4)], [Compound(Cache("current_prolog_flag"), ["read_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_open_promise"), [Place(1), Place(2), Place(-4)]), Skeleton(Cache("$YIELD"), [Place(2)])], 0, NotImplemented))
         
add("open", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("os_open_sync"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("close", 1, Clause(3, [Place(-3)], [Skeleton(Cache("os_stream_flags"), [Place(1), Place(-4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_close_promise"), [Place(1), Place(-3)]), Skeleton(Cache("$YIELD"), [Place(1)])], 0, NotImplemented))
         
add("close", 1, Clause(1, [Place(-2)], [Skeleton(Cache("os_close_sync"), [Place(0)])], -1, NotImplemented))
         
add("stream_property", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("os_stream_list"), [Place(0), Place(-2)]), Skeleton(Cache("member"), [Place(1), Place(0)])], -1, NotImplemented))
         
add("term_variables", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("term_variables"), [Place(0), Place(1), "[]"])], -1, NotImplemented))
         
add("is", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("$EVAL"), [Place(1), Place(0)])], -1, NotImplemented))
         
add("call", 1, Clause(1, [Place(-2)], [Place(0)], -1, NotImplemented))
         
add("true", 0, Clause(0, [], [], -1, NotImplemented))
         
add("!", 0, Clause(1, [], [Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add(",", 2, Clause(4, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(-2), Place(-4), Place(-5)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(0), Place(-2), Place(3), "[]"]), Skeleton(Cache("$SEQ"), [Place(0), Place(2)])], -1, NotImplemented))
         
add(";", 2, Clause(4, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trans_alternative"), [Place(0), "nothing", Place(-2), Place(-4), Place(-5)]), Skeleton(Cache("sys_trans_disj"), [Place(1), Place(3), Place(0), Place(-2), Place(-5)]), Skeleton(Cache("$SEQ"), [Place(0), Skeleton(".", [Skeleton("$ALT", [Skeleton(".", [Place(2), Place(3)])]), "[]"])])], -1, NotImplemented))
         
add("->", 2, Clause(5, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(-2), Place(-4), Skeleton(".", [Skeleton("$CUT", [Place(-5)]), Place(-6)])]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(-3), Place(4), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(0), Place(-2), Place(2)]), Skeleton(Cache("$SEQ"), [Place(1), Skeleton(".", [Skeleton("$ALT", [Skeleton(".", [Skeleton("$SEQ", [Skeleton("just", [Place(3)]), Place(0)]), "[]"])]), "[]"])])], -1, NotImplemented))
         
add("\\=", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
         
add("\\=", 2, Clause(0, [Place(-1), Place(-1)], [], -1, NotImplemented))
         
add("\\+", 1, Clause(2, [Place(-3)], [Place(1), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
         
add("\\+", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("once", 1, Clause(2, [Place(-3)], [Place(1), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("repeat", 0, Clause(0, [], [], -1, NotImplemented))
         
add("repeat", 0, Clause(0, [], [Cache("repeat")], -1, NotImplemented))
         
add("catch", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_trap"), [Place(0), Place(-2), Skeleton("sys_error_handler", [Place(0), Place(1), Place(2)])])], -1, NotImplemented))
         
add("sys_error_handler", 3, Clause(1, [Place(-2), Place(-1), Place(-1)], [Skeleton(Cache("sys_chain_head"), [Place(0), Skeleton("error", [Skeleton("system_error", [Place(-1)]), Place(-1)])]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
         
add("sys_error_handler", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_chain_head"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Place(3)], 0, NotImplemented))
         
add("sys_error_handler", 3, Clause(1, [Place(-2), Place(-1), Place(-1)], [Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
         
add("sys_chain_head", 2, Clause(3, [Skeleton("cause", [Place(-3), Place(-1)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, "cause"))
         
add("sys_chain_head", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("throw", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_fill_stack"), [Place(0)]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
         
add("sys_fill_stack", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_fill_stack", 1, Clause(2, [Skeleton("error", [Place(-1), Place(-3)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_fetch_stack"), [Place(1)])], 0, "error"))
         
add("sys_fill_stack", 1, Clause(2, [Skeleton("warning", [Place(-1), Place(-3)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_fetch_stack"), [Place(1)])], 0, "warning"))
         
add("sys_fill_stack", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("sys_fetch_stack", 1, Clause(4, [Place(-2)], [Skeleton(Cache("os_task_current"), [Place(-3)]), Skeleton(Cache("findall"), [Skeleton("sys_including", [Place(-4), Place(-5)]), Skeleton("sys_including", [Place(2), Place(1), Place(3)]), Place(0)])], -1, NotImplemented))
         
add("ignore", 1, Clause(2, [Place(-3)], [Place(1), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("ignore", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("chain", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trap"), [Place(0), Place(-2), Skeleton("sys_chain_error", [Place(0), Place(1)])]), Place(1)], -1, NotImplemented))
         
add("sys_chain_error", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trap"), [Place(1), Place(-3), Skeleton("sys_chain_raise", [Place(0), Place(1)])]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
         
add("sys_chain_error", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
         
add("sys_chain_raise", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_chain_concat"), [Place(0), Place(1), Place(-3)]), Skeleton(Cache("sys_raise"), [Place(1)])], -1, NotImplemented))
         
add("sys_chain_concat", 3, Clause(4, [Skeleton("cause", [Place(-3), Place(-4)]), Place(-5), Skeleton("cause", [Place(1), Place(-3)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_chain_concat"), [Place(2), Place(3), Place(1)])], 0, "cause"))
         
add("sys_chain_concat", 3, Clause(2, [Place(-2), Place(-3), Skeleton("cause", [Place(0), Place(1)])], [], -1, NotImplemented))
         
add("abort", 0, Clause(0, [], [Skeleton(Cache("throw"), [Skeleton("error", [Compound("system_error", ["user_abort"]), Place(-1)])])], -1, NotImplemented))
         
add("once_cleanup", 2, Clause(3, [Place(-3), Place(-4)], [Compound(Cache("current_prolog_flag"), ["async_mode", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("shield"), [Skeleton("sys_once_cleanup", [Skeleton("unshield", [Place(1)]), Place(2)])])], 0, NotImplemented))
         
add("once_cleanup", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_once_cleanup"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("setup_once_cleanup", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Compound(Cache("current_prolog_flag"), ["async_mode", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("shield"), [Skeleton("sys_setup_once_cleanup", [Place(1), Skeleton("unshield", [Place(2)]), Place(3)])])], 0, NotImplemented))
         
add("setup_once_cleanup", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_setup_once_cleanup"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_setup_once_cleanup", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Place(0), Skeleton(Cache("sys_once_cleanup"), [Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_once_cleanup", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("chain"), [Place(1), Skeleton("ignore", [Place(2)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_once_cleanup", 2, Clause(1, [Place(-1), Place(-2)], [Skeleton(Cache("ignore"), [Place(0)]), Cache("fail")], -1, NotImplemented))
         
add("sys_print_error", 1, Clause(2, [Place(-2)], [Skeleton(Cache("current_error"), [Place(-3)]), Skeleton(Cache("sys_print_error"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_print_error", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_message"), ["exception_unknown", Place(2)]), Skeleton(Cache("writeq"), [Place(2), Place(1)]), Skeleton(Cache("nl"), [Place(2)])], 0, NotImplemented))
         
add("sys_print_error", 2, Clause(4, [Skeleton("cause", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_error"), [Place(1), Place(3)]), Skeleton(Cache("sys_print_error"), [Place(2), Place(3)])], 0, "cause"))
         
add("sys_print_error", 2, Clause(4, [Skeleton("error", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_message"), ["exception_error", Place(3)]), Skeleton(Cache("sys_print_message"), [Place(1), Place(3)]), Skeleton(Cache("nl"), [Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0, "error"))
         
add("sys_print_error", 2, Clause(4, [Skeleton("warning", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_message"), ["exception_warning", Place(3)]), Skeleton(Cache("sys_print_message"), [Place(1), Place(3)]), Skeleton(Cache("nl"), [Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0, "warning"))
         
add("sys_print_error", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_print_message"), ["exception_unknown", Place(1)]), Skeleton(Cache("writeq"), [Place(1), Place(0)]), Skeleton(Cache("nl"), [Place(1)])], -1, NotImplemented))
         
add("sys_print_trace", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_message"), ["exception_context", Place(2)]), Skeleton(Cache("writeq"), [Place(2), Place(1)]), Skeleton(Cache("nl"), [Place(2)])], 0, NotImplemented))
         
add("sys_print_trace", 2, Clause(4, [Skeleton(".", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_frame"), [Place(1), Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0, "."))
         
add("sys_print_trace", 2, Clause(1, ["[]", Place(-1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "[]"))
         
add("sys_print_trace", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_print_message"), ["exception_context", Place(1)]), Skeleton(Cache("writeq"), [Place(1), Place(0)]), Skeleton(Cache("nl"), [Place(1)])], -1, NotImplemented))
         
add("sys_print_frame", 2, Clause(4, [Skeleton("sys_including", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("file_base_name"), [Place(1), Place(-3)]), Skeleton(Cache("stream_property"), [Place(2), Skeleton("line_no", [Place(-4)])]), Skeleton(Cache("sys_print_message"), [Skeleton("file_line", [Place(1), Place(2)]), Place(3)]), Skeleton(Cache("nl"), [Place(3)])], 0, "sys_including"))
         
add("sys_print_frame", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_print_message"), [Place(0), Place(1)]), Skeleton(Cache("nl"), [Place(1)])], -1, NotImplemented))
         
add("sys_print_message", 1, Clause(2, [Place(-2)], [Skeleton(Cache("current_error"), [Place(-3)]), Skeleton(Cache("sys_print_message"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_print_message", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("current_prolog_flag"), ["sys_locale", Place(-4)]), Skeleton(Cache("sys_print_message"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_print_message", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_message"), ["exception_template", Place(2), Place(3)]), Skeleton(Cache("writeq"), [Place(2), Place(1)])], 0, NotImplemented))
         
add("sys_print_message", 3, Clause(5, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-3), Place(-6)])]), Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("get_string"), [Place(1), Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_inter_polate"), [Place(2), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_print_message", 3, Clause(7, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-3), Skeleton(".", [Place(-6), Place(-7)])])]), Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("atom"), [Place(4)]), Skeleton(Cache("atom_split"), [Place(-8), ".", Skeleton(".", [Place(1), Skeleton(".", [Place(4), "[]"])])]), Skeleton(Cache("get_string"), [Place(6), Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_inter_polate"), [Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("sys_print_message", 3, Clause(8, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-3), Skeleton(".", [Place(-6), Skeleton(".", [Place(-7), Place(-8)])])])]), Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("atom"), [Place(4)]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("atom_split"), [Place(-9), ".", Skeleton(".", [Place(1), Skeleton(".", [Place(4), Skeleton(".", [Place(5), "[]"])])])]), Skeleton(Cache("get_string"), [Place(7), Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_inter_polate"), [Place(2), Place(3), Place(6)])], 0, NotImplemented))
         
add("sys_print_message", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_print_message"), ["exception_template", Place(1), Place(2)]), Skeleton(Cache("writeq"), [Place(1), Place(0)])], -1, NotImplemented))
         
add("sys_inter_polate", 3, Clause(4, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("atom_split"), [Place(1), "~", Skeleton(".", [Place(-3), Place(-5)])]), Skeleton(Cache("put_atom"), [Place(0), Place(1)]), Skeleton(Cache("sys_zipper_output"), [Place(2), Place(3), Place(0)])], -1, NotImplemented))
         
add("sys_zipper_output", 3, Clause(6, [Skeleton(".", [Place(-3), Place(-4)]), Skeleton(".", ["", Skeleton(".", [Place(-5), Place(-6)])]), Place(-7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("write"), [Place(5), Place(1)]), Skeleton(Cache("put_atom"), [Place(5), Place(3)]), Skeleton(Cache("sys_zipper_output"), [Place(2), Place(4), Place(5)])], 0, "."))
         
add("sys_zipper_output", 3, Clause(5, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)]), Place(-6)], [Skeleton(Cache("writeq"), [Place(4), Place(0)]), Skeleton(Cache("put_atom"), [Place(4), Place(2)]), Skeleton(Cache("sys_zipper_output"), [Place(1), Place(3), Place(4)])], -1, "."))
         
add("sys_zipper_output", 3, Clause(0, ["[]", "[]", Place(-1)], [], -1, "[]"))
         
add("get_string", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("current_prolog_flag"), ["sys_locale", Place(-4)]), Skeleton(Cache("get_string"), [Place(0), Place(2), Place(1)])], -1, NotImplemented))
         
add("get_string", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_locale_ancestor"), [Place(2), Place(-4)]), Skeleton(Cache("strings"), [Place(1), Place(2), Place(-4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0, NotImplemented))
         
add("sys_locale_ancestor", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_locale_ancestor", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("last_sub_atom"), [Place(0), Place(-4), Place(-1), Place(-1), "_"]), Skeleton(Cache("sub_atom"), [Place(0), 0, Place(2), Place(-1), Place(1)])], -1, NotImplemented))
         
add("sys_locale_ancestor", 2, Clause(1, [Place(-2), ""], [Skeleton(Cache("\\=="), [Place(0), ""])], -1, NotImplemented))
         
add("sys_check_atom", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_check_atom", 1, Clause(2, [Place(-3)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_check_atom", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["atom", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_check_integer", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_check_integer", 1, Clause(2, [Place(-3)], [Skeleton(Cache("integer"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_check_integer", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["integer", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("call_later", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Skeleton("sys_call_print", [Place(0)])]), Place(-2)]), Skeleton(Cache("os_call_later"), [Place(0), Place(1), Place(-1)])], -1, NotImplemented))
         
add("sys_frost_horn", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(-2)]), Skeleton(Cache("sys_encode_horn"), [Place(0), Place(-2), 0]), Skeleton(Cache("sys_host_make"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_call_print", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_trap"), [Place(0), Place(-2), Skeleton("sys_print_error", [Place(0)])])], -1, NotImplemented))
         
add("create_task", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Skeleton("sys_call_print", [Place(0)])]), Place(-2)]), Skeleton(Cache("os_task_create"), [Place(0), Place(-1)])], -1, NotImplemented))
         
add("sleep", 1, Clause(1, [Place(-2)], [Skeleton(Cache("os_sleep_promise"), [Place(0), Place(-2)]), Skeleton(Cache("$YIELD"), [Place(0)])], -1, NotImplemented))
         
add("time_out", 2, Clause(3, [Place(-3), Place(-4)], [Compound(Cache("current_prolog_flag"), ["allow_yield", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_task_current"), [Place(-2)]), Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Skeleton("sys_timeout", [Place(0)])]), Place(-2)]), Skeleton(Cache("setup_once_cleanup"), [Skeleton("os_call_later", [Place(0), Place(2), Place(-4)]), Place(1), Skeleton("os_call_cancel", [Place(2)])])], 0, NotImplemented))
         
add("time_out", 2, Clause(0, [Place(-1), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Compound("system_error", ["illegal_yield"]), Place(-1)])])], -1, NotImplemented))
         
add("sys_timeout", 1, Clause(1, [Place(-2)], [Skeleton(Cache("os_task_abort"), [Place(0), Compound("system_error", ["timelimit_exceeded"])])], -1, NotImplemented))
         
add("member", 2, Clause(3, [Place(-2), Skeleton(".", [Place(-3), Place(-4)])], [Skeleton(Cache("sys_member"), [Place(2), Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_member", 3, Clause(1, [Place(-1), Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_member", 3, Clause(3, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-1)], [Skeleton(Cache("sys_member"), [Place(1), Place(2), Place(0)])], -1, "."))
         
add("select", 3, Clause(4, [Place(-2), Skeleton(".", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("sys_select"), [Place(2), Place(0), Place(1), Place(3)])], -1, NotImplemented))
         
add("sys_select", 4, Clause(2, [Place(-2), Place(-3), Place(1), Place(0)], [], -1, NotImplemented))
         
add("sys_select", 4, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-5), Skeleton(".", [Place(3), Place(-5)])], [Skeleton(Cache("sys_select"), [Place(1), Place(2), Place(0), Place(3)])], -1, "."))
         
add("findall", 3, Clause(5, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("="), [Place(-5), Skeleton(".", ["-", Place(-1)])]), Skeleton(Cache("="), [Place(-6), Skeleton("v", [Place(-1)])]), Skeleton(Cache("change_arg"), [1, Place(4), Place(3)]), Skeleton(Cache("sys_findall"), [Place(4), Place(0), Place(1)]), Skeleton(Cache("arg"), [2, Place(3), Place(2)])], -1, NotImplemented))
         
add("sys_findall", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Place(2), Skeleton(Cache("copy_term"), [Skeleton(".", [Place(1), Place(-1)]), Place(-3)]), Skeleton(Cache("arg"), [1, Place(0), Place(-4)]), Skeleton(Cache("change_arg"), [2, Place(2), Place(1)]), Skeleton(Cache("change_arg"), [1, Place(0), Place(1)]), Cache("fail")], -1, NotImplemented))
         
add("sys_findall", 3, Clause(1, [Place(-2), Place(-1), Place(-1)], [Skeleton(Cache("arg"), [1, Place(0), Place(-2)]), Skeleton(Cache("change_arg"), [2, Place(0), "[]"])], -1, NotImplemented))
         
add("list_to_set", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_list_to_set"), [Place(0), "[]", Place(1)])], -1, NotImplemented))
         
add("sys_list_to_set", 3, Clause(0, ["[]", Place(-1), "[]"], [], -1, "[]"))
         
add("sys_list_to_set", 3, Clause(5, [Skeleton(".", [Place(-3), Place(-4)]), Place(-5), Place(-6)], [Skeleton(Cache("member"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_list_to_set"), [Place(2), Place(3), Place(4)])], 0, "."))
         
add("sys_list_to_set", 3, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Skeleton(".", [Place(0), Place(-5)])], [Skeleton(Cache("sys_list_to_set"), [Place(1), Skeleton(".", [Place(0), Place(2)]), Place(3)])], -1, "."))
         
add("reverse", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_reverse"), [Place(0), "[]", Place(1)])], -1, NotImplemented))
         
add("sys_reverse", 3, Clause(1, ["[]", Place(-2), Place(0)], [], -1, "[]"))
         
add("sys_reverse", 3, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("sys_reverse"), [Place(1), Skeleton(".", [Place(0), Place(2)]), Place(3)])], -1, "."))
         
add("append", 3, Clause(1, ["[]", Place(-2), Place(0)], [], -1, "[]"))
         
add("append", 3, Clause(3, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Skeleton(".", [Place(0), Place(-2)])], [Skeleton(Cache("append"), [Place(1), Place(2), Place(0)])], -1, "."))
         
add("length", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_length"), [Place(1), 0, Place(2)])], 0, NotImplemented))
         
add("length", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_check_integer"), [Place(1)]), Skeleton(Cache(">="), [Place(1), 0]), Skeleton(Cache("sys_length"), [Place(1), Place(0)])], -1, NotImplemented))
         
add("sys_length", 3, Clause(1, ["[]", Place(-2), Place(0)], [], -1, "[]"))
         
add("sys_length", 3, Clause(3, [Skeleton(".", [Place(-1), Place(-2)]), Place(-3), Place(-4)], [Skeleton(Cache("$EVAL"), [Skeleton(Cache("+"), [Place(1), 1]), Place(-3)]), Skeleton(Cache("sys_length"), [Place(0), Place(1), Place(2)])], -1, "."))
         
add("sys_length", 2, Clause(2, [0, Place(-3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "[]"])], 0, 0))
         
add("sys_length", 2, Clause(2, [Place(-2), Skeleton(".", [Place(-1), Place(-3)])], [Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), 1]), Place(-2)]), Skeleton(Cache("sys_length"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("number_codes", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("ground"), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_codes"), [Place(-2), Place(2)]), Skeleton(Cache("atom_number"), [Place(0), Place(1)])], 0, NotImplemented))
         
add("number_codes", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("atom_number"), [Place(-4), Place(0)]), Skeleton(Cache("atom_codes"), [Place(2), Place(1)])], -1, NotImplemented))
         
add("between", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_integer"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("=<"), [Place(1), Place(2)]), Skeleton(Cache("sys_between"), [Place(1), Place(2), Place(3)])], 0, NotImplemented))
         
add("between", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_check_integer"), [Place(0)]), Skeleton(Cache("sys_check_integer"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("=<"), [Place(0), Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(1)])], -1, NotImplemented))
         
add("sys_between", 3, Clause(2, [Place(-3), Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_between", 3, Clause(1, [Place(-2), Place(-1), Place(0)], [], -1, NotImplemented))
         
add("sys_between", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("$EVAL"), [Skeleton(Cache("+"), [Place(0), 1]), Place(-2)]), Skeleton(Cache("sys_between"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_lastpred", 3, 1])]))
         
add("sys_update_last", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("os_task_current"), [Place(-4)]), Skeleton(Cache("retractall"), [Skeleton("sys_lastpred", [Place(2), Place(-1), Place(-1)])]), Skeleton(Cache("assertz"), [Skeleton("sys_lastpred", [Place(2), Place(0), Place(1)])])], -1, NotImplemented))
         
add("sys_style_static", 1, Clause(2, [Place(-3)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_style_static", 1, Clause(1, [Skeleton(":-", [Place(-1)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, ":-"))
         
add("sys_style_static", 1, Clause(2, [Skeleton(":-", [Place(-3), Place(-1)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_style_head"), [Place(1)])], 0, ":-"))
         
add("sys_style_static", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_style_head"), [Place(0)])], -1, NotImplemented))
         
add("sys_style_head", 1, Clause(2, [Place(-3)], [Skeleton(Cache("callable"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(-3), Place(-2)]), Skeleton(Cache("sys_style_indicator"), [Place(1), Place(0)])], 0, NotImplemented))
         
add("sys_style_head", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("sys_style_indicator", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("os_task_current"), [Place(-5)]), Skeleton(Cache("sys_lastpred"), [Place(3), Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_style_indicator", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("dg_get_partition"), [Place(-5)]), Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_discontiguous", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(3, [Place(-2), Place(-3), Place(-1)], [Skeleton(Cache("="), [Place(-4), Skeleton("warning", [Skeleton("syntax_error", ["discontiguous_pred", Skeleton("/", [Place(0), Place(1)])]), Place(-1)])]), Skeleton(Cache("sys_fill_stack"), [Place(2)]), Skeleton(Cache("sys_print_error"), [Place(2)])], -1, NotImplemented)]), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_update_last"), [Place(1), Place(2)])], 0, NotImplemented))
         
add("sys_style_indicator", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_usage_predicate"), [Place(0), Place(1)]), Skeleton(Cache("sys_update_last"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_usage_predicate", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("dg_get_partition"), [Place(-4)]), Skeleton(make_defined([Clause(5, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("\\+"), [Skeleton("sys_predprop", [Place(1), Place(2), Skeleton("sys_multifile", [Place(3)])])]), Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(-6)])]), Skeleton(Cache("\\=="), [Place(3), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["redefine", "procedure", Skeleton("/", [Place(1), Place(2)])]), Place(-1)])])], 0, NotImplemented), Clause(0, [Place(-1), Place(-1), Place(-1)], [], -1, NotImplemented)]), [Place(0), Place(1), Place(2)]), Skeleton(Cache("assertz"), [Skeleton("sys_predprop", [Place(0), Place(1), Skeleton("sys_usage", [Place(2)])])])], -1, NotImplemented))
         
add("discontiguous", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("discontiguous", 1, Clause(3, [Skeleton("/", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("dg_get_partition"), [Place(-2)]), Skeleton(Cache("assertz"), [Skeleton("sys_predprop", [Place(1), Place(2), Skeleton("sys_discontiguous", [Place(0)])])])], 0, "/"))
         
add("discontiguous", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("multifile", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("multifile", 1, Clause(3, [Skeleton("/", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("sys_multifile_safe"), [Place(1), Place(2)])], 0, "/"))
         
add("multifile", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_multifile_safe", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("dg_get_partition"), [Place(-4)]), Skeleton(make_defined([Clause(5, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(-6)])]), Skeleton(Cache("\\=="), [Place(3), Place(4)]), Skeleton(Cache("\\+"), [Skeleton("sys_predprop", [Place(1), Place(2), Skeleton("sys_multifile", [Place(4)])])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["promote", "multifile", Skeleton("/", [Place(1), Place(2)])]), Place(-1)])])], 0, NotImplemented), Clause(0, [Place(-1), Place(-1), Place(-1)], [], -1, NotImplemented)]), [Place(0), Place(1), Place(2)]), Skeleton(Cache("assertz"), [Skeleton("sys_predprop", [Place(0), Place(1), Skeleton("sys_multifile", [Place(2)])])])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_source", 3, 1])]))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_srcprop", 2, 1])]))
         
add("current_source", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_source"), [Place(0), Place(-1), Place(-1)])], -1, NotImplemented))
         
add("source_property", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("sys_srcprop"), [Place(0), Place(1)])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_emulated", 2, 1])]))
         
add("sys_emulated", 2, Clause(0, ["dialect", "dogelog"], [], -1, "dialect"))
         
add("sys_emulated", 2, Clause(0, ["emulator_url", ""], [], -1, "emulator_url"))
         
add("sys_emulated", 2, Clause(0, ["argv", "[]"], [], -1, "argv"))
         
add("sys_emulated", 2, Clause(0, ["sys_locale", "en_GB"], [], -1, "sys_locale"))
         
add("set_prolog_flag", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_set"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("set_prolog_flag", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_prolog_flag_set", 2, Clause(1, ["double_quotes", Place(-2)], [Skeleton(Cache("sys_check_atom"), [Place(0)]), Skeleton(Cache("sys_check_codes"), [Place(0)])], -1, "double_quotes"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["base_url", Place(-2)], [Skeleton(Cache("os_set_workdir"), [Place(0)])], -1, "base_url"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["stage", Place(-2)], [Skeleton(Cache("dg_set_stage"), [Place(0)])], -1, "stage"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["partition", Place(-2)], [Skeleton(Cache("dg_set_partition"), [Place(0)])], -1, "partition"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["dialect", Place(-2)], [Skeleton(Cache("sys_check_atom"), [Place(0)]), Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["dialect", Place(-1)])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["dialect", Place(0)])])], -1, "dialect"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["emulator_url", Place(-2)], [Skeleton(Cache("sys_check_atom"), [Place(0)]), Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["emulator_url", Place(-1)])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["emulator_url", Place(0)])])], -1, "emulator_url"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["argv", Place(-2)], [Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["argv", Place(-1)])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["argv", Place(0)])])], -1, "argv"))
         
add("sys_prolog_flag_set", 2, Clause(1, ["sys_locale", Place(-2)], [Skeleton(Cache("sys_check_atom"), [Place(0)]), Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["sys_locale", Place(-1)])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["sys_locale", Place(0)])])], -1, "sys_locale"))
         
add("sys_check_codes", 1, Clause(1, ["codes"], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "codes"))
         
add("sys_check_codes", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["flag_value", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("current_prolog_flag", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_prolog_flag_get"), [Place(1), Place(2)])], 0, NotImplemented))
         
add("current_prolog_flag", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_get"), [Place(1), Place(-3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(1)])], 0, NotImplemented))
         
add("current_prolog_flag", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_prolog_flag_get", 2, Clause(0, ["max_code", 1114111], [], -1, "max_code"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["dialect", Place(-2)], [Skeleton(Cache("sys_emulated"), ["dialect", Place(0)])], -1, "dialect"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["emulator_url", Place(-2)], [Skeleton(Cache("sys_emulated"), ["emulator_url", Place(0)])], -1, "emulator_url"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["argv", Place(-2)], [Skeleton(Cache("sys_emulated"), ["argv", Place(0)])], -1, "argv"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["sys_locale", Place(-2)], [Skeleton(Cache("sys_emulated"), ["sys_locale", Place(0)])], -1, "sys_locale"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["single_quotes", "atom"], [], -1, "single_quotes"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["double_quotes", "codes"], [], -1, "double_quotes"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["back_quotes", "variable"], [], -1, "back_quotes"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["version", 10200], [], -1, "version"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["version_data", Compound("dogelog", [1, 2, 0, Compound(".", [Compound("date", [1713912157538]), "[]"])])], [], -1, "version_data"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["iso", "false"], [], -1, "iso"))
         
add("sys_prolog_flag_get", 2, Clause(0, ["max_arity", 2147483647], [], -1, "max_arity"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["stage", Place(-2)], [Skeleton(Cache("dg_get_stage"), [Place(0)])], -1, "stage"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["partition", Place(-2)], [Skeleton(Cache("dg_get_partition"), [Place(0)])], -1, "partition"))
         
add("sys_prolog_flag_get", 2, Clause(2, ["async_mode", Place(-2)], [Skeleton(Cache("dg_gc_flags"), [Place(-3)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 1, Place(0)])], -1, "async_mode"))
         
add("sys_prolog_flag_get", 2, Clause(2, ["allow_yield", Place(-2)], [Skeleton(Cache("dg_gc_flags"), [Place(-3)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 8, Place(0)])], -1, "allow_yield"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["base_url", Place(-2)], [Skeleton(Cache("os_get_workdir"), [Place(0)])], -1, "base_url"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["system_url", Place(-2)], [Skeleton(Cache("os_get_libpath"), [Place(0)])], -1, "system_url"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["foreign_ext", Place(-2)], [Skeleton(Cache("os_get_natext"), [Place(0)])], -1, "foreign_ext"))
         
add("sys_prolog_flag_get", 2, Clause(1, ["host_info", Place(-2)], [Skeleton(Cache("os_host_info"), [Place(0)])], -1, "host_info"))
         
add("sys_prolog_flag_get", 2, Clause(2, ["import_async", Place(-2)], [Skeleton(Cache("dg_gc_flags"), [Place(-3)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 16, Place(0)])], -1, "import_async"))
         
add("sys_prolog_flag_get", 2, Clause(2, ["prop_async", Place(-2)], [Skeleton(Cache("dg_gc_flags"), [Place(-3)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 32, Place(0)])], -1, "prop_async"))
         
add("sys_prolog_flag_get", 2, Clause(2, ["read_async", Place(-2)], [Skeleton(Cache("dg_gc_flags"), [Place(-3)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 64, Place(0)])], -1, "read_async"))
         
add("sys_prolog_flag_decode", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(1), Place(2)]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), "on"])], 0, NotImplemented))
         
add("sys_prolog_flag_decode", 3, Clause(0, [Place(-1), Place(-1), "off"], [], -1, NotImplemented))
         
add("statistics", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_stat_get"), [Place(1), Place(2)])], 0, NotImplemented))
         
add("statistics", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_stat_get"), [Place(1), Place(-3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(1)])], 0, NotImplemented))
         
add("statistics", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_stat_get", 2, Clause(1, ["gctime", Place(-2)], [Skeleton(Cache("dg_gc_time"), [Place(0)])], -1, "gctime"))
         
add("sys_stat_get", 2, Clause(1, ["calls", Place(-2)], [Skeleton(Cache("dg_call_count"), [Place(0)])], -1, "calls"))
         
add("sys_stat_get", 2, Clause(1, ["time", Place(-2)], [Skeleton(Cache("dg_real_time"), [Place(0)])], -1, "time"))
         
add("sys_stat_get", 2, Clause(1, ["wall", Place(-2)], [Skeleton(Cache("dg_date_now"), [Place(0)])], -1, "wall"))
         
add("statistics", 0, Clause(3, [], [Skeleton(Cache("statistics"), [Place(-2), Place(-3)]), Skeleton(Cache("current_output"), [Place(-4)]), Skeleton(Cache("sys_convert_stat"), [Place(0), Place(1), Place(-3)]), Skeleton(Cache("sys_print_message"), [Skeleton("statistics", [Place(0), Place(1)]), Place(2)]), Cache("nl"), Cache("fail")], -1, NotImplemented))
         
add("statistics", 0, Clause(0, [], [], -1, NotImplemented))
         
add("sys_convert_stat", 3, Clause(3, ["wall", Place(-3), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("get_string"), ["format.datetime", Place(-2)]), Skeleton(Cache("sys_time_atom"), [Place(0), Place(1), Place(2)])], 0, "wall"))
         
add("sys_convert_stat", 3, Clause(1, [Place(-1), Place(-2), Place(0)], [], -1, NotImplemented))
         
add("time", 1, Clause(2, [Place(-2)], [Skeleton(Cache("="), [Place(-3), Skeleton("v", [Place(-1), Place(-1), Place(-1)])]), Skeleton(Cache("try_call_finally"), [Skeleton("sys_time_set", [Place(1)]), Place(0), Skeleton("sys_time_show", [Place(1)])])], -1, NotImplemented))
         
add("sys_time_set", 1, Clause(4, [Place(-2)], [Skeleton(Cache("statistics"), ["time", Place(-3)]), Skeleton(Cache("statistics"), ["gctime", Place(-4)]), Skeleton(Cache("statistics"), ["calls", Place(-5)]), Skeleton(Cache("change_arg"), [1, Place(0), Place(1)]), Skeleton(Cache("change_arg"), [2, Place(0), Place(2)]), Skeleton(Cache("change_arg"), [3, Place(0), Place(3)])], -1, NotImplemented))
         
add("sys_time_show", 1, Clause(7, [Place(-2)], [Skeleton(Cache("arg"), [1, Place(0), Place(-3)]), Skeleton(Cache("arg"), [2, Place(0), Place(-4)]), Skeleton(Cache("arg"), [3, Place(0), Place(-2)]), Skeleton(Cache("statistics"), ["time", Place(-5)]), Skeleton(Cache("statistics"), ["gctime", Place(-6)]), Skeleton(Cache("statistics"), ["calls", Place(-7)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(3), Place(1)]), Place(-3)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(4), Place(2)]), Place(-4)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(5), Place(0)]), Place(-2)]), Skeleton(make_defined([Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=\\="), [Place(1), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("truncate"), [Skeleton(Cache("/"), [Skeleton(Cache("*"), [Place(3), 1000]), Place(1)])]), Place(2)])], 0, NotImplemented), Clause(1, [Place(-1), Place(-2), Place(-1)], [Skeleton(Cache("="), [Place(0), 0])], -1, NotImplemented)]), [Place(1), Place(-7), Place(0)]), Skeleton(Cache("statistics"), ["wall", Place(-2)]), Skeleton(Cache("current_output"), [Place(-6)]), Skeleton(Cache("member"), [Skeleton("-", [Place(-5), Place(-8)]), Skeleton(".", [Skeleton("-", ["time", Place(1)]), Skeleton(".", [Skeleton("-", ["gctime", Place(2)]), Skeleton(".", [Skeleton("-", ["lips", Place(5)]), Skeleton(".", [Skeleton("-", ["wall", Place(0)]), "[]"])])])])]), Skeleton(Cache("sys_convert_stat"), [Place(3), Place(6), Place(-8)]), Skeleton(Cache("sys_print_message"), [Skeleton("time", [Place(3), Place(6)]), Place(4)]), Cache("fail")], -1, NotImplemented))
         
add("sys_time_show", 1, Clause(0, [Place(-1)], [Cache("nl")], -1, NotImplemented))
         
add("try_call_finally", 3, Clause(5, [Place(-3), Place(-4), Place(-5)], [Skeleton(make_defined([Clause(1, [Place(-2), Place(-1)], [Place(0)], -1, NotImplemented), Clause(1, [Place(-1), Place(-2)], [Place(0), Cache("fail")], -1, NotImplemented)]), [Place(1), Place(3)]), Skeleton(Cache("$MARK"), [Place(-6)]), Skeleton(Cache("sys_trap"), [Place(2), Place(-4), Skeleton(",", [Place(3), Skeleton("sys_raise", [Place(2)])])]), Skeleton(Cache("$MARK"), [Place(-4)]), Skeleton(make_defined([Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-1)], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("$CUT"), [Place(3)]), Place(4)], 0, NotImplemented), Clause(1, [Place(-1), Place(-1), Place(-1), Place(-2), Place(-1)], [Place(0)], -1, NotImplemented), Clause(1, [Place(-1), Place(-1), Place(-1), Place(-1), Place(-2)], [Place(0), Cache("fail")], -1, NotImplemented)]), [Place(4), Place(2), Place(0), Place(3), Place(1)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(5), Place(3)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("sys_atom_match"), [Place(1), Place(5), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("=<"), [0, Place(4)]), Skeleton(Cache("=<"), [Place(4), Place(0)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(-6)]), Skeleton(Cache("between"), [0, Place(4), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(4), Place(2)]), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(3)]), Place(2)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("=<"), [0, Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(0)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(2)]), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(5), Place(3)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)]), Skeleton(Cache("sys_atom_match"), [Place(1), Place(5), Place(2)])], 0, NotImplemented))
         
add("sub_atom", 5, Clause(6, [Place(-2), Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("atom_length"), [Place(4), Place(2)]), Skeleton(Cache("atom_length"), [Place(0), Place(-7)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(5), Place(3)]), Place(2)]), Place(1)]), Skeleton(Cache("sys_atom_match"), [Place(0), Place(4), Place(1)])], -1, NotImplemented))
         
add("last_sub_atom", 5, Clause(7, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(-8)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(6)]), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(-8)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(6)]), Place(3)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(5), Place(3)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("sys_last_atom_match"), [Place(1), Place(5), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("=<"), [0, Place(4)]), Skeleton(Cache("=<"), [Place(4), Place(0)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(-6)]), Skeleton(Cache("between"), [0, Place(4), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(4), Place(0)]), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(4), Place(2)]), Place(3)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(3)]), Place(2)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(7, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("=<"), [0, Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(0)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(-2)]), Skeleton(Cache("between"), [0, Place(0), Place(-8)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(6)]), Place(3)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Place(0), Place(3)]), Place(4)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(4)]), Place(2)]), Place(3)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-3), Place(-4), Place(-5), Place(-6), Place(-7)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(5), Place(3)]), Skeleton(Cache("atom_length"), [Place(1), Place(-2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0), Place(2)]), Place(3)]), Place(4)]), Skeleton(Cache("sys_last_atom_match"), [Place(1), Place(5), Place(2)])], 0, NotImplemented))
         
add("last_sub_atom", 5, Clause(6, [Place(-2), Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("atom_length"), [Place(4), Place(2)]), Skeleton(Cache("atom_length"), [Place(0), Place(-7)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(5), Place(3)]), Place(2)]), Place(1)]), Skeleton(Cache("sys_last_atom_match"), [Place(0), Place(4), Place(1)])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_op", 5, 1])]))
         
add("sys_op", 5, Clause(0, [":-", "fx", 1200, 12, "system"], [], -1, ":-"))
         
add("sys_op", 5, Clause(0, [":-", "xfx", 1200, 12, "system"], [], -1, ":-"))
         
add("sys_op", 5, Clause(0, ["?-", "fx", 1200, 12, "system"], [], -1, "?-"))
         
add("sys_op", 5, Clause(0, ["-->", "xfx", 1200, 12, "system"], [], -1, "-->"))
         
add("sys_op", 5, Clause(0, ["dynamic", "fx", 1150, 12, "system"], [], -1, "dynamic"))
         
add("sys_op", 5, Clause(0, ["discontiguous", "fx", 1150, 12, "system"], [], -1, "discontiguous"))
         
add("sys_op", 5, Clause(0, ["multifile", "fx", 1150, 12, "system"], [], -1, "multifile"))
         
add("sys_op", 5, Clause(0, ["initialization", "fx", 1150, 12, "system"], [], -1, "initialization"))
         
add("sys_op", 5, Clause(0, [";", "xfy", 1100, 10, "system"], [], -1, ";"))
         
add("sys_op", 5, Clause(0, ["->", "xfy", 1050, 8, "system"], [], -1, "->"))
         
add("sys_op", 5, Clause(0, [",", "xfy", 1000, 6, "system"], [], -1, ","))
         
add("sys_op", 5, Clause(0, ["\\+", "fy", 900, 0, "system"], [], -1, "\\+"))
         
add("sys_op", 5, Clause(0, ["is", "xfx", 700, 0, "system"], [], -1, "is"))
         
add("sys_op", 5, Clause(0, ["=", "xfx", 700, 0, "system"], [], -1, "="))
         
add("sys_op", 5, Clause(0, ["\\=", "xfx", 700, 0, "system"], [], -1, "\\="))
         
add("sys_op", 5, Clause(0, ["=..", "xfx", 700, 0, "system"], [], -1, "=.."))
         
add("sys_op", 5, Clause(0, ["<", "xfx", 700, 0, "system"], [], -1, "<"))
         
add("sys_op", 5, Clause(0, ["=<", "xfx", 700, 0, "system"], [], -1, "=<"))
         
add("sys_op", 5, Clause(0, ["=\\=", "xfx", 700, 0, "system"], [], -1, "=\\="))
         
add("sys_op", 5, Clause(0, [">=", "xfx", 700, 0, "system"], [], -1, ">="))
         
add("sys_op", 5, Clause(0, [">", "xfx", 700, 0, "system"], [], -1, ">"))
         
add("sys_op", 5, Clause(0, ["=:=", "xfx", 700, 0, "system"], [], -1, "=:="))
         
add("sys_op", 5, Clause(0, ["@<", "xfx", 700, 0, "system"], [], -1, "@<"))
         
add("sys_op", 5, Clause(0, ["@=<", "xfx", 700, 0, "system"], [], -1, "@=<"))
         
add("sys_op", 5, Clause(0, ["\\==", "xfx", 700, 0, "system"], [], -1, "\\=="))
         
add("sys_op", 5, Clause(0, ["@>=", "xfx", 700, 0, "system"], [], -1, "@>="))
         
add("sys_op", 5, Clause(0, ["@>", "xfx", 700, 0, "system"], [], -1, "@>"))
         
add("sys_op", 5, Clause(0, ["==", "xfx", 700, 0, "system"], [], -1, "=="))
         
add("sys_op", 5, Clause(0, [":", "xfy", 600, 3, "system"], [], -1, ":"))
         
add("sys_op", 5, Clause(0, ["+", "yfx", 500, 3, "system"], [], -1, "+"))
         
add("sys_op", 5, Clause(0, ["-", "yfx", 500, 3, "system"], [], -1, "-"))
         
add("sys_op", 5, Clause(0, ["/\\", "yfx", 500, 3, "system"], [], -1, "/\\"))
         
add("sys_op", 5, Clause(0, ["\\/", "yfx", 500, 3, "system"], [], -1, "\\/"))
         
add("sys_op", 5, Clause(0, ["*", "yfx", 400, 3, "system"], [], -1, "*"))
         
add("sys_op", 5, Clause(0, ["/", "yfx", 400, 3, "system"], [], -1, "/"))
         
add("sys_op", 5, Clause(0, ["//", "yfx", 400, 3, "system"], [], -1, "//"))
         
add("sys_op", 5, Clause(0, ["rem", "yfx", 400, 3, "system"], [], -1, "rem"))
         
add("sys_op", 5, Clause(0, ["div", "yfx", 400, 3, "system"], [], -1, "div"))
         
add("sys_op", 5, Clause(0, ["mod", "yfx", 400, 3, "system"], [], -1, "mod"))
         
add("sys_op", 5, Clause(0, ["xor", "yfx", 400, 3, "system"], [], -1, "xor"))
         
add("sys_op", 5, Clause(0, [">>", "yfx", 400, 3, "system"], [], -1, ">>"))
         
add("sys_op", 5, Clause(0, ["<<", "yfx", 400, 3, "system"], [], -1, "<<"))
         
add("sys_op", 5, Clause(0, ["-", "fy", 200, 1, "system"], [], -1, "-"))
         
add("sys_op", 5, Clause(0, ["\\", "fy", 200, 1, "system"], [], -1, "\\"))
         
add("sys_op", 5, Clause(0, ["**", "xfx", 200, 3, "system"], [], -1, "**"))
         
add("sys_op", 5, Clause(0, ["^", "xfy", 200, 3, "system"], [], -1, "^"))
         
add("current_op", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_op"), [Place(2), Place(1), Place(0), Place(-1), Place(-1)])], -1, NotImplemented))
         
add("op", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_check_integer"), [Place(0)]), Skeleton(Cache("sys_check_priority"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_atom"), [Place(2)]), Skeleton(Cache("sys_op_retract"), [Place(2), Place(1)]), Skeleton(Cache("sys_op_assert"), [Place(2), Place(1), Place(0)])], -1, NotImplemented))
         
add("sys_check_priority", 1, Clause(1, [Place(-2)], [Skeleton(Cache("<"), [Place(0), 0]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["not_less_than_zero", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_check_priority", 1, Clause(1, [Place(-2)], [Skeleton(Cache(">"), [Place(0), 1200]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["operator_priority", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_check_priority", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("sys_op_retract", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_is_prefix"), [Place(2), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, [Place(-2)], [Skeleton(Cache("sys_op"), [Place(0), Place(-3), Place(-4), Place(-1), Place(-1)]), Skeleton(Cache("sys_is_prefix"), [Place(1), Place(-1)]), Skeleton(Cache("retract"), [Skeleton("sys_op", [Place(0), Place(1), Place(2), Place(-1), Place(-1)])]), Cache("fail")], -1, NotImplemented), Clause(0, [Place(-1)], [], -1, NotImplemented)]), [Place(1)])], 0, NotImplemented))
         
add("sys_op_retract", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_is_postfix"), [Place(2), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, [Place(-2)], [Skeleton(Cache("sys_op"), [Place(0), Place(-3), Place(-4), Place(-1), Place(-1)]), Skeleton(Cache("sys_is_postfix"), [Place(1), Place(-1)]), Skeleton(Cache("retract"), [Skeleton("sys_op", [Place(0), Place(1), Place(2), Place(-1), Place(-1)])]), Cache("fail")], -1, NotImplemented), Clause(0, [Place(-1)], [], -1, NotImplemented)]), [Place(1)])], 0, NotImplemented))
         
add("sys_op_retract", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_is_infix"), [Place(2), Place(-1), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, [Place(-2)], [Skeleton(Cache("sys_op"), [Place(0), Place(-3), Place(-4), Place(-1), Place(-1)]), Skeleton(Cache("sys_is_infix"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("retract"), [Skeleton("sys_op", [Place(0), Place(1), Place(2), Place(-1), Place(-1)])]), Cache("fail")], -1, NotImplemented), Clause(0, [Place(-1)], [], -1, NotImplemented)]), [Place(1)])], 0, NotImplemented))
         
add("sys_op_retract", 2, Clause(1, [Place(-1), Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["operator_specifier", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_op_assert", 3, Clause(1, [Place(-1), Place(-1), 0], [Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_assert", 3, Clause(2, [Place(-2), Place(-3), Place(-1)], [Skeleton(Cache("sys_is_infix"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("sys_op"), [Place(0), Place(-3), Place(-1), Place(-1), Place(-1)]), Skeleton(Cache("sys_is_postfix"), [Place(1), Place(-1)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["create", "operator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_op_assert", 3, Clause(2, [Place(-2), Place(-3), Place(-1)], [Skeleton(Cache("sys_is_postfix"), [Place(1), Place(-1)]), Skeleton(Cache("sys_op"), [Place(0), Place(-3), Place(-1), Place(-1), Place(-1)]), Skeleton(Cache("sys_is_infix"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["create", "operator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_op_assert", 3, Clause(5, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_op_space"), [Place(1), Place(2), Place(-5)]), Skeleton(Cache("sys_op_format"), [Place(1), Place(2), Place(-6)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("\\/"), [Place(3), Place(4)]), Place(-6)]), Skeleton(Cache("dg_get_partition"), [Place(-5)]), Skeleton(Cache("assertz"), [Skeleton("sys_op", [Place(0), Place(1), Place(2), Place(4), Place(3)])])], -1, NotImplemented))
         
add("sys_op_space", 3, Clause(2, [Place(-1), Place(-3), 0], [Skeleton(Cache(">"), [Place(1), 699]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_space", 3, Clause(2, [Place(-3), Place(-1), 1], [Skeleton(Cache("sys_is_prefix"), [Place(1), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_space", 3, Clause(2, [Place(-3), Place(-1), 2], [Skeleton(Cache("sys_is_postfix"), [Place(1), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_space", 3, Clause(0, [Place(-1), Place(-1), 3], [], -1, NotImplemented))
         
add("sys_op_format", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_is_infix"), [Place(1), Place(-1), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_op_format2"), [Place(2), Place(3)])], 0, NotImplemented))
         
add("sys_op_format", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_is_prefix"), [Place(1), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_op_format3"), [Place(2), Place(3)])], 0, NotImplemented))
         
add("sys_op_format", 3, Clause(0, [Place(-1), Place(-1), 0], [], -1, NotImplemented))
         
add("sys_op_format2", 2, Clause(2, [Place(-3), 12], [Skeleton(Cache(">"), [Place(1), 1149]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_format2", 2, Clause(2, [Place(-3), 8], [Skeleton(Cache(">"), [Place(1), 1049]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_format2", 2, Clause(2, [Place(-3), 4], [Skeleton(Cache(">"), [Place(1), 949]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_format2", 2, Clause(0, [Place(-1), 0], [], -1, NotImplemented))
         
add("sys_op_format3", 2, Clause(2, [Place(-3), 12], [Skeleton(Cache(">"), [Place(1), 1149]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_op_format3", 2, Clause(0, [Place(-1), 0], [], -1, NotImplemented))
         
add("term_conversion", 2, Clause(2, [Place(-3), Place(-1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
         
add("term_conversion", 2, Clause(2, [Skeleton("-->", [Place(-3), Place(-1)]), Place(-1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, "-->"))
         
add("term_conversion", 2, Clause(7, [Skeleton("-->", [Skeleton(",", [Place(-3), Place(-4)]), Place(-5)]), Skeleton(":-", [Place(-6), Skeleton(",", [Place(-7), Place(-8)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(-3), Place(-2), Place(4)]), Skeleton(Cache("sys_phrase_expansion"), [Place(3), Place(1), Place(-3), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), Place(0), Place(1), Place(6)])], 0, "-->"))
         
add("term_conversion", 2, Clause(5, [Skeleton("-->", [Place(-3), Place(-4)]), Skeleton(":-", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(-3), Place(-2), Place(3)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), Place(1), Place(0), Place(4)])], 0, "-->"))
         
add("sys_phrase_expansion", 4, Clause(2, [Place(-3), Place(-1), Place(-1), Place(-1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
         
add("sys_phrase_expansion", 4, Clause(7, [Skeleton(",", [Place(-3), Place(-4)]), Place(-5), Place(-6), Skeleton(",", [Place(-7), Place(-8)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(3), Place(-5), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), Place(3), Place(4), Place(6)])], 0, ","))
         
add("sys_phrase_expansion", 4, Clause(7, [Skeleton(";", [Place(-3), Place(-4)]), Place(-5), Place(-6), Skeleton(";", [Place(-7), Place(-8)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), Place(3), Place(4), Place(6)])], 0, ";"))
         
add("sys_phrase_expansion", 4, Clause(7, [Skeleton("->", [Place(-3), Place(-4)]), Place(-5), Place(-6), Skeleton("->", [Place(-7), Place(-8)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(3), Place(-5), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), Place(3), Place(4), Place(6)])], 0, "->"))
         
add("sys_phrase_expansion", 4, Clause(3, ["[]", Place(-3), Place(-4), Skeleton("=", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "[]"))
         
add("sys_phrase_expansion", 4, Clause(5, [Skeleton(".", [Place(-3), Place(-4)]), Place(-5), Place(-6), Skeleton("=", [Place(3), Skeleton(".", [Place(1), Place(-3)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_list_expansion"), [Place(2), Place(4), Place(1)])], 0, "."))
         
add("sys_phrase_expansion", 4, Clause(3, ["!", Place(-3), Place(-4), Skeleton(",", ["!", Skeleton("=", [Place(1), Place(2)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "!"))
         
add("sys_phrase_expansion", 4, Clause(4, [Skeleton("{}", [Place(-3)]), Place(-4), Place(-5), Skeleton(",", [Place(1), Skeleton("=", [Place(2), Place(3)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "{}"))
         
add("sys_phrase_expansion", 4, Clause(5, [Skeleton("\\+", [Place(-3)]), Place(-4), Place(-5), Skeleton(",", [Skeleton("\\+", [Place(-6)]), Skeleton("=", [Place(2), Place(3)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), Place(2), Place(-1), Place(4)])], 0, "\\+"))
         
add("sys_phrase_expansion", 4, Clause(5, [Place(-2), Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("callable"), [Place(0)]), Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(-2), Place(-6)])]), Skeleton(Cache("append"), [Place(4), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])]), Place(-4)]), Skeleton(Cache("=.."), [Place(3), Skeleton(".", [Place(0), Place(2)])])], -1, NotImplemented))
         
add("sys_list_expansion", 3, Clause(2, [Place(-3), Place(-1), Place(-1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
         
add("sys_list_expansion", 3, Clause(1, ["[]", Place(-2), Place(0)], [], -1, "[]"))
         
add("sys_list_expansion", 3, Clause(3, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Skeleton(".", [Place(0), Place(-2)])], [Skeleton(Cache("sys_list_expansion"), [Place(1), Place(2), Place(0)])], -1, "."))
         
add("absolute_file_name", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("current_prolog_flag"), ["base_url", Place(-4)]), Skeleton(Cache("sys_file_combine"), [Place(2), Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_file_combine", 3, Clause(3, [Place(-1), Place(-3), Place(-4)], [Skeleton(Cache("is_absolute_file_name"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, NotImplemented))
         
add("sys_file_combine", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("file_directory_name"), [Place(0), Place(-2)]), Skeleton(Cache("atom_concat"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("is_absolute_file_name", 1, Clause(4, [Place(-2)], [Skeleton(Cache("atom_length"), [Place(0), Place(-3)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4), Place(-1)], [Skeleton(Cache("sub_atom"), [Place(1), Place(2), Place(-1), Place(-1), "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(-1), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(0), Place(-4), Place(1)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4), Place(-1)], [Skeleton(Cache("sub_atom"), [Place(1), Place(2), Place(-1), Place(-1), "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(-1), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(0), Place(-5), Place(1)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("min"), [Place(2), Place(3)]), Place(-5)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4), Place(-1)], [Skeleton(Cache("=="), [Place(1), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("<"), [Place(1), Place(2)])], 0, NotImplemented), Clause(3, [Place(-3), Place(-1), Place(-4)], [Skeleton(Cache("sub_atom"), [Place(2), Place(-4), Place(-1), Place(-1), ":"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("<"), [Place(2), Place(1)])], 0, NotImplemented)]), [Place(3), Place(1), Place(0)])], -1, NotImplemented))
         
add("file_directory_name", 2, Clause(4, [Place(-2), Place(-3)], [Skeleton(make_defined([Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(2), Place(-1), Place(-1), "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(1, [Place(-1), Place(-2)], [Skeleton(Cache("="), [Place(0), -1])], -1, NotImplemented)]), [Place(0), Place(-4)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(2), Place(-1), Place(-1), "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(1, [Place(-1), Place(-2)], [Skeleton(Cache("="), [Place(0), -1])], -1, NotImplemented)]), [Place(0), Place(-5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("max"), [Place(2), Place(3)]), Place(-5)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("+"), [Place(3), 1]), Place(-5)]), Skeleton(Cache("sub_atom"), [Place(0), 0, Place(3), Place(-1), Place(1)])], -1, NotImplemented))
         
add("file_base_name", 2, Clause(5, [Place(-2), Place(-3)], [Skeleton(Cache("atom_length"), [Place(0), Place(-4)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4), Place(-1)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(-1), Place(-1), Place(2), "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(-1), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(0), Place(-5), Place(2)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4), Place(-1)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(-1), Place(-1), Place(2), "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(-1), Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(0), Place(-6), Place(2)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("min"), [Place(3), Place(4)]), Place(-6)]), Skeleton(Cache("sub_atom"), [Place(0), Place(-1), Place(4), 0, Place(1)])], -1, NotImplemented))
         
add("strings", 3, Clause(0, ["exception_unknown", "de", "Unbekannte Ausnahme: "], [], -1, "exception_unknown"))
         
add("strings", 3, Clause(0, ["exception_error", "de", "Fehler: "], [], -1, "exception_error"))
         
add("strings", 3, Clause(0, ["exception_warning", "de", "Warnung: "], [], -1, "exception_warning"))
         
add("strings", 3, Clause(0, ["exception_context", "de", "\tUnbekannter Kontext: "], [], -1, "exception_context"))
         
add("strings", 3, Clause(0, ["exception_template", "de", "Unbekannte Vorlage: "], [], -1, "exception_template"))
         
add("strings", 3, Clause(0, ["file_line", "de", "\t~ auf ~"], [], -1, "file_line"))
         
add("strings", 3, Clause(0, ["format.date", "de", "%d.%m.%Y"], [], -1, "format.date"))
         
add("strings", 3, Clause(0, ["format.datetime", "de", "%d.%m.%Y %H:%M"], [], -1, "format.datetime"))
         
add("strings", 3, Clause(0, ["time.time", "de", "% Zeit ~ ms"], [], -1, "time.time"))
         
add("strings", 3, Clause(0, ["time.gctime", "de", ", GC ~ ms"], [], -1, "time.gctime"))
         
add("strings", 3, Clause(0, ["time.lips", "de", ", Lips ~"], [], -1, "time.lips"))
         
add("strings", 3, Clause(0, ["time.wall", "de", ", Uhr ~~"], [], -1, "time.wall"))
         
add("strings", 3, Clause(0, ["statistics.gctime", "de", "GC Zeit\t\t~ ms"], [], -1, "statistics.gctime"))
         
add("strings", 3, Clause(0, ["statistics.calls", "de", "Aufrufe\t\t~"], [], -1, "statistics.calls"))
         
add("strings", 3, Clause(0, ["statistics.time", "de", "Betriebszeit\t~ ms"], [], -1, "statistics.time"))
         
add("strings", 3, Clause(0, ["statistics.wall", "de", "Uhrzeit\t\t~~"], [], -1, "statistics.wall"))
         
add("strings", 3, Clause(0, ["exception_unknown", "", "Unknown exception: "], [], -1, "exception_unknown"))
         
add("strings", 3, Clause(0, ["exception_error", "", "Error: "], [], -1, "exception_error"))
         
add("strings", 3, Clause(0, ["exception_warning", "", "Warning: "], [], -1, "exception_warning"))
         
add("strings", 3, Clause(0, ["exception_context", "", "\tUnknown context: "], [], -1, "exception_context"))
         
add("strings", 3, Clause(0, ["exception_template", "", "Unknown template: "], [], -1, "exception_template"))
         
add("strings", 3, Clause(0, ["file_line", "", "\t~ at ~"], [], -1, "file_line"))
         
add("strings", 3, Clause(0, ["format.date", "", "%d/%m/%Y"], [], -1, "format.date"))
         
add("strings", 3, Clause(0, ["format.datetime", "", "%d/%m/%Y %H:%M"], [], -1, "format.datetime"))
         
add("strings", 3, Clause(0, ["time.time", "", "% Time ~ ms"], [], -1, "time.time"))
         
add("strings", 3, Clause(0, ["time.gctime", "", ", GC ~ ms"], [], -1, "time.gctime"))
         
add("strings", 3, Clause(0, ["time.lips", "", ", Lips ~"], [], -1, "time.lips"))
         
add("strings", 3, Clause(0, ["time.wall", "", ", Wall ~~"], [], -1, "time.wall"))
         
add("strings", 3, Clause(0, ["statistics.gctime", "", "GC time\t\t~ ms"], [], -1, "statistics.gctime"))
         
add("strings", 3, Clause(0, ["statistics.calls", "", "Calls\t\t~"], [], -1, "statistics.calls"))
         
add("strings", 3, Clause(0, ["statistics.time", "", "Realtime\t~ ms"], [], -1, "statistics.time"))
         
add("strings", 3, Clause(0, ["statistics.wall", "", "Walltime\t~~"], [], -1, "statistics.wall"))
         
add("strings", 3, Clause(0, ["instantiation_error", "de", "Argument sollte keine Variable sein."], [], -1, "instantiation_error"))
         
add("strings", 3, Clause(0, ["syntax_error.directive_failed", "de", "Direktive fehlgeschlagen."], [], -1, "syntax_error.directive_failed"))
         
add("strings", 3, Clause(0, ["existence_error.body", "de", "Prädikat ~ fehlt Implementation."], [], -1, "existence_error.body"))
         
add("strings", 3, Clause(0, ["existence_error.procedure", "de", "Prädikat ~ undefiniert oder unerreichbar."], [], -1, "existence_error.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.modify.static_procedure", "de", "Kann Prädikat ~ nicht aktualisieren."], [], -1, "permission_error.modify.static_procedure"))
         
add("strings", 3, Clause(0, ["permission_error.coerce.procedure", "de", "Kann Prädikat ~ nicht zu anderen Delegiertentyp zwingen."], [], -1, "permission_error.coerce.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.access.private_procedure", "de", "Kann auf Prädikat ~ nicht zugreifen."], [], -1, "permission_error.access.private_procedure"))
         
add("strings", 3, Clause(0, ["permission_error.redefine.procedure", "de", "Kann Prädikat ~ nicht umdefinieren, nicht als Mehrdateien markiert."], [], -1, "permission_error.redefine.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.promote.multifile", "de", "Kann Funktion ~ nicht zu Mehrdateien heben."], [], -1, "permission_error.promote.multifile"))
         
add("strings", 3, Clause(0, ["permission_error.create.operator", "de", "Kann Operator ~ nicht erstellen."], [], -1, "permission_error.create.operator"))
         
add("strings", 3, Clause(0, ["resource_error.illegal_method", "de", "Methode nicht zugelassen."], [], -1, "resource_error.illegal_method"))
         
add("strings", 3, Clause(0, ["system_error.timelimit_exceeded", "de", "Ausführung abgebrochen da Zeitfrist abgelaufen."], [], -1, "system_error.timelimit_exceeded"))
         
add("strings", 3, Clause(0, ["system_error.user_abort", "de", "Ausführung auf Benutzerwunsch abgebrochen."], [], -1, "system_error.user_abort"))
         
add("strings", 3, Clause(0, ["system_error.stack_overflow", "de", "Ausführung wegen Stapelüberlauf abgebrochen."], [], -1, "system_error.stack_overflow"))
         
add("strings", 3, Clause(0, ["instantiation_error", "", "Argument should not be a variable."], [], -1, "instantiation_error"))
         
add("strings", 3, Clause(0, ["syntax_error.directive_failed", "", "Directive failed."], [], -1, "syntax_error.directive_failed"))
         
add("strings", 3, Clause(0, ["existence_error.body", "", "Predicate ~ implementation missing."], [], -1, "existence_error.body"))
         
add("strings", 3, Clause(0, ["existence_error.procedure", "", "Undefined or inaccesible predicate ~."], [], -1, "existence_error.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.modify.static_procedure", "", "Can\'t modify predicate ~."], [], -1, "permission_error.modify.static_procedure"))
         
add("strings", 3, Clause(0, ["permission_error.coerce.procedure", "", "Can\'t coerce predicate ~ into other delegate type."], [], -1, "permission_error.coerce.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.access.private_procedure", "", "Can\'t access predicate ~."], [], -1, "permission_error.access.private_procedure"))
         
add("strings", 3, Clause(0, ["permission_error.redefine.procedure", "", "Can\'t redefine predicate ~, not marked multfile."], [], -1, "permission_error.redefine.procedure"))
         
add("strings", 3, Clause(0, ["permission_error.promote.multifile", "", "Can\'t promote predicate ~ to multi-file."], [], -1, "permission_error.promote.multifile"))
         
add("strings", 3, Clause(0, ["permission_error.create.operator", "", "Can\'t create the operator ~."], [], -1, "permission_error.create.operator"))
         
add("strings", 3, Clause(0, ["resource_error.illegal_method", "", "Method not allowed."], [], -1, "resource_error.illegal_method"))
         
add("strings", 3, Clause(0, ["system_error.timelimit_exceeded", "", "Execution aborted since time limit exceeded."], [], -1, "system_error.timelimit_exceeded"))
         
add("strings", 3, Clause(0, ["system_error.user_abort", "", "Execution aborted on user request."], [], -1, "system_error.user_abort"))
         
add("strings", 3, Clause(0, ["system_error.stack_overflow", "", "Execution aborted because of stack overflow."], [], -1, "system_error.stack_overflow"))
         
add("dynamic", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("dynamic", 1, Clause(3, [Skeleton("/", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("sys_style_indicator"), [Place(1), Place(2)]), Skeleton(Cache("kb_pred_touch"), [Place(1), Place(2), 1])], 0, "/"))
         
add("dynamic", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("asserta", 1, Clause(2, [Place(-2)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(-2)]), Skeleton(Cache("sys_encode_horn"), [Place(0), Place(-3), 0]), Skeleton(Cache("sys_host_make"), [Place(1), Place(-3)]), Skeleton(Cache("sys_host_asserta"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_host_asserta", 2, Clause(3, [Skeleton("tr_clause", [Place(-1), Place(-3), Place(-1)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(-3), Place(-2)]), Skeleton(Cache("ir_clause_add"), [Place(1), Place(0), Place(2), 2])], 0, "tr_clause"))
         
add("sys_host_asserta", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["tr_clause", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("assertz", 1, Clause(2, [Place(-2)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(-2)]), Skeleton(Cache("sys_encode_horn"), [Place(0), Place(-3), 0]), Skeleton(Cache("sys_host_make"), [Place(1), Place(-3)]), Skeleton(Cache("sys_host_assertz"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_host_assertz", 2, Clause(3, [Skeleton("tr_clause", [Place(-1), Place(-3), Place(-1)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(-3), Place(-2)]), Skeleton(Cache("ir_clause_add"), [Place(1), Place(0), Place(2), 3])], 0, "tr_clause"))
         
add("sys_host_assertz", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["tr_clause", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("clause", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("sys_check_callable"), [Place(0)]), Skeleton(Cache("kb_clause_ref"), [Place(0), 2, Place(-4)]), Skeleton(Cache("kb_clause_data"), [Place(2), Place(0), Place(-2), Place(-4)]), Skeleton(Cache("sys_decode_body"), [Place(2), Place(-4)]), Skeleton(Cache("sys_untrans_body"), [Place(2), Place(0), Place(-2)]), Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented))
         
add("retract", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("retract", 1, Clause(6, [Skeleton(":-", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_callable"), [Place(1)]), Skeleton(Cache("functor"), [Place(1), Place(-2), Place(-5)]), Skeleton(Cache("kb_clause_ref"), [Place(1), 3, Place(-6)]), Skeleton(Cache("kb_clause_data"), [Place(4), Place(1), Place(-3), Place(-7)]), Skeleton(Cache("sys_decode_body"), [Place(5), Place(-7)]), Skeleton(Cache("sys_untrans_body"), [Place(5), Place(1), Place(-3)]), Skeleton(Cache("="), [Place(1), Place(2)]), Skeleton(Cache("kb_clause_remove"), [Place(0), Place(3), 0, Place(4)])], 0, ":-"))
         
add("retract", 1, Clause(4, [Place(-2)], [Skeleton(Cache("sys_check_callable"), [Place(0)]), Skeleton(Cache("functor"), [Place(0), Place(-3), Place(-4)]), Skeleton(Cache("kb_clause_ref"), [Place(0), 3, Place(-5)]), Skeleton(Cache("kb_clause_data"), [Place(3), Place(0), Place(-1), Place(-2)]), Skeleton(Cache("="), [Place(0), "[]"]), Skeleton(Cache("kb_clause_remove"), [Place(1), Place(2), 0, Place(3)])], -1, NotImplemented))
         
add("retractall", 1, Clause(4, [Place(-2)], [Skeleton(Cache("sys_check_callable"), [Place(0)]), Skeleton(Cache("functor"), [Place(0), Place(-3), Place(-4)]), Skeleton(Cache("kb_clause_ref"), [Place(0), 7, Place(-5)]), Skeleton(Cache("kb_clause_head"), [Place(3), Place(0)]), Skeleton(Cache("kb_clause_remove"), [Place(1), Place(2), 1, Place(3)]), Cache("fail")], -1, NotImplemented))
         
add("retractall", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("abolish", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("abolish", 1, Clause(3, [Skeleton("/", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("sys_abolish"), [Place(1), Place(2)])], 0, "/"))
         
add("abolish", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_abolish", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("kb_pred_link"), [Place(0), Place(1), Place(-4)]), Skeleton(Cache("kb_link_flags"), [Place(2), Place(-4)]), Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["modify", "static_procedure", Skeleton("/", [Place(0), Place(1)])]), Place(-1)])])], -1, NotImplemented))
         
add("sys_abolish", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(0), Place(1), Place(-1)])]), Skeleton(Cache("kb_pred_destroy"), [Place(0), Place(1)])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_predprop", 3, 1])]))
         
add("current_predicate", 1, Clause(2, [Place(-3)], [Skeleton(Cache("\\+"), [Skeleton("ground", [Place(1)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("kb_pred_list"), [Place(-2)]), Skeleton(Cache("member"), [Place(1), Place(0)])], 0, NotImplemented))
         
add("current_predicate", 1, Clause(3, [Skeleton("/", [Place(-3), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("kb_pred_link"), [Place(1), Place(2), Place(-1)])], 0, "/"))
         
add("current_predicate", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("predicate_property", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("\\+"), [Skeleton("ground", [Place(1)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_predprop_pattern"), [Place(1), Place(2)])], 0, NotImplemented))
         
add("predicate_property", 2, Clause(4, [Skeleton("/", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_atom"), [Place(1)]), Skeleton(Cache("sys_check_integer"), [Place(2)]), Skeleton(Cache("sys_predprop_get"), [Place(1), Place(2), Place(3)])], 0, "/"))
         
add("predicate_property", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_predprop_pattern", 2, Clause(3, [Skeleton("/", [Place(-2), Place(-3)]), Place(-4)], [Skeleton(Cache("current_predicate"), [Skeleton("/", [Place(0), Place(1)])]), Skeleton(Cache("sys_predprop_get"), [Place(0), Place(1), Place(2)])], -1, "/"))
         
add("sys_predprop_get", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("kb_pred_link"), [Place(0), Place(1), Place(-3)]), Skeleton(Cache("kb_link_flags"), [Place(1), Place(-3)]), Skeleton(Cache("sys_predprop_flag"), [Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_predprop_get", 3, Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_predprop_flag", 2, Clause(1, [Place(-2), "dynamic"], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(0), 1]), 0])], -1, NotImplemented))
         
add("sys_predprop_flag", 2, Clause(1, [Place(-2), "static"], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(0), 1]), 0])], -1, NotImplemented))
         
add("sys_host_make", 2, Clause(7, [Skeleton("ir_clause", [Place(-2), Place(-3), Place(-4), Place(-5)]), Place(-6)], [Skeleton(Cache("$EVAL"), [Skeleton(Cache("+"), [Place(2), 1]), Place(-7)]), Skeleton(Cache("sys_host_list"), [Place(0), Place(-2), Skeleton("v", [Place(5), "[]"]), Skeleton("v", [Place(-7), Place(-8)])]), Skeleton(Cache("sys_host_list"), [Place(1), Place(-3), Skeleton("v", [Place(5), Place(6)]), Skeleton("v", [Place(-8), Place(-1)])]), Skeleton(Cache("ir_clause_new"), [Place(6), Place(0), Place(1), Place(2), Place(3), Place(4)])], -1, "ir_clause"))
         
add("sys_host_make", 2, Clause(3, [Skeleton("ir_goal", [Place(-2)]), Place(-3)], [Skeleton(Cache("sys_host_list"), [Place(0), Place(-2), Compound("v", [0, "[]"]), Skeleton("v", [Place(-4), Place(-1)])]), Skeleton(Cache("ir_goal_new"), [Place(2), Place(0), Place(1)])], -1, "ir_goal"))
         
add("sys_host_list", 4, Clause(6, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)]), Place(-6), Place(-7)], [Skeleton(Cache("sys_host_instr"), [Place(0), Place(2), Place(4), Place(-6)]), Skeleton(Cache("sys_host_list"), [Place(1), Place(3), Place(4), Place(5)])], -1, "."))
         
add("sys_host_list", 4, Clause(2, ["[]", "[]", Place(-2), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, "[]"))
         
add("sys_host_instr", 4, Clause(5, [Skeleton("first_var", [Place(-1), Place(-3)]), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("ir_place_new"), [-1, Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], 0, "first_var"))
         
add("sys_host_instr", 4, Clause(4, [Skeleton("first_var", [Place(-2), Place(-1)]), Place(-3), Place(-4), Place(-5)], [Skeleton(make_defined([Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_host_current_recycle"), [Skeleton(".", [Place(1), Place(-3)]), Place(2), Place(-4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_set_recycle"), [Place(1), Place(2), Place(3)])], 0, NotImplemented), Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_host_current_max"), [Place(0), Place(1), Place(-3)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("+"), [Place(0), 1]), Place(-2)]), Skeleton(Cache("="), [Place(1), Place(-3)]), Skeleton(Cache("sys_host_set_max"), [Place(0), Place(1), Place(2)])], -1, NotImplemented)]), [Place(0), Place(2), Place(-4)]), Skeleton(Cache("$EVAL"), [Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(0)]), 2]), Place(-2)]), Skeleton(Cache("ir_place_new"), [Place(0), Place(1)]), Skeleton(Cache("="), [Place(2), Place(3)])], -1, "first_var"))
         
add("sys_host_instr", 4, Clause(5, [Skeleton("var", [Place(-2), Place(-3)]), Place(-4), Place(-5), Place(-6)], [Skeleton(make_defined([Clause(5, [Place(-3), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("="), [Place(2), Place(-4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_current_recycle"), [Place(-2), Place(2), Place(-4)]), Skeleton(Cache("sys_host_set_recycle"), [Skeleton(".", [Place(3), Place(0)]), Place(2), Place(4)])], 0, NotImplemented), Clause(2, [Place(-1), Place(-2), Place(-1), Place(-3)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(1), Place(3), Place(0), Place(-5)]), Skeleton(Cache("ir_place_new"), [Place(0), Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], -1, "var"))
         
add("sys_host_instr", 4, Clause(5, [Skeleton("functor", [Place(-2), Place(-3)]), Place(-4), Place(-5), Place(-6)], [Skeleton(Cache("sys_host_const"), [Place(0), Place(-2)]), Skeleton(Cache("="), [Place(3), Place(-5)]), Skeleton(Cache("sys_host_list"), [Place(1), Place(-3), Place(3), Place(-5)]), Skeleton(Cache("ir_skeleton_new"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], -1, "functor"))
         
add("sys_host_instr", 4, Clause(4, [Skeleton("const", [Place(-2)]), Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_host_const"), [Place(0), Place(1)]), Skeleton(Cache("="), [Place(2), Place(3)])], -1, "const"))
         
add("sys_host_current_max", 3, Clause(2, [Place(-2), Skeleton("v", [Place(0), Place(-3)]), Skeleton("v", [Place(0), Place(1)])], [], -1, NotImplemented))
         
add("sys_host_set_max", 3, Clause(2, [Place(-2), Skeleton("v", [Place(-1), Place(-3)]), Skeleton("v", [Place(0), Place(1)])], [], -1, NotImplemented))
         
add("sys_host_current_recycle", 3, Clause(2, [Place(-2), Skeleton("v", [Place(-3), Place(0)]), Skeleton("v", [Place(1), Place(0)])], [], -1, NotImplemented))
         
add("sys_host_set_recycle", 3, Clause(2, [Place(-2), Skeleton("v", [Place(-3), Place(-1)]), Skeleton("v", [Place(1), Place(0)])], [], -1, NotImplemented))
         
add("sys_host_alternatives", 2, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)])], [Skeleton(Cache("sys_host_make"), [Place(0), Place(2)]), Skeleton(Cache("sys_host_alternatives"), [Place(1), Place(3)])], -1, "."))
         
add("sys_host_alternatives", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("sys_host_const", 2, Clause(4, [Skeleton("functor", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_const"), [Place(1), Place(-3)]), Skeleton(Cache("sys_host_args"), [Place(2), Place(-4)]), Skeleton(Cache("=.."), [Place(3), Skeleton(".", [Place(1), Place(2)])])], 0, "functor"))
         
add("sys_host_const", 2, Clause(3, [Skeleton("link", [Place(-3)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_alternatives"), [Place(1), Place(-3)]), Skeleton(Cache("kb_make_defined"), [Place(1), Place(2)])], 0, "link"))
         
add("sys_host_const", 2, Clause(3, [Skeleton("site", [Place(-3)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_pred_site"), [Place(1), Place(2)])], 0, "site"))
         
add("sys_host_const", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_host_args", 2, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)])], [Skeleton(Cache("sys_host_const"), [Place(0), Place(2)]), Skeleton(Cache("sys_host_args"), [Place(1), Place(3)])], -1, "."))
         
add("sys_host_args", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("sys_decode_body", 2, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)])], [Skeleton(Cache("sys_decode_callable"), [Place(0), Place(-2)]), Skeleton(Cache("sys_decode_goal"), [Place(0), Place(2)]), Skeleton(Cache("sys_decode_body"), [Place(1), Place(3)])], -1, "."))
         
add("sys_decode_body", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("sys_decode_callable", 2, Clause(2, [Place(-3), Place(1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_decode_callable", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("functor"), [Place(1), Place(-5), Place(-1)]), Skeleton(Cache("ir_is_site"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(3), Place(-5)]), Skeleton(Cache("sys_decode_site"), [Place(1), Place(2), Place(3)])], 0, NotImplemented))
         
add("sys_decode_callable", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_decode_site", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Place(1)])])], 0, NotImplemented))
         
add("sys_decode_site", 3, Clause(1, [Place(-1), Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_decode_goal", 2, Clause(2, [Place(-3), Skeleton("call", [Place(1)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_decode_goal", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("functor"), [Place(1), Place(-5), Place(-1)]), Skeleton(Cache("kb_is_link"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_link"), [Place(1), Place(2)])], 0, NotImplemented))
         
add("sys_decode_goal", 2, Clause(3, [Skeleton("$EVAL", [Place(-3), Place(-4)]), Skeleton("is", [Place(2), Place(-4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(2)])], 0, "$EVAL"))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton("=:=", [Place(-3), Place(-4)]), Skeleton("=:=", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, "=:="))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton("=\\=", [Place(-3), Place(-4)]), Skeleton("=\\=", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, "=\\="))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton("<", [Place(-3), Place(-4)]), Skeleton("<", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, "<"))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton(">", [Place(-3), Place(-4)]), Skeleton(">", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, ">"))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton("=<", [Place(-3), Place(-4)]), Skeleton("=<", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, "=<"))
         
add("sys_decode_goal", 2, Clause(5, [Skeleton(">=", [Place(-3), Place(-4)]), Skeleton(">=", [Place(-5), Place(-6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_expr"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, ">="))
         
add("sys_decode_goal", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_decode_link", 2, Clause(3, [Place(-2), Skeleton("$ALT", [Place(-3)])], [Skeleton(Cache("findall"), [Place(-4), Skeleton("kb_clause_ref", [Place(0), 0, Place(2)]), Place(-4)]), Skeleton(Cache("sys_decode_alternatives"), [Place(2), Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_decode_alternatives", 3, Clause(6, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Skeleton(".", [Skeleton("$SEQ", [Place(-5), Place(-6)]), Place(-7)])], [Skeleton(Cache("kb_clause_data"), [Place(0), Place(2), Place(3), Place(-5)]), Skeleton(Cache("sys_decode_body"), [Place(3), Place(4)]), Skeleton(Cache("sys_decode_alternatives"), [Place(1), Place(2), Place(5)])], -1, "."))
         
add("sys_decode_alternatives", 3, Clause(0, ["[]", Place(-1), "[]"], [], -1, "[]"))
         
add("sys_decode_expr", 2, Clause(2, [Place(-3), Place(1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_decode_expr", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("functor"), [Place(1), Place(-5), Place(-1)]), Skeleton(Cache("ir_is_site"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(3), Place(-5)]), Skeleton(Cache("sys_decode_compute"), [Place(1), Place(2), Place(3)])], 0, NotImplemented))
         
add("sys_decode_expr", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-3), Place(-2)])]), Skeleton(Cache("sys_decode_args"), [Place(0), Place(-2)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(1), Place(0)])])], 0, NotImplemented))
         
add("sys_decode_expr", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_decode_compute", 3, Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(-1), Place(-3)])]), Skeleton(Cache("sys_decode_args"), [Place(1), Place(-3)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Place(1)])])], 0, NotImplemented))
         
add("sys_decode_compute", 3, Clause(1, [Place(-1), Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_decode_args", 2, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton(".", [Place(-4), Place(-5)])], [Skeleton(Cache("sys_decode_expr"), [Place(0), Place(2)]), Skeleton(Cache("sys_decode_args"), [Place(1), Place(3)])], -1, "."))
         
add("sys_decode_args", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("sys_untrans_body", 3, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("sys_untrans_rest"), [Place(1), Place(0), Place(2), Place(3)])], -1, "."))
         
add("sys_untrans_body", 3, Clause(0, ["[]", Place(-1), "true"], [], -1, "[]"))
         
add("sys_untrans_rest", 4, Clause(6, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-5), Skeleton(",", [Place(-6), Place(-7)])], [Skeleton(Cache("sys_untrans_goal"), [Place(2), Place(3), Place(4)]), Skeleton(Cache("sys_untrans_rest"), [Place(1), Place(0), Place(3), Place(5)])], -1, "."))
         
add("sys_untrans_rest", 4, Clause(3, ["[]", Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_untrans_goal"), [Place(0), Place(1), Place(2)])], -1, "[]"))
         
add("sys_untrans_goal", 3, Clause(4, [Skeleton("$ALT", [Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_untrans_alternatives"), [Place(1), Place(2), Place(3)])], 0, "$ALT"))
         
add("sys_untrans_goal", 3, Clause(3, [Skeleton("$CUT", [Place(-3)]), Skeleton("just", [Place(-4)]), "!"], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, "$CUT"))
         
add("sys_untrans_goal", 3, Clause(1, [Place(-2), Place(-1), Place(0)], [], -1, NotImplemented))
         
add("sys_untrans_alternatives", 3, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("sys_untrans_more"), [Place(1), Place(0), Place(2), Place(3)])], -1, "."))
         
add("sys_untrans_alternatives", 3, Clause(0, ["[]", Place(-1), "fail"], [], -1, "[]"))
         
add("sys_untrans_more", 4, Clause(7, [Skeleton(".", [Place(-2), Place(-3)]), Skeleton("$SEQ", [Place(-4), Place(-5)]), Place(-6), Skeleton(";", [Place(-7), Place(-8)])], [Skeleton(Cache("sys_untrans_alternative"), [Place(2), Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_untrans_more"), [Place(1), Place(0), Place(4), Place(6)])], -1, "."))
         
add("sys_untrans_more", 4, Clause(4, ["[]", Skeleton("$SEQ", [Place(-2), Place(-3)]), Place(-4), Place(-5)], [Skeleton(Cache("sys_untrans_alternative"), [Place(0), Place(1), Place(2), Place(3)])], -1, "[]"))
         
add("sys_untrans_alternative", 4, Clause(6, [Skeleton("just", [Place(-2)]), Place(-3), Place(-4), Skeleton("->", [Place(-5), Place(-6)])], [Skeleton(Cache("sys_untrans_split"), [Place(1), Place(0), Place(-2), Place(-3)]), Skeleton(Cache("sys_trans_mark"), [Place(-7), Place(0), Place(-2)]), Skeleton(Cache("sys_untrans_body"), [Place(0), Place(5), Place(3)]), Skeleton(Cache("sys_untrans_body"), [Place(1), Place(2), Place(4)])], -1, "just"))
         
add("sys_untrans_alternative", 4, Clause(3, ["nothing", Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_untrans_body"), [Place(0), Place(1), Place(-3)]), Skeleton(Cache("sys_untrans_ambiguity"), [Place(1), Place(2)])], -1, "nothing"))
         
add("sys_untrans_split", 4, Clause(4, [Skeleton(".", [Skeleton("$CUT", [Place(-3)]), Place(-4)]), Place(-5), "[]", Place(2)], [Skeleton(Cache("=="), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, "."))
         
add("sys_untrans_split", 4, Clause(4, [Skeleton(".", [Place(-2), Place(-3)]), Place(-4), Skeleton(".", [Place(0), Place(-2)]), Place(-5)], [Skeleton(Cache("sys_untrans_split"), [Place(1), Place(2), Place(0), Place(3)])], -1, "."))
         
add("sys_untrans_ambiguity", 2, Clause(3, [Skeleton("->", [Place(-3), Place(-4)]), Skeleton(";", [Skeleton("->", [Place(1), Place(2)]), "fail"])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "->"))
         
add("sys_untrans_ambiguity", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
run(Goal(1, [Skeleton(Cache("sys_get_locale"), [Place(-2)]), Skeleton(Cache("set_prolog_flag"), ["sys_locale", Place(0)])]))
         
run(Goal(1, [Skeleton(Cache("sys_get_args"), [Place(-2)]), Skeleton(Cache("set_prolog_flag"), ["argv", Place(0)])]))
         
add("include", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_file_relative"), [Place(0), Place(-2)]), Skeleton(Cache("file_property"), [Place(0), Skeleton("real_path", [Place(-2)])]), Skeleton(Cache("sys_include_file"), [Place(0)])], -1, NotImplemented))
         
add("sys_include_file", 1, Clause(1, ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_input"), [Place(-2)]), Skeleton(Cache("sys_include_stream"), ["user", Place(0)])], 0, "user"))
         
add("sys_include_file", 1, Clause(3, [Place(-3)], [Skeleton(Cache("current_prolog_flag"), ["foreign_ext", Place(-4)]), Skeleton(Cache("sub_atom"), [Place(1), Place(-1), Place(-1), 0, Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_include_native"), [Place(1), Place(-3)]), Skeleton(Cache("ir_object_current"), [Place(1), "module", Place(-3)]), Skeleton(Cache("os_invoke_main"), [Place(1)])], 0, NotImplemented))
         
add("sys_include_file", 1, Clause(2, [Place(-2)], [Skeleton(Cache("setup_once_cleanup"), [Skeleton("open", [Place(0), "read", Place(-3)]), Skeleton("sys_include_stream", [Place(0), Place(1)]), Skeleton("close", [Place(1)])])], -1, NotImplemented))
         
add("sys_include_native", 2, Clause(3, [Place(-3), Place(-4)], [Compound(Cache("current_prolog_flag"), ["import_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_import_promise"), [Place(1), Place(2), Place(-4)]), Skeleton(Cache("$YIELD"), [Place(2)])], 0, NotImplemented))
         
add("sys_include_native", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("os_import_sync"), [Place(0), Place(1)])], -1, NotImplemented))
         
add(".", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("member"), [Place(-4), Skeleton(".", [Place(0), Place(1)])]), Skeleton(Cache("ensure_loaded"), [Place(2)]), Cache("fail")], -1, NotImplemented))
         
add(".", 2, Clause(0, [Place(-1), Place(-1)], [], -1, NotImplemented))
         
add("ensure_loaded", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("ensure_loaded", 1, Clause(1, ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), Compound(Cache("sys_include_file"), ["user"])], 0, "user"))
         
add("ensure_loaded", 1, Clause(2, [Place(-2)], [Skeleton(Cache("sys_file_relative"), [Place(0), Place(-2)]), Skeleton(Cache("dg_get_partition"), [Place(-3)]), Skeleton(make_defined([Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("sys_srcprop"), [Place(1), Skeleton("sys_link", [Place(2)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("assertz"), [Skeleton("sys_srcprop", [Place(0), Skeleton("sys_link", [Place(1)])])])], -1, NotImplemented)]), [Place(1), Place(0)]), Skeleton(Cache("sys_ensure_file"), [Place(0)])], -1, NotImplemented))
         
add("sys_ensure_file", 1, Clause(2, [Place(-2)], [Skeleton(Cache("sys_prop_map"), [Place(0), Place(-2)]), Skeleton(Cache("ir_object_current"), [Place(0), "real_path", Place(-3)]), Skeleton(Cache("ir_object_current"), [Place(0), "last_modified", Place(-2)]), Skeleton(Cache("sys_check_file"), [Place(1), Place(0)])], -1, NotImplemented))
         
add("make", 0, Clause(0, [], [Cache("sys_make_unmark"), Compound(Cache("sys_replay_file"), ["user"]), Cache("sys_make_reclaim")], -1, NotImplemented))
         
add("sys_make_unmark", 0, Clause(2, [], [Skeleton(Cache("retract"), [Skeleton("sys_source", [Place(-2), Place(-3), 1])]), Skeleton(Cache("assertz"), [Skeleton("sys_source", [Place(0), Place(1), 0])]), Cache("fail")], -1, NotImplemented))
         
add("sys_make_unmark", 0, Clause(0, [], [], -1, NotImplemented))
         
add("sys_make_reclaim", 0, Clause(1, [], [Skeleton(Cache("retract"), [Skeleton("sys_source", [Place(-2), Place(-1), 0])]), Skeleton(Cache("sys_clear_file"), [Place(0)]), Cache("fail")], -1, NotImplemented))
         
add("sys_make_reclaim", 0, Clause(0, [], [], -1, NotImplemented))
         
add("sys_check_file", 2, Clause(5, [Place(-3), Place(-4)], [Skeleton(Cache("shield"), [Skeleton("sys_check_file2", [Place(1), Place(2), Place(-5), Place(-6)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_file3"), [Place(1), Place(2), Place(3), Place(4)])], 0, NotImplemented))
         
add("sys_check_file", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("sys_load_file"), [Place(0)])], -1, NotImplemented))
         
add("sys_check_file2", 4, Clause(4, [Place(-3), Place(-1), Place(-4), Place(-5)], [Skeleton(Cache("sys_source"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_check_file2", 4, Clause(2, [Place(-2), Place(-3), Place(-1), Place(-1)], [Skeleton(Cache("assertz"), [Skeleton("sys_source", [Place(0), Place(1), 1])]), Cache("fail")], -1, NotImplemented))
         
add("sys_check_file3", 4, Clause(1, [Place(-1), Place(-1), Place(-1), 1], [Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_check_file3", 4, Clause(3, [Place(-3), Place(-4), Place(2), Place(-1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("shield"), [Skeleton(",", [Skeleton("retractall", [Skeleton("sys_source", [Place(1), Place(-1), Place(-1)])]), Skeleton("assertz", [Skeleton("sys_source", [Place(1), Place(2), 1])])])]), Skeleton(Cache("sys_replay_file"), [Place(1)])], 0, NotImplemented))
         
add("sys_check_file3", 4, Clause(2, [Place(-2), Place(-3), Place(-1), Place(-1)], [Skeleton(Cache("shield"), [Skeleton(",", [Skeleton("retractall", [Skeleton("sys_source", [Place(0), Place(-1), Place(-1)])]), Skeleton("assertz", [Skeleton("sys_source", [Place(0), Place(1), 1])])])]), Skeleton(Cache("sys_clear_file"), [Place(0)]), Skeleton(Cache("sys_load_file"), [Place(0)])], -1, NotImplemented))
         
add("sys_load_file", 1, Clause(2, [Place(-2)], [Skeleton(Cache("setup_once_cleanup"), [Skeleton("sys_loading_begin", [Place(0), Place(-3)]), Skeleton("sys_include_file", [Place(0)]), Skeleton("sys_loading_end", [Place(1)])])], -1, NotImplemented))
         
add("sys_loading_begin", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("dg_get_partition"), [Place(1)]), Skeleton(Cache("dg_set_partition"), [Place(0)])], -1, NotImplemented))
         
add("sys_loading_end", 1, Clause(2, [Place(-2)], [Skeleton(Cache("dg_get_partition"), [Place(-3)]), Skeleton(Cache("dg_set_partition"), [Place(0)]), Skeleton(Cache("os_task_current"), [Place(-2)]), Skeleton(Cache("retractall"), [Skeleton("sys_lastpred", [Place(0), Place(-1), Place(-1)])]), Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(-1), Place(-1), Skeleton("sys_discontiguous", [Place(1)])])])], -1, NotImplemented))
         
add("sys_clear_file", 1, Clause(3, [Place(-2)], [Skeleton(Cache("retractall"), [Skeleton("sys_op", [Place(-1), Place(-1), Place(-1), Place(-1), Place(0)])]), Skeleton(Cache("retractall"), [Skeleton("sys_srcprop", [Place(0), Place(-1)])]), Skeleton(Cache("sys_predprop"), [Place(-3), Place(-4), Skeleton("sys_usage", [Place(0)])]), Skeleton(make_defined([Clause(5, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(-6)])]), Skeleton(Cache("\\=="), [Place(3), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_clear_file3"), [Place(1), Place(2), Place(3)])], 0, NotImplemented), Clause(2, [Place(-2), Place(-3), Place(-1)], [Skeleton(Cache("sys_clear_file2"), [Place(0), Place(1)])], -1, NotImplemented)]), [Place(1), Place(2), Place(0)]), Cache("fail")], -1, NotImplemented))
         
add("sys_clear_file", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("sys_clear_file2", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(0), Place(1), Place(-1)])]), Skeleton(Cache("kb_pred_destroy"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_clear_file3", 3, Clause(4, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(0), Place(1), Skeleton("sys_usage", [Place(2)])])]), Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(0), Place(1), Skeleton("sys_multifile", [Place(2)])])]), Skeleton(Cache("functor"), [Place(-5), Place(0), Place(1)]), Skeleton(Cache("kb_clause_ref"), [Place(3), 4, Place(-5)]), Skeleton(Cache("kb_clause_shard"), [Place(3), Place(2)]), Skeleton(Cache("kb_clause_remove"), [Place(0), Place(1), 1, Place(3)]), Cache("fail")], -1, NotImplemented))
         
add("sys_clear_file3", 3, Clause(0, [Place(-1), Place(-1), Place(-1)], [], -1, NotImplemented))
         
add("sys_replay_file", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_srcprop"), [Place(0), Skeleton("sys_link", [Place(-2)])]), Skeleton(Cache("sys_replay_file2"), [Place(0)]), Cache("fail")], -1, NotImplemented))
         
add("sys_replay_file", 1, Clause(0, [Place(-1)], [], -1, NotImplemented))
         
add("sys_replay_file2", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_trap"), [Skeleton("sys_ensure_file", [Place(0)]), Place(-2), Skeleton(";", [Skeleton(",", [Skeleton("sys_chain_head", [Place(0), Skeleton("error", [Skeleton("system_error", [Place(-1)]), Place(-1)])]), Skeleton("sys_raise", [Place(0)])]), Skeleton("sys_print_error", [Place(0)])])])], -1, NotImplemented))
         
run(Goal(0, [Compound(Cache("kb_pred_touch"), ["sys_including", 3, 1])]))
         
add("sys_include_stream", 2, Clause(3, [Place(-2), Place(-3)], [Skeleton(Cache("os_task_current"), [Place(-4)]), Skeleton(Cache("setup_once_cleanup"), [Skeleton("asserta", [Skeleton("sys_including", [Place(0), Place(2), Place(1)])]), Skeleton("sys_include_lines", [Place(1)]), Skeleton("once", [Skeleton("retract", [Skeleton("sys_including", [Place(0), Place(2), Place(1)])])])])], -1, NotImplemented))
         
add("sys_include_lines", 1, Clause(2, [Place(-3)], [Cache("repeat"), Skeleton(Cache("sys_trap"), [Skeleton("sys_next_term", [Place(1)]), Place(-3), Skeleton(";", [Skeleton(",", [Skeleton("sys_chain_head", [Place(1), Skeleton("error", [Skeleton("system_error", [Place(-1)]), Place(-1)])]), Skeleton("sys_raise", [Place(1)])]), Skeleton(",", [Skeleton("sys_print_error", [Place(1)]), "fail"])])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_next_term", 1, Clause(3, [Place(-2)], [Skeleton(Cache("read_term"), [Place(0), Place(-2), Skeleton(".", [Skeleton("variable_names", [Place(-3)]), Skeleton(".", [Skeleton("singletons", [Place(-4)]), "[]"])])]), Skeleton(make_defined([Clause(2, [Place(-3), Place(-1), Place(-1)], [Skeleton(Cache("=="), [Place(1), "end_of_file"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(3, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_expand_include"), [Place(0), Place(1), Place(2), Place(-4)]), Skeleton(Cache("sys_style_static"), [Place(2)]), Skeleton(Cache("sys_handle_static"), [Place(2)]), Cache("fail")], -1, NotImplemented)]), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
         
add("sys_handle_static", 1, Clause(1, [Place(-2)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(-2)]), Skeleton(Cache("sys_assertz_static"), [Place(0)])], -1, NotImplemented))
         
add("sys_assertz_static", 1, Clause(1, [Place(-2)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_assertz_static", 1, Clause(4, [Place(-3)], [Skeleton(Cache("="), [Place(1), Skeleton("tr_clause", [Place(-1), Place(-4), Place(-1)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(2), Place(-4), Place(-2)]), Skeleton(Cache("sys_pred_type"), [Place(2), Place(0), Place(-5)]), Skeleton(Cache("sys_encode_horn"), [Place(1), Place(-3), Place(3)]), Skeleton(Cache("sys_host_make"), [Place(1), Place(-3)]), Skeleton(Cache("ir_clause_add"), [Place(2), Place(0), Place(1), 1])], 0, "tr_clause"))
         
add("sys_assertz_static", 1, Clause(2, [Place(-3)], [Skeleton(Cache("="), [Place(1), Skeleton("tr_goal", [Place(-1)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_encode_horn"), [Place(1), Place(-3), 1]), Skeleton(Cache("sys_host_make"), [Place(1), Place(-3)]), Skeleton(Cache("ir_goal_run"), [Place(1)])], 0, "tr_goal"))
         
add("sys_assertz_static", 1, Clause(1, [Place(-2)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["tr_clause_or_goal", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_pred_type", 3, Clause(3, [Place(-3), Place(-4), 0], [Skeleton(Cache("kb_pred_link"), [Place(1), Place(2), Place(-4)]), Skeleton(Cache("kb_link_flags"), [Place(2), Place(-4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("sys_pred_type", 3, Clause(0, [Place(-1), Place(-1), 1], [], -1, NotImplemented))
         
add("sys_file_relative", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_file_relative", 2, Clause(3, [Skeleton("library", [Place(-3)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_file_liblet"), [Place(1), ".p", Place(2)])], 0, "library"))
         
add("sys_file_relative", 2, Clause(3, [Skeleton("foreign", [Place(-3)]), Place(-4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_prolog_flag"), ["foreign_ext", Place(-2)]), Skeleton(Cache("sys_file_liblet"), [Place(1), Place(0), Place(2)])], 0, "foreign"))
         
add("sys_file_relative", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("sys_file_including"), [Place(-5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_file_combine"), [Place(3), Place(1), Place(2)])], 0, NotImplemented))
         
add("sys_file_relative", 2, Clause(2, [Place(-2), Place(-3)], [Skeleton(Cache("absolute_file_name"), [Place(0), Place(1)])], -1, NotImplemented))
         
add("sys_file_liblet", 3, Clause(4, [Place(-2), Place(-3), Place(-4)], [Skeleton(Cache("sys_file_struct"), [Place(0), Place(-2)]), Skeleton(Cache("atom_split"), [Place(-5), "", Skeleton(".", ["liblet/", Skeleton(".", [Place(0), Skeleton(".", [Place(1), "[]"])])])]), Skeleton(Cache("current_prolog_flag"), ["system_url", Place(-3)]), Skeleton(Cache("sys_file_combine"), [Place(1), Place(3), Place(2)])], -1, NotImplemented))
         
add("sys_file_including", 1, Clause(3, [Place(-3)], [Skeleton(Cache("os_task_current"), [Place(-4)]), Skeleton(Cache("sys_including"), [Place(1), Place(2), Place(-1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("\\=="), [Place(1), "user"])], 0, NotImplemented))
         
add("sys_file_struct", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_file_struct", 2, Clause(4, [Skeleton("/", [Place(-3), Place(-4)]), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_file_struct"), [Place(1), Place(-3)]), Skeleton(Cache("atom_split"), [Place(3), "", Skeleton(".", [Place(1), Skeleton(".", ["/", Skeleton(".", [Place(2), "[]"])])])])], 0, "/"))
         
add("sys_file_struct", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, NotImplemented))
         
add("sys_file_struct", 2, Clause(1, [Place(-2), Place(-1)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["atom", Place(0)]), Place(-1)])])], -1, NotImplemented))
         
add("sys_expand_include", 4, Clause(1, [Place(-2), Place(-1), Place(-1), Place(-1)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", Place(-1)])])], -1, NotImplemented))
         
add("sys_expand_include", 4, Clause(4, [Skeleton("?-", [Place(-3)]), Place(-4), Place(-1), Place(-5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Skeleton(":-", [Skeleton("sys_query_unattended", [Place(1), Place(2)])])])], 0, "?-"))
         
add("sys_expand_include", 4, Clause(3, [Place(-2), Place(-1), Place(-3), Place(-4)], [Skeleton(Cache("sys_singleton_check"), [Place(1)]), Skeleton(Cache("expand_term"), [Place(0), Place(2)])], -1, NotImplemented))
         
add("expand_term", 2, Clause(3, [Place(-3), Place(-4)], [Skeleton(Cache("term_conversion"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
         
add("expand_term", 2, Clause(1, [Place(-2), Place(0)], [], -1, NotImplemented))
         
add("sys_query_unattended", 2, Clause(4, [Place(-3), Place(-4)], [Skeleton(Cache("$MARK"), [Place(-5)]), Place(1), Skeleton(Cache("$MARK"), [Place(-3)]), Skeleton(Cache("sys_answer_show"), [Place(2)]), Skeleton(make_defined([Clause(4, [Place(-3), Place(-4), Place(-5)], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("$CUT"), [Place(3)]), Cache("sys_listing_period")], 0, NotImplemented), Clause(0, [Place(-1), Place(-1), Place(-1)], [Compound(Cache("put_atom"), [";"]), Cache("nl"), Cache("fail")], -1, NotImplemented)]), [Place(3), Place(1), Place(0)])], 0, NotImplemented))
         
add("sys_query_unattended", 2, Clause(0, [Place(-1), Place(-1)], [Compound(Cache("put_atom"), ["fail"]), Cache("sys_listing_period")], -1, NotImplemented))
         
add("sys_singleton_check", 1, Clause(2, [Skeleton(".", [Place(-2), Place(-3)])], [Skeleton(Cache("sys_assoc_keys"), [Skeleton(".", [Place(0), Place(1)]), Place(-3)]), Skeleton(Cache("="), [Place(-2), Skeleton("warning", [Skeleton("syntax_error", ["singleton_var", Place(1)]), Place(-1)])]), Skeleton(Cache("sys_fill_stack"), [Place(0)]), Skeleton(Cache("sys_print_error"), [Place(0)])], -1, "."))
         
add("sys_singleton_check", 1, Clause(0, ["[]"], [], -1, "[]"))
         
add("sys_assoc_keys", 2, Clause(2, [Skeleton(".", [Skeleton("=", [Place(-2), Place(-1)]), Place(-3)]), Skeleton(".", [Place(0), Place(-2)])], [Skeleton(Cache("sys_assoc_keys"), [Place(1), Place(0)])], -1, "."))
         
add("sys_assoc_keys", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
         
add("strings", 3, Clause(0, ["syntax_error.discontiguous_pred", "de", "Unterbrochenes Prädikat ~, entsprechend deklarieren."], [], -1, "syntax_error.discontiguous_pred"))
         
add("strings", 3, Clause(0, ["syntax_error.discontiguous_pred", "", "Discontiguous predicate ~, declare accordingly."], [], -1, "syntax_error.discontiguous_pred"))
         
run(Goal(0, [Compound(Cache("sys_multifile_safe"), ["strings", 3])]))
         
run(Goal(0, [Compound(Cache("sys_multifile_safe"), ["term_conversion", 2])]))
         
run(Goal(0, [Compound(Cache("sys_multifile_safe"), ["strings", 3])]))
         
run(Goal(0, [Compound(Cache("sys_multifile_safe"), ["strings", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_horn", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_body", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_cut", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_disj", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_alternative", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_trans_mark", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_encode_horn", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_encode_alternatives", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_body", 6])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_goal", 7])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_invoke", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_args", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_expr", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_compute", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_list", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_term", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_const_functor", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_const_only", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ast_var", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_current_dcg", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_set_dcg", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_idx_value", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_idx_value_arg", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_idx_value_term", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["eq_contains", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["eq_intersection", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_callable", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["open", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["close", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["stream_property", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["term_variables", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["is", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["call", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["true", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["!", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), [",", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), [";", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["->", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["\\=", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["\\+", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["once", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["repeat", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["catch", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_error_handler", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_chain_head", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["throw", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_fill_stack", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_fetch_stack", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["ignore", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["chain", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_chain_error", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_chain_raise", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_chain_concat", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["abort", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["once_cleanup", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["setup_once_cleanup", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_setup_once_cleanup", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_once_cleanup", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_error", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_error", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_trace", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_frame", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_message", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_message", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_print_message", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_inter_polate", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_zipper_output", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["get_string", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["get_string", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_locale_ancestor", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_atom", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_integer", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["call_later", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_frost_horn", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_call_print", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["create_task", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sleep", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["time_out", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_timeout", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["member", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_member", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["select", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_select", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["findall", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_findall", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["list_to_set", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_list_to_set", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["reverse", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_reverse", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["append", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["length", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_length", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_length", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["number_codes", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["between", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_between", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_lastpred", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_update_last", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_style_static", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_style_head", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_style_indicator", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_usage_predicate", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["discontiguous", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["multifile", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_multifile_safe", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_source", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_srcprop", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["current_source", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["source_property", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_emulated", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["set_prolog_flag", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_prolog_flag_set", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_codes", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["current_prolog_flag", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_prolog_flag_get", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_prolog_flag_decode", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["statistics", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_stat_get", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["statistics", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_convert_stat", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["time", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_time_set", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_time_show", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["try_call_finally", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sub_atom", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["last_sub_atom", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op", 5])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["current_op", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["op", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_priority", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_retract", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_assert", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_space", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_format", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_format2", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_op_format3", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["term_conversion", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_phrase_expansion", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_list_expansion", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["absolute_file_name", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_file_combine", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["is_absolute_file_name", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["file_directory_name", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["file_base_name", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["strings", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["dynamic", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["asserta", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_asserta", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["assertz", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_assertz", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["clause", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["retract", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["retractall", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["abolish", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_abolish", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_predprop", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["current_predicate", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["predicate_property", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_predprop_pattern", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_predprop_get", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_predprop_flag", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_make", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_list", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_instr", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_current_max", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_set_max", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_current_recycle", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_set_recycle", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_alternatives", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_const", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_host_args", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_body", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_callable", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_site", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_goal", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_link", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_alternatives", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_expr", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_compute", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_decode_args", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_body", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_rest", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_goal", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_alternatives", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_more", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_alternative", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_split", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_untrans_ambiguity", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["include", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_include_file", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_include_native", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), [".", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["ensure_loaded", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_ensure_file", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["make", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_make_unmark", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_make_reclaim", 0])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_file", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_file2", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_check_file3", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_load_file", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_loading_begin", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_loading_end", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_clear_file", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_clear_file2", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_clear_file3", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_replay_file", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_replay_file2", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_including", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_include_stream", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_include_lines", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_next_term", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_handle_static", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_assertz_static", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_pred_type", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_file_relative", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_file_liblet", 3])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_file_including", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_file_struct", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_expand_include", 4])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["expand_term", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_query_unattended", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_singleton_check", 1])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["sys_assoc_keys", 2])]))
         
run(Goal(0, [Compound(Cache("sys_usage_predicate"), ["strings", 3])]))