###
# 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, Goal,
   Cache, make_defined, Place, Skeleton)
from nova.machine import (run)
import nova.special as special
from nova.runtime import (make_frozen)
import nova.eval as eval
add("sys_frost_horn", 3, Clause(5, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(3)]), Skeleton(Cache("sys_encode_horn"), [Place(3), Place(4), Place(2)]), Skeleton(Cache("sys_host_make"), [Place(4), Place(1)])], -1, NotImplemented))
add("sys_trans_horn", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_trans_horn", 2, Clause(4, [Skeleton(":-", [Place(1)]), Skeleton("tr_goal", [Place(2), Place(3)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(2), Place(3), "[]"])], 0, ":-"))
add("sys_trans_horn", 2, Clause(5, [Skeleton(":-", [Place(1), Place(2)]), Skeleton("tr_clause", [Place(3), Place(1), Place(4)])], [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(0), Skeleton("tr_clause", ["nothing", Place(0), "[]"])], [Skeleton(Cache("sys_check_callable"), [Place(0)])], -1, NotImplemented))
add("sys_trans_body", 5, Clause(5, [Place(1), Place(2), Place(2), Place(3), Place(4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Skeleton(".", [Skeleton("call", [Place(1)]), Place(4)])])], 0, NotImplemented))
add("sys_trans_body", 5, Clause(4, ["true", Place(1), Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0, "true"))
add("sys_trans_body", 5, Clause(9, [Skeleton(",", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(3), Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(7), Place(4), Place(8), Place(6)])], 0, ","))
add("sys_trans_body", 5, Clause(8, [Skeleton(";", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_disj"), [Skeleton(";", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(7)]), Skeleton(Cache("="), [Place(5), Skeleton(".", [Skeleton("$ALT", [Place(7)]), Place(6)])])], 0, ";"))
add("sys_trans_body", 5, Clause(8, [Skeleton("->", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_disj"), [Skeleton("->", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(7)]), Skeleton(Cache("="), [Place(5), Skeleton(".", [Skeleton("$ALT", [Place(7)]), Place(6)])])], 0, "->"))
add("sys_trans_body", 5, Clause(5, ["!", Place(1), Skeleton("just", [Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_cut"), [Place(1), Place(2)]), Skeleton(Cache("="), [Place(3), Skeleton(".", [Skeleton("$CUT", [Place(2)]), Place(4)])])], 0, "!"))
add("sys_trans_body", 5, Clause(4, [Place(0), Place(1), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_check_callable"), [Place(0)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [Place(0), Place(3)])])], -1, NotImplemented))
add("sys_trans_cut", 2, Clause(1, ["nothing", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "nothing"))
add("sys_trans_cut", 2, Clause(1, [Skeleton("just", [Place(0)]), Place(0)], [], -1, "just"))
add("sys_trans_disj", 5, Clause(5, [Place(1), NotImplemented, Place(2), Place(3), Skeleton(".", [Place(4), "[]"])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alternative"), [Place(1), Place(2), Place(3), Place(4), NotImplemented])], 0, NotImplemented))
add("sys_trans_disj", 5, Clause(9, [Skeleton(";", [Place(1), Place(2)]), NotImplemented, Place(3), Place(4), Skeleton(".", [Place(5), Place(6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alternative"), [Place(1), Place(3), Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_trans_disj"), [Place(2), Place(8), Place(7), Place(4), Place(6)])], 0, ";"))
add("sys_trans_disj", 5, Clause(2, ["fail", 1, Place(1), Place(1), "[]"], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "fail"))
add("sys_trans_disj", 5, Clause(4, [Place(0), NotImplemented, Place(1), Place(2), Skeleton(".", [Place(3), "[]"])], [Skeleton(Cache("sys_trans_alternative"), [Place(0), Place(1), Place(2), Place(3), NotImplemented])], -1, NotImplemented))
add("sys_trans_alternative", 5, Clause(5, [Place(1), Place(2), Place(3), Skeleton("$SEQ", ["nothing", Place(4)]), 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(10, [Skeleton("->", [Place(1), Place(2)]), Place(3), Place(4), Skeleton("$SEQ", [Skeleton("just", [Place(5)]), Place(6)]), 1], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(7), Place(8), Skeleton(".", [Skeleton("$CUT", [Place(5)]), Place(9)])]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(3), Place(4), Place(9), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(7), Place(6), Place(8)])], 0, "->"))
add("sys_trans_alternative", 5, Clause(4, [Place(0), Place(1), Place(2), Skeleton("$SEQ", ["nothing", Place(3)]), 0], [Skeleton(Cache("sys_trans_body"), [Place(0), Place(1), Place(2), Place(3), "[]"])], -1, NotImplemented))
add("sys_trans_mark", 3, Clause(3, [Skeleton("just", [Place(1)]), Skeleton(".", [Skeleton("$MARK", [Place(1)]), Place(2)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "just"))
add("sys_trans_mark", 3, Clause(1, ["nothing", Place(0), Place(0)], [], -1, "nothing"))
add("sys_encode_horn", 3, Clause(5, [Skeleton("tr_goal", [Skeleton("just", [Place(1)]), Place(2)]), Skeleton("ir_goal", [Place(3), 0]), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_body"), [Place(2), Place(3), Skeleton(".", [Place(1), "[]"]), Place(4), Skeleton(".", [Skeleton("v", [Place(1), 0, NotImplemented]), "[]"]), NotImplemented])], 0, "tr_goal"))
add("sys_encode_horn", 3, Clause(3, [Skeleton("tr_goal", ["nothing", Place(0)]), Skeleton("ir_goal", [Place(1), -1]), Place(2)], [Skeleton(Cache("sys_ast_body"), [Place(0), Place(1), "[]", Place(2), "[]", NotImplemented])], -1, "tr_goal"))
add("sys_encode_horn", 3, Clause(10, [Skeleton("tr_clause", [Skeleton("just", [Place(1)]), Place(2), Place(3)]), Skeleton("ir_clause", [Place(4), Place(5), 0, Place(6)]), Place(7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [NotImplemented, Place(8)])]), Skeleton(Cache("sys_ast_list"), [Place(8), Place(4), Place(7), Skeleton(".", [Skeleton("v", [Place(1), 0, NotImplemented]), "[]"]), Place(9)]), Skeleton(Cache("sys_ast_body"), [Place(3), Place(5), Skeleton(".", [Skeleton("-", [Place(2), Place(1)]), "[]"]), Place(7), Place(9), NotImplemented]), Skeleton(Cache("sys_idx_value"), [Place(2), Place(7), Place(3), Place(6)])], 0, "tr_clause"))
add("sys_encode_horn", 3, Clause(8, [Skeleton("tr_clause", ["nothing", Place(0), Place(1)]), Skeleton("ir_clause", [Place(2), Place(3), -1, Place(4)]), Place(5)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [NotImplemented, Place(6)])]), Skeleton(Cache("sys_ast_list"), [Place(6), Place(2), Place(5), "[]", Place(7)]), Skeleton(Cache("sys_ast_body"), [Place(1), Place(3), Skeleton(".", [Place(0), "[]"]), Place(5), Place(7), NotImplemented]), Skeleton(Cache("sys_idx_value"), [Place(0), Place(5), Place(1), Place(4)])], -1, "tr_clause"))
add("sys_encode_alternatives", 4, Clause(7, [Skeleton(".", [Skeleton("$SEQ", [Place(0), Place(1)]), Place(2)]), Place(3), Skeleton(".", [Place(4), Place(5)]), Place(6)], [Skeleton(Cache("sys_encode_horn"), [Skeleton("tr_clause", [Place(0), Place(3), Place(1)]), Place(4), Place(6)]), Skeleton(Cache("sys_encode_alternatives"), [Place(2), Place(3), Place(5), Place(6)])], -1, "."))
add("sys_encode_alternatives", 4, Clause(0, ["[]", NotImplemented, "[]", NotImplemented], [], -1, "[]"))
add("sys_ast_body", 6, Clause(9, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Place(4), Place(5), Place(6), Place(7)], [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(8), Place(7)])], -1, "."))
add("sys_ast_body", 6, Clause(1, ["[]", "[]", NotImplemented, NotImplemented, Place(0), Place(0)], [], -1, "[]"))
add("sys_ast_goal", 7, Clause(12, [Skeleton("$ALT", [Place(1)]), 1, Place(2), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("term_variables"), [Skeleton("-", [Place(3), Place(4)]), Place(7)]), Skeleton(Cache("term_variables"), [Place(1), Place(8)]), Skeleton(Cache("sys_eq_intersection"), [Place(8), Place(7), Place(9)]), Skeleton(Cache("=.."), [Place(10), Skeleton(".", ["", Place(9)])]), Skeleton(Cache("sys_encode_alternatives"), [Place(1), Place(10), Place(11), 1]), Skeleton(Cache("sys_ast_invoke"), [Place(10), Place(2), Skeleton("link", [Place(11)]), Place(5), Place(6)])], 0, "$ALT"))
add("sys_ast_goal", 7, Clause(10, [Skeleton("is", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_term"), [Place(1), 1, Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", ["is"]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, "is"))
add("sys_ast_goal", 7, Clause(10, [Skeleton("=:=", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", ["=:="]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, "=:="))
add("sys_ast_goal", 7, Clause(10, [Skeleton("=\\=", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", ["=\\="]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, "=\\="))
add("sys_ast_goal", 7, Clause(10, [Skeleton("<", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", ["<"]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, "<"))
add("sys_ast_goal", 7, Clause(10, [Skeleton(">", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", [">"]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, ">"))
add("sys_ast_goal", 7, Clause(10, [Skeleton("=<", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", ["=<"]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, "=<"))
add("sys_ast_goal", 7, Clause(10, [Skeleton(">=", [Place(1), Place(2)]), 1, Place(3), NotImplemented, NotImplemented, Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_expr"), [Place(1), Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_ast_expr"), [Place(2), Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_const_functor"), [make_frozen("site", [">="]), Skeleton(".", [Place(6), Skeleton(".", [Place(8), "[]"])]), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, ">="))
add("sys_ast_goal", 7, Clause(6, [Place(1), 1, Place(2), NotImplemented, NotImplemented, Place(3), Place(4)], [Skeleton(Cache("functor"), [Place(1), Place(5), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), 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(5, [Place(0), Place(1), Place(2), NotImplemented, NotImplemented, Place(3), Place(4)], [Skeleton(Cache("sys_ast_term"), [Place(0), Place(1), Place(2), Place(3), Place(4)])], -1, NotImplemented))
add("sys_ast_invoke", 5, Clause(9, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [NotImplemented, Place(6)])]), Skeleton(Cache("sys_ast_list"), [Place(6), Place(7), 1, Place(4), Place(8)]), Skeleton(Cache("sys_const_functor"), [Place(3), Place(7), Place(2)]), Skeleton(Cache("="), [Place(8), Place(5)])], 0, NotImplemented))
add("sys_ast_invoke", 5, Clause(2, [NotImplemented, Skeleton("const", [Place(0)]), Place(0), Place(1), Place(1)], [], -1, NotImplemented))
add("sys_ast_args", 4, Clause(7, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Place(4), Place(5)], [Skeleton(Cache("sys_ast_expr"), [Place(0), Place(2), Place(4), Place(6)]), Skeleton(Cache("sys_ast_args"), [Place(1), Place(3), Place(6), Place(5)])], -1, "."))
add("sys_ast_args", 4, Clause(1, ["[]", "[]", Place(0), Place(0)], [], -1, "[]"))
add("sys_ast_expr", 4, Clause(5, [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_var"), [Place(1), Place(2), Place(3), Place(4)])], 0, NotImplemented))
add("sys_ast_expr", 4, Clause(9, [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(5), Place(6)])]), Skeleton(Cache("sys_ast_args"), [Place(6), Place(7), Place(3), Place(8)]), Skeleton(Cache("sys_const_functor"), [Skeleton("site", [Place(5)]), Place(7), Place(2)]), Skeleton(Cache("="), [Place(8), Place(4)])], 0, NotImplemented))
add("sys_ast_expr", 4, Clause(4, [Place(1), Skeleton("const", [Skeleton("site", [Place(1)])]), Place(2), Place(3)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0, NotImplemented))
add("sys_ast_expr", 4, Clause(2, [Place(0), Skeleton("const", [Place(0)]), Place(1), Place(1)], [], -1, NotImplemented))
add("sys_ast_list", 5, Clause(8, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Place(4), Place(5), Place(6)], [Skeleton(Cache("sys_ast_term"), [Place(0), Place(4), Place(2), Place(5), Place(7)]), Skeleton(Cache("sys_ast_list"), [Place(1), Place(3), Place(4), Place(7), Place(6)])], -1, "."))
add("sys_ast_list", 5, Clause(1, ["[]", "[]", NotImplemented, Place(0), Place(0)], [], -1, "[]"))
add("sys_ast_term", 5, Clause(5, [Place(1), NotImplemented, Place(2), Place(3), Place(4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_ast_var"), [Place(1), Place(2), Place(3), Place(4)])], 0, NotImplemented))
add("sys_ast_term", 5, Clause(16, [Place(1), 1, Place(2), Place(3), Place(4)], [Skeleton(Cache("functor"), [Place(1), "=>", 2]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("arg"), [1, Place(1), Place(5)]), Skeleton(Cache("arg"), [2, Place(1), Place(6)]), Skeleton(Cache("free_variables"), [Skeleton("^", [Place(5), Place(6)]), Place(7), Place(8)]), Skeleton(Cache("sys_arrow_paras"), [Place(5), Place(9)]), Skeleton(Cache("append"), [Place(7), Place(9), Place(10)]), Skeleton(Cache("=.."), [Place(11), Skeleton(".", ["", Place(10)])]), Skeleton(Cache("sys_trans_body"), [Place(8), "nothing", Place(12), Place(13), "[]"]), Skeleton(Cache("sys_encode_horn"), [Skeleton("tr_clause", [Place(12), Place(11), Place(13)]), Place(14), 1]), Skeleton(Cache("=.."), [Place(15), Skeleton(".", ["", Place(7)])]), Skeleton(Cache("sys_ast_invoke"), [Place(15), Place(2), Skeleton("link", [Skeleton(".", [Place(14), "[]"])]), Place(3), Place(4)])], 0, NotImplemented))
add("sys_ast_term", 5, Clause(10, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(6), Place(7)])]), Skeleton(Cache("sys_ast_list"), [Place(7), Place(8), Place(2), Place(4), Place(9)]), Skeleton(Cache("sys_const_functor"), [Place(6), Place(8), Place(3)]), Skeleton(Cache("="), [Place(9), Place(5)])], 0, NotImplemented))
add("sys_ast_term", 5, Clause(2, [Place(0), NotImplemented, Skeleton("const", [Place(0)]), Place(1), Place(1)], [], -1, NotImplemented))
add("sys_const_functor", 3, Clause(4, [Place(1), Place(2), Skeleton("const", [Skeleton("functor", [Place(1), Place(3)])])], [Skeleton(Cache("sys_const_only"), [Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_const_functor", 3, Clause(2, [Place(0), Place(1), Skeleton("functor", [Place(0), Place(1)])], [], -1, NotImplemented))
add("sys_const_only", 2, Clause(3, [Skeleton(".", [Skeleton("const", [Place(0)]), Place(1)]), Skeleton(".", [Place(0), Place(2)])], [Skeleton(Cache("sys_const_only"), [Place(1), Place(2)])], -1, "."))
add("sys_const_only", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_arrow_paras", 2, Clause(2, [Place(1), Skeleton(".", [Place(1), "[]"])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_arrow_paras", 2, Clause(3, [Skeleton(",", [Place(0), Place(1)]), Skeleton(".", [Place(0), Place(2)])], [Skeleton(Cache("sys_arrow_paras"), [Place(1), Place(2)])], -1, ","))
add("sys_ast_var", 4, Clause(9, [Place(1), Skeleton("place", [Place(2), Place(3)]), Place(4), Place(5)], [Skeleton(Cache("sys_current_dcg"), [Place(6), Place(4), Place(7)]), Skeleton(Cache("member"), [Skeleton("v", [Place(8), Place(2), Place(3)]), Place(6)]), Skeleton(Cache("=="), [Place(8), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), 1]), Skeleton(Cache("="), [Place(7), Place(5)])], 0, NotImplemented))
add("sys_ast_var", 4, Clause(7, [Place(0), Skeleton("place", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_dcg"), [Place(5), Place(3), Place(6)]), Skeleton(Cache("sys_set_dcg"), [Skeleton(".", [Skeleton("v", [Place(0), Place(1), Place(2)]), Place(5)]), Place(6), Place(4)])], -1, NotImplemented))
add("sys_current_dcg", 3, Clause(1, [Place(0), Place(0), Place(0)], [], -1, NotImplemented))
add("sys_set_dcg", 3, Clause(1, [Place(0), NotImplemented, Place(0)], [], -1, NotImplemented))
add("sys_idx_value", 4, Clause(5, [Place(1), 1, Place(2), Place(3)], [Skeleton(Cache("arg"), [1, Place(1), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_arg"), [Place(2), Place(4), Place(3)])], 0, NotImplemented))
add("sys_idx_value", 4, Clause(4, [Place(1), NotImplemented, NotImplemented, Place(2)], [Skeleton(Cache("arg"), [1, Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_idx_value_term"), [Place(3), Place(2)])], 0, NotImplemented))
add("sys_idx_value", 4, Clause(0, [NotImplemented, NotImplemented, NotImplemented, "nothing"], [], -1, NotImplemented))
add("sys_idx_value_arg", 3, Clause(3, [NotImplemented, Place(1), Skeleton("just", [Place(2)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(2), NotImplemented])], 0, NotImplemented))
add("sys_idx_value_arg", 3, Clause(6, [Skeleton(".", [Skeleton("=", [Place(1), Place(2)]), Place(3)]), Place(4), Place(5)], [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(1), Place(2)]), Place(3)]), Place(4), Place(5)], [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("=", [NotImplemented, NotImplemented]), Place(1)]), Place(2), Place(3)], [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, [NotImplemented, NotImplemented, "nothing"], [], -1, NotImplemented))
add("sys_idx_value_term", 2, Clause(3, [Place(1), Skeleton("just", [Place(2)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(2), NotImplemented])], 0, NotImplemented))
add("sys_idx_value_term", 2, Clause(0, [NotImplemented, "nothing"], [], -1, NotImplemented))
add("sys_decode_body", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_decode_body", 2, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_decode_goal"), [Place(0), Place(2)]), Skeleton(Cache("sys_decode_body"), [Place(1), Place(3)])], -1, "."))
add("sys_decode_goal", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("ir_is_site"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_goal"), [Place(3), Place(2)])], 0, NotImplemented))
add("sys_decode_goal", 2, Clause(5, [Place(1), Skeleton("$ALT", [Place(2)])], [Skeleton(Cache("kb_is_link"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("findall"), [Place(3), Skeleton("kb_clause_ref", [Place(1), 0, Place(3)]), Place(4)]), Skeleton(Cache("sys_decode_alternatives"), [Place(4), Place(1), Place(2)])], 0, NotImplemented))
add("sys_decode_goal", 2, Clause(5, [Skeleton("is", [Place(1), Place(2)]), Skeleton("is", [Place(3), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_term"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(2), Place(4)])], 0, "is"))
add("sys_decode_goal", 2, Clause(5, [Skeleton("=:=", [Place(1), Place(2)]), Skeleton("=:=", [Place(3), Place(4)])], [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(1), Place(2)]), Skeleton("=\\=", [Place(3), Place(4)])], [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(1), Place(2)]), Skeleton("<", [Place(3), Place(4)])], [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(1), Place(2)]), Skeleton(">", [Place(3), Place(4)])], [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(1), Place(2)]), Skeleton("=<", [Place(3), Place(4)])], [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(1), Place(2)]), Skeleton(">=", [Place(3), Place(4)])], [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(2, [Place(0), Place(1)], [Skeleton(Cache("sys_decode_term"), [Place(0), Place(1)])], -1, NotImplemented))
add("sys_decode_alternatives", 3, Clause(0, ["[]", NotImplemented, "[]"], [], -1, "[]"))
add("sys_decode_alternatives", 3, Clause(7, [Skeleton(".", [Place(0), Place(1)]), Place(2), Skeleton(".", [Skeleton("$SEQ", [Place(3), Place(4)]), Place(5)])], [Skeleton(Cache("kb_clause_data"), [Place(0), Place(2), Place(3), Place(6)]), Skeleton(Cache("sys_decode_body"), [Place(6), Place(4)]), Skeleton(Cache("sys_decode_alternatives"), [Place(1), Place(2), Place(5)])], -1, "."))
add("sys_decode_args", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_decode_args", 2, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_decode_expr"), [Place(0), Place(2)]), Skeleton(Cache("sys_decode_args"), [Place(1), Place(3)])], -1, "."))
add("sys_decode_expr", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("ir_is_site"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(1), Place(3)]), Skeleton(Cache("sys_decode_expr"), [Place(3), Place(2)])], 0, NotImplemented))
add("sys_decode_expr", 2, Clause(6, [Place(1), Place(2)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(3), Place(4)])]), Skeleton(Cache("sys_decode_args"), [Place(4), Place(5)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Place(5)])])], 0, NotImplemented))
add("sys_decode_expr", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("sys_decode_list", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_decode_list", 2, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_decode_term"), [Place(0), Place(2)]), Skeleton(Cache("sys_decode_list"), [Place(1), Place(3)])], -1, "."))
add("sys_decode_term", 2, Clause(10, [Place(1), Place(2)], [Skeleton(Cache("kb_is_link"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [NotImplemented, Place(3)])]), Skeleton(Cache("sys_arrow_clause"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("=.."), [Place(4), Skeleton(".", [NotImplemented, Place(6)])]), Skeleton(Cache("free_variables"), [Place(7), Place(6), Place(5)]), Skeleton(Cache("append"), [Place(3), Place(8), Place(6)]), Skeleton(Cache("sys_arrow_paras"), [Place(9), Place(8)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", ["=>", Skeleton(".", [Place(9), Skeleton(".", [Place(7), "[]"])])])])], 0, NotImplemented))
add("sys_decode_term", 2, Clause(6, [Place(1), Place(2)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(3), Place(4)])]), Skeleton(Cache("sys_decode_list"), [Place(4), Place(5)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Place(5)])])], 0, NotImplemented))
add("sys_decode_term", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("sys_arrow_clause", 3, Clause(8, [Place(0), Place(1), Place(2)], [Skeleton(Cache("kb_clause_ref"), [Place(0), 0, Place(3)]), Skeleton(Cache("kb_clause_arity"), [Place(3), Place(4)]), Skeleton(Cache("functor"), [Place(1), "", Place(4)]), Skeleton(Cache("kb_clause_data"), [Place(3), Place(1), Place(5), Place(6)]), Skeleton(Cache("sys_decode_body"), [Place(6), Place(7)]), Skeleton(Cache("sys_untrans_body"), [Place(7), Place(5), Place(2)])], -1, NotImplemented))
add("sys_untrans_body", 3, Clause(0, ["[]", NotImplemented, "true"], [], -1, "[]"))
add("sys_untrans_body", 3, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_untrans_rest"), [Place(1), Place(0), Place(2), Place(3)])], -1, "."))
add("sys_untrans_rest", 4, Clause(3, ["[]", Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_untrans_goal"), [Place(0), Place(1), Place(2)])], -1, "[]"))
add("sys_untrans_rest", 4, Clause(6, [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Skeleton(",", [Place(4), Place(5)])], [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_goal", 3, Clause(4, [Skeleton("$ALT", [Place(1)]), Place(2), Place(3)], [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(1)]), Skeleton("just", [Place(2)]), "!"], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, "$CUT"))
add("sys_untrans_goal", 3, Clause(1, [Place(0), NotImplemented, Place(0)], [], -1, NotImplemented))
add("sys_untrans_alternatives", 3, Clause(0, ["[]", NotImplemented, "fail"], [], -1, "[]"))
add("sys_untrans_alternatives", 3, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_untrans_more"), [Place(1), Place(0), Place(2), Place(3)])], -1, "."))
add("sys_untrans_more", 4, Clause(4, ["[]", Skeleton("$SEQ", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_untrans_alternative"), [Place(0), Place(1), Place(2), Place(3)])], -1, "[]"))
add("sys_untrans_more", 4, Clause(7, [Skeleton(".", [Place(0), Place(1)]), Skeleton("$SEQ", [Place(2), Place(3)]), Place(4), Skeleton(";", [Place(5), Place(6)])], [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_alternative", 4, Clause(4, ["nothing", Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_untrans_body"), [Place(0), Place(1), Place(3)]), Skeleton(Cache("sys_untrans_ambiguity"), [Place(3), Place(2)])], -1, "nothing"))
add("sys_untrans_alternative", 4, Clause(9, [Skeleton("just", [Place(0)]), Place(1), Place(2), Skeleton("->", [Place(3), Place(4)])], [Skeleton(Cache("sys_untrans_split"), [Place(1), Place(0), Place(5), Place(6)]), Skeleton(Cache("sys_trans_mark"), [Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_untrans_body"), [Place(8), Place(7), Place(3)]), Skeleton(Cache("sys_untrans_body"), [Place(6), Place(2), Place(4)])], -1, "just"))
add("sys_untrans_split", 4, Clause(4, [Skeleton(".", [Skeleton("$CUT", [Place(1)]), Place(2)]), Place(3), "[]", Place(2)], [Skeleton(Cache("=="), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, "."))
add("sys_untrans_split", 4, Clause(5, [Skeleton(".", [Place(0), Place(1)]), Place(2), Skeleton(".", [Place(0), Place(3)]), Place(4)], [Skeleton(Cache("sys_untrans_split"), [Place(1), Place(2), Place(3), Place(4)])], -1, "."))
add("sys_untrans_ambiguity", 2, Clause(3, [Skeleton("->", [Place(1), Place(2)]), Skeleton(";", [Skeleton("->", [Place(1), Place(2)]), "fail"])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "->"))
add("sys_untrans_ambiguity", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("sys_eq_intersection", 3, Clause(0, ["[]", NotImplemented, "[]"], [], -1, "[]"))
add("sys_eq_intersection", 3, Clause(7, [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("member"), [Place(5), Place(3)]), Skeleton(Cache("=="), [Place(5), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Skeleton(".", [Place(1), Place(6)])]), Skeleton(Cache("sys_eq_intersection"), [Place(2), Place(3), Place(6)])], 0, "."))
add("sys_eq_intersection", 3, Clause(3, [Skeleton(".", [NotImplemented, Place(0)]), Place(1), Place(2)], [Skeleton(Cache("sys_eq_intersection"), [Place(0), Place(1), Place(2)])], -1, "."))
add("sys_check_callable", 1, Clause(2, [Place(1)], [Skeleton(Cache("callable"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_check_callable", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_check_callable", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["callable", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("strings", 3, Clause(0, ["banner.runtime", "de", "Dogelog Spieler, Prolog zum Mond, $$+$$"], [], -1, "banner.runtime"))
add("strings", 3, Clause(0, ["banner.copyright", "de", "(c) 1985-2025, XLOG Technologies AG, Schweiz"], [], -1, "banner.copyright"))
add("strings", 3, Clause(0, ["banner.runtime", "", "Dogelog Player, Prolog to the Moon, $$+$$"], [], -1, "banner.runtime"))
add("strings", 3, Clause(0, ["banner.copyright", "", "(c) 1985-2025, XLOG Technologies AG, Switzerland"], [], -1, "banner.copyright"))
add("true", 0, Clause(0, [], [], -1, NotImplemented))
add("!", 0, Clause(1, [], [Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add(",", 2, Clause(6, [Place(0), Place(1)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(2), Place(3), Place(4)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(2), Place(5), Place(4), "[]"]), Skeleton(Cache("$SEQ"), [Place(5), Place(3)])], -1, NotImplemented))
add(";", 2, Clause(7, [Place(0), Place(1)], [Skeleton(Cache("sys_trans_alternative"), [Place(0), "nothing", Place(2), Place(3), Place(4)]), Skeleton(Cache("sys_trans_disj"), [Place(1), Place(4), Place(2), Place(5), Place(6)]), Skeleton(Cache("$SEQ"), [Place(5), Skeleton(".", [Skeleton("$ALT", [Skeleton(".", [Place(3), Place(6)])]), "[]"])])], -1, NotImplemented))
add("->", 2, Clause(8, [Place(0), Place(1)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(2), Place(3), Skeleton(".", [Skeleton("$CUT", [Place(4)]), Place(5)])]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(6), Place(5), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(2), Place(7), Place(3)]), Skeleton(Cache("$SEQ"), [Place(6), Skeleton(".", [Skeleton("$ALT", [Skeleton(".", [Skeleton("$SEQ", [Skeleton("just", [Place(4)]), Place(7)]), "[]"])]), "[]"])])], -1, NotImplemented))
add("sys_host_make", 2, Clause(10, [Skeleton("ir_clause", [Place(0), Place(1), Place(2), Place(3)]), Place(4)], [Skeleton(Cache("is"), [Place(5), Skeleton(Cache("+"), [Place(2), 1])]), Skeleton(Cache("sys_host_instrs"), [Place(0), Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_host_instrs"), [Place(1), Place(8), Place(7), Place(9)]), Skeleton(Cache("ir_clause_new"), [Place(9), Place(6), Place(8), Place(2), Place(3), Place(4)])], -1, "ir_clause"))
add("sys_host_make", 2, Clause(6, [Skeleton("ir_goal", [Place(0), Place(1)]), Place(2)], [Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(1), 1])]), Skeleton(Cache("sys_host_instrs"), [Place(0), Place(4), Place(3), Place(5)]), Skeleton(Cache("ir_goal_new"), [Place(5), Place(4), Place(1), Place(2)])], -1, "ir_goal"))
add("sys_host_instrs", 4, Clause(1, ["[]", "[]", Place(0), Place(0)], [], -1, "[]"))
add("sys_host_instrs", 4, Clause(7, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Place(4), Place(5)], [Skeleton(Cache("sys_host_instr"), [Place(0), Place(2), Place(4), Place(6)]), Skeleton(Cache("sys_host_instrs"), [Place(1), Place(3), Place(6), Place(5)])], -1, "."))
add("sys_host_instr", 4, Clause(5, [Skeleton("place", [NotImplemented, Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_anon_new"), [Place(2)]), Skeleton(Cache("="), [Place(3), Place(4)])], 0, "place"))
add("sys_host_instr", 4, Clause(8, [Skeleton("place", [Place(1), NotImplemented]), Place(2), Place(3), Place(4)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_current_max"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(6), Skeleton(Cache("+"), [Place(1), 1])]), Skeleton(Cache("sys_host_set_max"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("ir_place_new"), [Place(1), Place(2)]), Skeleton(Cache("="), [Place(7), Place(4)])], 0, "place"))
add("sys_host_instr", 4, Clause(4, [Skeleton("place", [Place(0), NotImplemented]), Place(1), Place(2), Place(3)], [Skeleton(Cache("ir_place_new"), [Place(0), Place(1)]), Skeleton(Cache("="), [Place(2), Place(3)])], -1, "place"))
add("sys_host_instr", 4, Clause(8, [Skeleton("functor", [Place(0), Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_host_const"), [Place(0), Place(5)]), Skeleton(Cache("sys_host_instrs"), [Place(1), Place(6), Place(3), Place(7)]), Skeleton(Cache("ir_skeleton_new"), [Place(5), Place(6), Place(2)]), Skeleton(Cache("="), [Place(7), Place(4)])], -1, "functor"))
add("sys_host_instr", 4, Clause(4, [Skeleton("const", [Place(0)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_host_const"), [Place(0), Place(1)]), Skeleton(Cache("="), [Place(2), Place(3)])], -1, "const"))
add("sys_host_current_max", 3, Clause(1, [Place(0), Place(0), Place(0)], [], -1, NotImplemented))
add("sys_host_set_max", 3, Clause(1, [Place(0), NotImplemented, Place(0)], [], -1, NotImplemented))
add("sys_host_const", 2, Clause(6, [Skeleton("functor", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_const"), [Place(1), Place(4)]), Skeleton(Cache("sys_host_args"), [Place(2), Place(5)]), Skeleton(Cache("ir_make_frozen"), [Place(4), Place(5), Place(3)])], 0, "functor"))
add("sys_host_const", 2, Clause(4, [Skeleton("link", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_host_alternatives"), [Place(1), Place(3)]), Skeleton(Cache("kb_make_defined"), [Place(3), Place(2)])], 0, "link"))
add("sys_host_const", 2, Clause(3, [Skeleton("site", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_pred_site"), [Place(1), Place(2)])], 0, "site"))
add("sys_host_const", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("sys_host_args", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_host_args", 2, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_host_const"), [Place(0), Place(2)]), Skeleton(Cache("sys_host_args"), [Place(1), Place(3)])], -1, "."))
add("sys_host_alternatives", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_host_alternatives", 2, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_host_make"), [Place(0), Place(2)]), Skeleton(Cache("sys_host_alternatives"), [Place(1), Place(3)])], -1, "."))
add("get_code", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("os_get_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0, NotImplemented))
add("get_code", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("sys_read_buffer"), [Place(1)]), Skeleton(Cache("os_get_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0, NotImplemented))
add("get_code", 2, Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("="), [-1, Place(0)])], -1, NotImplemented))
add("peek_code", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("os_peek_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0, NotImplemented))
add("peek_code", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("sys_read_buffer"), [Place(1)]), Skeleton(Cache("os_peek_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0, NotImplemented))
add("peek_code", 2, Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("="), [-1, Place(0)])], -1, NotImplemented))
add("sys_read_buffer", 1, Clause(4, [Place(1)], [Skeleton(Cache("os_stream_flags"), [Place(1), Place(2)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_read_promise"), [Place(1), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0, NotImplemented))
add("sys_read_buffer", 1, Clause(1, [Place(0)], [Skeleton(Cache("os_read_sync"), [Place(0)])], -1, NotImplemented))
add("sleep", 1, Clause(2, [Place(0)], [Skeleton(Cache("os_sleep_promise"), [Place(0), Place(1)]), Skeleton(Cache("$YIELD"), [Place(1)])], -1, NotImplemented))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_emulated", 2, 1])], -1))
add("sys_emulated", 2, Clause(0, ["argv", "[]"], [], -1, "argv"))
add("sys_emulated", 2, Clause(0, ["sys_locale", "en_GB"], [], -1, "sys_locale"))
add("sys_emulated", 2, Clause(0, ["sys_color", "normal"], [], -1, "sys_color"))
add("set_prolog_flag", 2, Clause(3, [Place(1), Place(2)], [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(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_prolog_flag_set", 2, Clause(1, ["argv", Place(0)], [Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["argv", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["argv", Place(0)])])], -1, "argv"))
add("sys_prolog_flag_set", 2, Clause(1, ["sys_locale", Place(0)], [Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["sys_locale", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["sys_locale", Place(0)])])], -1, "sys_locale"))
add("sys_prolog_flag_set", 2, Clause(1, ["sys_color", Place(0)], [Skeleton(Cache("retractall"), [Skeleton("sys_emulated", ["sys_color", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_emulated", ["sys_color", Place(0)])])], -1, "sys_color"))
add("sys_prolog_flag_set", 2, Clause(1, ["base_url", Place(0)], [Skeleton(Cache("os_set_workdir"), [Place(0)])], -1, "base_url"))
add("sys_prolog_flag_set", 2, Clause(1, ["stage", Place(0)], [Skeleton(Cache("dg_set_stage"), [Place(0)])], -1, "stage"))
add("sys_prolog_flag_set", 2, Clause(1, ["partition", Place(0)], [Skeleton(Cache("dg_set_partition"), [Place(0)])], -1, "partition"))
add("sys_prolog_flag_set", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("sys_prolog_flag_get"), [Place(0), NotImplemented]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["modify", "flag", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("current_prolog_flag", 2, Clause(3, [Place(1), Place(2)], [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(4, [Place(1), Place(2)], [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(3)])], 0, NotImplemented))
add("current_prolog_flag", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_prolog_flag_get", 2, Clause(1, ["argv", Place(0)], [Skeleton(Cache("sys_emulated"), ["argv", Place(0)])], -1, "argv"))
add("sys_prolog_flag_get", 2, Clause(1, ["sys_locale", Place(0)], [Skeleton(Cache("sys_emulated"), ["sys_locale", Place(0)])], -1, "sys_locale"))
add("sys_prolog_flag_get", 2, Clause(1, ["sys_color", Place(0)], [Skeleton(Cache("sys_emulated"), ["sys_color", Place(0)])], -1, "sys_color"))
add("sys_prolog_flag_get", 2, Clause(1, ["base_url", Place(0)], [Skeleton(Cache("os_get_workdir"), [Place(0)])], -1, "base_url"))
add("sys_prolog_flag_get", 2, Clause(1, ["stage", Place(0)], [Skeleton(Cache("dg_get_stage"), [Place(0)])], -1, "stage"))
add("sys_prolog_flag_get", 2, Clause(1, ["partition", Place(0)], [Skeleton(Cache("dg_get_partition"), [Place(0)])], -1, "partition"))
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, ["dialect", "dogelog"], [], -1, "dialect"))
add("sys_prolog_flag_get", 2, Clause(0, ["version", 20102], [], -1, "version"))
add("sys_prolog_flag_get", 2, Clause(0, ["version_data", make_frozen("dogelog", [2, 1, 2, make_frozen(".", [make_frozen("build", ["20251027"]), "[]"])])], [], -1, "version_data"))
add("sys_prolog_flag_get", 2, Clause(0, ["use_strict", "off"], [], -1, "use_strict"))
add("sys_prolog_flag_get", 2, Clause(0, ["max_code", 1114111], [], -1, "max_code"))
add("sys_prolog_flag_get", 2, Clause(0, ["max_arity", 2147483647], [], -1, "max_arity"))
add("sys_prolog_flag_get", 2, Clause(2, ["async_mode", Place(0)], [Skeleton(Cache("sys_flags_get"), [Place(1)]), 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(0)], [Skeleton(Cache("sys_flags_get"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 8, Place(0)])], -1, "allow_yield"))
add("sys_prolog_flag_get", 2, Clause(0, ["import_async", "on"], [], -1, "import_async"))
add("sys_prolog_flag_get", 2, Clause(0, ["prop_async", "on"], [], -1, "prop_async"))
add("sys_prolog_flag_get", 2, Clause(0, ["read_async", "on"], [], -1, "read_async"))
add("sys_prolog_flag_get", 2, Clause(2, ["state_async", Place(0)], [Skeleton(Cache("sys_flags_get"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 128, Place(0)])], -1, "state_async"))
add("sys_prolog_flag_get", 2, Clause(5, [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_flag_map"), [Place(3)]), Skeleton(Cache("ir_object_keys"), [Place(3), Place(4)]), Skeleton(Cache("member"), [Place(1), Place(4)]), Skeleton(Cache("ir_object_current"), [Place(3), Place(1), Place(2)])], 0, NotImplemented))
add("sys_prolog_flag_get", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_flag_map"), [Place(2)]), Skeleton(Cache("ir_object_current"), [Place(2), Place(0), Place(1)])], -1, NotImplemented))
add("sys_prolog_flag_decode", 3, Clause(4, [Place(1), Place(2), Place(3)], [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, [NotImplemented, NotImplemented, "off"], [], -1, NotImplemented))
add("time", 1, Clause(2, [Place(0)], [Skeleton(Cache("=.."), [Place(1), make_frozen(".", ["v", make_frozen(".", [0, make_frozen(".", [0, make_frozen(".", [0, "[]"])])])])]), 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(5, [Place(0)], [Skeleton(Cache("sys_stat_map"), [Place(1)]), Skeleton(Cache("ir_object_current"), [Place(1), "time", Place(2)]), Skeleton(Cache("ir_object_current"), [Place(1), "gctime", Place(3)]), Skeleton(Cache("ir_object_current"), [Place(1), "calls", Place(4)]), Skeleton(Cache("change_arg"), [1, Place(0), Place(2)]), Skeleton(Cache("change_arg"), [2, Place(0), Place(3)]), Skeleton(Cache("change_arg"), [3, Place(0), Place(4)])], -1, NotImplemented))
add("sys_time_show", 1, Clause(14, [Place(0)], [Skeleton(Cache("arg"), [1, Place(0), Place(1)]), Skeleton(Cache("arg"), [2, Place(0), Place(2)]), Skeleton(Cache("arg"), [3, Place(0), Place(3)]), Skeleton(Cache("sys_stat_map"), [Place(4)]), Skeleton(Cache("ir_object_current"), [Place(4), "time", Place(5)]), Skeleton(Cache("ir_object_current"), [Place(4), "gctime", Place(6)]), Skeleton(Cache("ir_object_current"), [Place(4), "calls", Place(7)]), Skeleton(Cache("is"), [Place(8), Skeleton(Cache("-"), [Place(5), Place(1)])]), Skeleton(Cache("is"), [Place(9), Skeleton(Cache("-"), [Place(6), Place(2)])]), Skeleton(Cache("is"), [Place(10), Skeleton(Cache("-"), [Place(7), Place(3)])]), Skeleton(make_defined([Clause(4, [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Place(1), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("truncate"), [Skeleton(Cache("/"), [Skeleton(Cache("*"), [Place(3), 1000]), Place(1)])])])], 0, NotImplemented), Clause(1, [NotImplemented, Place(0), NotImplemented], [Skeleton(Cache("="), [Place(0), 0])], -1, NotImplemented)]), [Place(8), Place(11), Place(10)]), Skeleton(Cache("member"), [Skeleton("-", [Place(12), Place(13)]), Skeleton(".", [Skeleton("-", ["time", Place(8)]), Skeleton(".", [Skeleton("-", ["gctime", Place(9)]), Skeleton(".", [Skeleton("-", ["lips", Place(11)]), "[]"])])])]), Skeleton(Cache("sys_print_message"), [Skeleton("time", [Place(12), Place(13)])]), Cache("fail")], -1, NotImplemented))
add("sys_time_show", 1, Clause(0, [NotImplemented], [Cache("nl")], -1, NotImplemented))
add("sub_atom", 5, Clause(8, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("between"), [0, Place(6), Place(2)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(6), Place(2)])]), Skeleton(Cache("between"), [0, Place(7), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Place(7), Place(3)])])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("sys_atom_match"), [Place(1), Place(5), Place(2)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])])], 0, NotImplemented))
add("sub_atom", 5, Clause(8, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("=<"), [0, Place(4)]), Skeleton(Cache("=<"), [Place(4), Place(6)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(6), Place(4)])]), Skeleton(Cache("between"), [0, Place(7), Place(2)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Place(7), Place(2)])]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(4)]), Place(3)])]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
add("sub_atom", 5, Clause(8, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("=<"), [0, Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(6)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(6), Place(2)])]), Skeleton(Cache("between"), [0, Place(7), Place(3)]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Place(7), Place(3)])])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(4)]), Place(2)])]), Skeleton(Cache("sys_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
add("sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])]), Skeleton(Cache("sys_atom_match"), [Place(1), Place(5), Place(2)])], 0, NotImplemented))
add("sub_atom", 5, Clause(6, [Place(0), Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("atom_length"), [Place(4), Place(2)]), Skeleton(Cache("atom_length"), [Place(0), Place(5)]), Skeleton(Cache("is"), [Place(1), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(5), Place(3)]), Place(2)])]), Skeleton(Cache("sys_atom_match"), [Place(0), Place(4), Place(1)])], -1, NotImplemented))
add("last_sub_atom", 5, Clause(10, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("between"), [0, Place(6), Place(7)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Place(6), Place(7)])]), Skeleton(Cache("is"), [Place(8), Skeleton(Cache("-"), [Place(6), Place(2)])]), Skeleton(Cache("between"), [0, Place(8), Place(9)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Place(8), Place(9)])]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Place(8), Place(3)])])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("sys_last_atom_match"), [Place(1), Place(5), Place(2)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(9, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("=<"), [0, Place(4)]), Skeleton(Cache("=<"), [Place(4), Place(6)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(6), Place(4)])]), Skeleton(Cache("between"), [0, Place(7), Place(8)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Place(7), Place(8)])]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Place(7), 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(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(4)]), Place(3)])]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(9, [Place(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("=<"), [0, Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(6)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(6), Place(2)])]), Skeleton(Cache("between"), [0, Place(7), Place(8)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Place(7), Place(8)])]), Skeleton(Cache("sys_last_atom_part"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Place(7), Place(3)])])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(4)]), Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), 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(7, [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("var"), [Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_length"), [Place(1), Place(6)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(4)]), 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(1), Place(2), Place(3), Place(4), Place(5)], [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(6)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(6), Place(2)]), Place(3)])]), Skeleton(Cache("sys_last_atom_match"), [Place(1), Place(5), Place(2)])], 0, NotImplemented))
add("last_sub_atom", 5, Clause(6, [Place(0), Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("atom_length"), [Place(4), Place(2)]), Skeleton(Cache("atom_length"), [Place(0), Place(5)]), Skeleton(Cache("is"), [Place(1), Skeleton(Cache("-"), [Skeleton(Cache("-"), [Place(5), Place(3)]), Place(2)])]), Skeleton(Cache("sys_last_atom_match"), [Place(0), Place(4), Place(1)])], -1, NotImplemented))
add("findall", 3, Clause(4, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_find_init"), [Place(3)]), Skeleton(make_defined([Clause(3, [Place(0), Place(1), Place(2)], [Skeleton(Cache("call"), [Place(0)]), Skeleton(Cache("sys_find_next"), [Place(1), Place(2)]), Cache("fail")], -1, NotImplemented), Clause(0, [NotImplemented, NotImplemented, NotImplemented], [], -1, NotImplemented)]), [Place(1), Place(0), Place(3)]), Skeleton(Cache("sys_find_fini"), [Place(3), Place(2)])], -1, NotImplemented))
add("sys_find_init", 1, Clause(2, [Place(0)], [Skeleton(Cache("=.."), [Place(1), make_frozen(".", [".", make_frozen(".", ["-", make_frozen(".", ["[]", "[]"])])])]), Skeleton(Cache("="), [Place(0), Skeleton("v", [Place(1), Place(1)])])], -1, NotImplemented))
add("sys_find_next", 2, Clause(4, [Place(0), Place(1)], [Skeleton(Cache("copy_term"), [Skeleton(".", [Place(0), "[]"]), Place(2)]), Skeleton(Cache("arg"), [1, Place(1), Place(3)]), Skeleton(Cache("change_arg"), [2, Place(3), Place(2)]), Skeleton(Cache("change_arg"), [1, Place(1), Place(2)])], -1, NotImplemented))
add("sys_find_fini", 2, Clause(1, [Skeleton("v", [NotImplemented, Skeleton(".", [NotImplemented, Place(0)])]), Place(0)], [], -1, "v"))
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.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"))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_source", 3, 1])], -1))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_srcprop", 2, 1])], -1))
add("current_source", 1, Clause(1, [Place(0)], [Skeleton(Cache("sys_source"), [Place(0), NotImplemented, NotImplemented])], -1, NotImplemented))
add("source_property", 2, Clause(2, [Place(0), Place(1)], [Skeleton(Cache("sys_srcprop"), [Place(0), Place(1)])], -1, NotImplemented))
add("discontiguous", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("discontiguous", 1, Clause(4, [Skeleton("/", [Place(1), Place(2)])], [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(3)]), Skeleton(Cache("assertz"), [Skeleton("sys_predprop", [Place(1), Place(2), Skeleton("sys_discontiguous", [Place(3)])])])], 0, "/"))
add("discontiguous", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("multifile", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("multifile", 1, Clause(3, [Skeleton("/", [Place(1), Place(2)])], [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(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_multifile_safe", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("dg_get_partition"), [Place(2)]), Skeleton(make_defined([Clause(5, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(4)])]), 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)])]), NotImplemented])])], 0, NotImplemented), Clause(0, [NotImplemented, NotImplemented, NotImplemented], [], -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))
add("include", 1, Clause(3, [Place(0)], [Skeleton(Cache("sys_file_relative"), [Place(0), Place(1)]), Skeleton(Cache("file_property"), [Place(1), Skeleton("absolute_path", [Place(2)])]), Skeleton(Cache("sys_include_file"), [Place(2)])], -1, NotImplemented))
add("sys_include_file", 1, Clause(2, ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_input"), [Place(1)]), Skeleton(Cache("sys_include_stream"), ["user", Place(1)])], 0, "user"))
add("sys_include_file", 1, Clause(5, [Place(1)], [Skeleton(Cache("current_prolog_flag"), ["foreign_ext", Place(2)]), Skeleton(Cache("sub_atom"), [Place(1), NotImplemented, NotImplemented, 0, Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_include_native"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_current"), [Place(3), "module", Place(4)]), Skeleton(Cache("os_invoke_main"), [Place(4)])], 0, NotImplemented))
add("sys_include_file", 1, Clause(2, [Place(0)], [Skeleton(Cache("setup_once_cleanup"), [Skeleton("open", [Place(0), "read", Place(1)]), Skeleton("sys_include_stream", [Place(0), Place(1)]), Skeleton("close", [Place(1)])])], -1, NotImplemented))
add("sys_include_native", 2, Clause(4, [Place(1), Place(2)], [make_frozen(Cache("current_prolog_flag"), ["import_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_import_promise"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0, NotImplemented))
add("sys_include_native", 2, Clause(2, [Place(0), Place(1)], [Skeleton(Cache("os_import_sync"), [Place(0), Place(1)])], -1, NotImplemented))
add(".", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("member"), [Place(2), Skeleton(".", [Place(0), Place(1)])]), Skeleton(Cache("ensure_loaded"), [Place(2)]), Cache("fail")], -1, NotImplemented))
add(".", 2, Clause(0, [NotImplemented, NotImplemented], [], -1, NotImplemented))
add("ensure_loaded", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("ensure_loaded", 1, Clause(1, ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), make_frozen(Cache("sys_include_file"), ["user"])], 0, "user"))
add("ensure_loaded", 1, Clause(5, [Place(0)], [Skeleton(Cache("sys_file_relative"), [Place(0), Place(1)]), Skeleton(Cache("dg_get_partition"), [Place(2)]), Skeleton(Cache("sys_prop_map"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_current"), [Place(3), "absolute_path", Place(4)]), Skeleton(make_defined([Clause(3, [Place(1), Place(2)], [Skeleton(Cache("sys_srcprop"), [Place(1), Skeleton("sys_link", [Place(2)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(2, [Place(0), Place(1)], [Skeleton(Cache("assertz"), [Skeleton("sys_srcprop", [Place(0), Skeleton("sys_link", [Place(1)])])])], -1, NotImplemented)]), [Place(2), Place(4)]), Skeleton(Cache("sys_check_file"), [Place(4), Place(3)])], -1, NotImplemented))
add("sys_check_file", 2, Clause(5, [Place(1), Place(2)], [Skeleton(Cache("ir_object_current"), [Place(2), "last_modified", Place(3)]), Skeleton(Cache("shield"), [Skeleton("sys_action_file", [Place(1), Place(3), Place(4)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, [Place(1), Place(2)], [Skeleton(Cache("="), [Place(1), "replay"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_replay_file"), [Place(2)])], 0, "replay"), Clause(3, [Place(1), Place(2)], [Skeleton(Cache("="), [Place(1), "clear_load"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_clear_file"), [Place(2)]), Skeleton(Cache("sys_load_file"), [Place(2)])], 0, "clear_load"), Clause(0, [NotImplemented, NotImplemented], [], -1, NotImplemented)]), [Place(4), Place(1)])], 0, NotImplemented))
add("sys_check_file", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("sys_load_file"), [Place(0)])], -1, NotImplemented))
add("sys_action_file", 3, Clause(6, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_source"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, [Place(1), Place(2), NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("="), [Place(1), 1]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), "none"])], 0, 1), Clause(5, [NotImplemented, Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("="), [Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "replay"]), Skeleton(Cache("retractall"), [Skeleton("sys_source", [Place(4), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_source", [Place(4), Place(3), 1])])], 0, NotImplemented), Clause(3, [NotImplemented, Place(0), Place(1), NotImplemented, Place(2)], [Skeleton(Cache("="), [Place(0), "clear_load"]), Skeleton(Cache("retractall"), [Skeleton("sys_source", [Place(2), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_source", [Place(2), Place(1), 1])])], -1, NotImplemented)]), [Place(5), Place(3), Place(2), Place(4), Place(1)])], 0, NotImplemented))
add("sys_action_file", 3, Clause(2, [Place(0), Place(1), NotImplemented], [Skeleton(Cache("assertz"), [Skeleton("sys_source", [Place(0), Place(1), 1])]), Cache("fail")], -1, NotImplemented))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_lastpred", 3, 1])], -1))
add("sys_load_file", 1, Clause(3, [Place(0)], [Skeleton(Cache("setup_once_cleanup"), [Skeleton("sys_loading_begin", [Place(0), Place(1), Place(2)]), Skeleton("sys_include_file", [Place(0)]), Skeleton("sys_loading_end", [Place(1), Place(2)])])], -1, NotImplemented))
add("sys_loading_begin", 3, Clause(6, [Place(1), Place(2), Skeleton("just", [Place(3), Place(4)])], [Skeleton(Cache("current_task"), [Place(5)]), Skeleton(Cache("retract"), [Skeleton("sys_lastpred", [Place(5), Place(3), Place(4)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("dg_get_partition"), [Place(2)]), Skeleton(Cache("dg_set_partition"), [Place(1)])], 0, NotImplemented))
add("sys_loading_begin", 3, Clause(2, [Place(0), Place(1), "nothing"], [Skeleton(Cache("dg_get_partition"), [Place(1)]), Skeleton(Cache("dg_set_partition"), [Place(0)])], -1, NotImplemented))
add("sys_loading_end", 2, Clause(4, [Place(0), Skeleton("just", [Place(1), Place(2)])], [Skeleton(Cache("dg_get_partition"), [Place(3)]), Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [NotImplemented, NotImplemented, Skeleton("sys_discontiguous", [Place(3)])])]), Skeleton(Cache("dg_set_partition"), [Place(0)]), Skeleton(Cache("sys_update_last"), [Place(1), Place(2)])], -1, NotImplemented))
add("sys_loading_end", 2, Clause(3, [Place(0), "nothing"], [Skeleton(Cache("dg_get_partition"), [Place(1)]), Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [NotImplemented, NotImplemented, Skeleton("sys_discontiguous", [Place(1)])])]), Skeleton(Cache("dg_set_partition"), [Place(0)]), Skeleton(Cache("current_task"), [Place(2)]), Skeleton(Cache("retractall"), [Skeleton("sys_lastpred", [Place(2), NotImplemented, NotImplemented])])], -1, NotImplemented))
add("sys_update_last", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("current_task"), [Place(2)]), Skeleton(Cache("retractall"), [Skeleton("sys_lastpred", [Place(2), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton("sys_lastpred", [Place(2), Place(0), Place(1)])])], -1, NotImplemented))
add("sys_style_static", 1, Clause(2, [Place(1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_style_static", 1, Clause(1, [Skeleton(":-", [NotImplemented])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, ":-"))
add("sys_style_static", 1, Clause(2, [Skeleton(":-", [Place(1), NotImplemented])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_style_head"), [Place(1)])], 0, ":-"))
add("sys_style_static", 1, Clause(1, [Place(0)], [Skeleton(Cache("sys_style_head"), [Place(0)])], -1, NotImplemented))
add("sys_style_head", 1, Clause(4, [Place(1)], [Skeleton(Cache("callable"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_style_indicator"), [Place(2), Place(3)])], 0, NotImplemented))
add("sys_style_head", 1, Clause(0, [NotImplemented], [], -1, NotImplemented))
add("sys_style_indicator", 2, Clause(4, [Place(1), Place(2)], [Skeleton(Cache("current_task"), [Place(3)]), 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(1), Place(2)], [Skeleton(Cache("dg_get_partition"), [Place(3)]), Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_usage", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(4, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_discontiguous", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(3, [Place(0), Place(1), NotImplemented], [Skeleton(Cache("="), [Place(2), Skeleton("warning", [Skeleton("syntax_error", ["discontiguous_pred", Skeleton("/", [Place(0), Place(1)])]), NotImplemented])]), 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(0), Place(1)], [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(0), Place(1)], [Skeleton(Cache("dg_get_partition"), [Place(2)]), Skeleton(make_defined([Clause(5, [Place(1), Place(2), Place(3)], [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(4)])]), 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)])]), NotImplemented])])], 0, NotImplemented), Clause(0, [NotImplemented, NotImplemented, NotImplemented], [], -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("sys_include_stream", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("current_task"), [Place(2)]), 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(3, [Place(1)], [Cache("repeat"), Skeleton(Cache("catch"), [Skeleton("sys_next_term", [Place(1)]), Place(2), Skeleton(",", [Skeleton("sys_print_error", [Place(2)]), "fail"])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_next_term", 1, Clause(4, [Place(0)], [Skeleton(Cache("read_term"), [Place(0), Place(1), Skeleton(".", [Skeleton("variable_names", [Place(2)]), Skeleton(".", [Skeleton("singletons", [Place(3)]), "[]"])])]), Skeleton(make_defined([Clause(2, [Place(1), NotImplemented, NotImplemented], [Skeleton(Cache("=="), [Place(1), "end_of_file"]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(4, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_expand_include"), [Place(0), Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_style_static"), [Place(3)]), Skeleton(Cache("sys_handle_static"), [Place(3)]), Cache("fail")], -1, NotImplemented)]), [Place(1), Place(2), Place(3)])], -1, NotImplemented))
add("sys_expand_include", 4, Clause(1, [Place(0), NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_expand_include", 4, Clause(4, [Skeleton("?-", [Place(1)]), Place(2), NotImplemented, Place(3)], [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(6, [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_multiton_keys"), [Place(1), Place(2), Place(4)]), Skeleton(Cache("sys_multiton_check"), [Place(4)]), Skeleton(Cache("sys_singleton_keys"), [Place(2), Place(5)]), Skeleton(Cache("sys_singleton_check"), [Place(5)]), Skeleton(Cache("expand_term"), [Place(0), Place(3)])], -1, NotImplemented))
add("sys_handle_static", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_handle_static", 1, Clause(3, [Skeleton(":-", [Place(1)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(1)]), Place(2), 1]), Skeleton(make_defined([Clause(2, [Place(1)], [Skeleton(Cache("ir_goal_call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented), Clause(0, [NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [make_frozen("syntax_error", ["directive_failed"]), NotImplemented])])], -1, NotImplemented)]), [Place(2)])], 0, ":-"))
add("sys_handle_static", 1, Clause(8, [Skeleton(":-", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(3), Place(4)]), Skeleton(Cache("sys_pred_type"), [Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(1), Place(2)]), Place(6), Place(5)]), Skeleton(Cache("sys_pred_multi"), [Place(3), Place(4), Place(7)]), Skeleton(Cache("ir_clause_add"), [Place(3), Place(4), Place(6), Place(7)])], 0, ":-"))
add("sys_handle_static", 1, Clause(6, [Place(0)], [Skeleton(Cache("functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("sys_pred_type"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_frost_horn"), [Place(0), Place(4), Place(3)]), Skeleton(Cache("sys_pred_multi"), [Place(1), Place(2), Place(5)]), Skeleton(Cache("ir_clause_add"), [Place(1), Place(2), Place(4), Place(5)])], -1, NotImplemented))
add("sys_pred_type", 3, Clause(5, [Place(1), Place(2), 0], [Skeleton(Cache("kb_pred_link"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("kb_link_flags"), [Place(3), Place(4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(4), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_pred_type", 3, Clause(0, [NotImplemented, NotImplemented, 1], [], -1, NotImplemented))
add("sys_pred_multi", 3, Clause(4, [Place(1), Place(2), 18], [Skeleton(Cache("dg_get_partition"), [Place(3)]), Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_multifile", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_pred_multi", 3, Clause(0, [NotImplemented, NotImplemented, 2], [], -1, NotImplemented))
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.bad_module", "de", "Fehlerhaftes Modul."], [], -1, "syntax_error.bad_module"))
add("strings", 3, Clause(0, ["syntax_error.discontiguous_pred", "", "Discontiguous predicate $, declare accordingly."], [], -1, "syntax_error.discontiguous_pred"))
add("strings", 3, Clause(0, ["syntax_error.bad_module", "", "Faulty module."], [], -1, "syntax_error.bad_module"))
add("\\=", 2, Clause(3, [Place(1), Place(2)], [Skeleton(Cache("="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
add("\\=", 2, Clause(0, [NotImplemented, NotImplemented], [], -1, NotImplemented))
add("\\+", 1, Clause(2, [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
add("\\+", 1, Clause(0, [NotImplemented], [], -1, NotImplemented))
add("once", 1, Clause(2, [Place(1)], [Skeleton(Cache("call"), [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(4, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_trap"), [Place(0), Place(3), Skeleton("sys_error_handler", [Place(3), Place(1), Place(2)])])], -1, NotImplemented))
add("sys_error_handler", 3, Clause(1, [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("sys_chain_head"), [Place(0), Skeleton("error", [Skeleton("system_error", [NotImplemented]), NotImplemented])]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
add("sys_error_handler", 3, Clause(4, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_chain_head"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("call"), [Place(3)])], 0, NotImplemented))
add("sys_error_handler", 3, Clause(1, [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
add("sys_chain_head", 2, Clause(3, [Skeleton("cause", [Place(1), NotImplemented]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, "cause"))
add("sys_chain_head", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("throw", 1, Clause(1, [Place(0)], [Skeleton(Cache("sys_fill_stack"), [Place(0)]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
add("sys_fill_stack", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_fill_stack", 1, Clause(2, [Skeleton("error", [NotImplemented, Place(1)])], [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", [NotImplemented, Place(1)])], [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, [NotImplemented], [], -1, NotImplemented))
add("sys_fetch_stack", 1, Clause(4, [Place(0)], [Skeleton(Cache("current_task"), [Place(1)]), Skeleton(Cache("findall"), [Skeleton("sys_including", [Place(2), Place(3)]), Skeleton("sys_including", [Place(2), Place(1), Place(3)]), Place(0)])], -1, NotImplemented))
add("try_call_finally", 3, Clause(7, [Place(1), Place(2), Place(3)], [Skeleton(make_defined([Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("call"), [Place(0)])], -1, NotImplemented), Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("call"), [Place(0)]), Cache("fail")], -1, NotImplemented)]), [Place(1), Place(3)]), Skeleton(Cache("$MARK"), [Place(4)]), Skeleton(Cache("sys_trap"), [Place(2), Place(5), Skeleton(",", [Place(3), Skeleton("sys_raise", [Place(5)])])]), Skeleton(Cache("$MARK"), [Place(6)]), Skeleton(make_defined([Clause(5, [Place(1), Place(2), Place(3), Place(4), NotImplemented], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("$CUT"), [Place(3)]), Skeleton(Cache("call"), [Place(4)])], 0, NotImplemented), Clause(1, [NotImplemented, NotImplemented, NotImplemented, Place(0), NotImplemented], [Skeleton(Cache("call"), [Place(0)])], -1, NotImplemented), Clause(1, [NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(0)], [Skeleton(Cache("call"), [Place(0)]), Cache("fail")], -1, NotImplemented)]), [Place(4), Place(6), Place(0), Place(3), Place(1)])], 0, NotImplemented))
add("ignore", 1, Clause(2, [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("ignore", 1, Clause(0, [NotImplemented], [], -1, NotImplemented))
add("chain", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_trap"), [Place(0), Place(2), Skeleton("sys_chain_error", [Place(2), Place(1)])]), Skeleton(Cache("call"), [Place(1)])], -1, NotImplemented))
add("sys_chain_error", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_trap"), [Place(1), Place(2), Skeleton("sys_chain_raise", [Place(0), Place(2)])]), Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
add("sys_chain_error", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("sys_raise"), [Place(0)])], -1, NotImplemented))
add("sys_chain_raise", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_chain_concat"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("sys_raise"), [Place(2)])], -1, NotImplemented))
add("sys_chain_concat", 3, Clause(5, [Skeleton("cause", [Place(1), Place(2)]), Place(3), Skeleton("cause", [Place(1), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_chain_concat"), [Place(2), Place(3), Place(4)])], 0, "cause"))
add("sys_chain_concat", 3, Clause(2, [Place(0), Place(1), Skeleton("cause", [Place(0), Place(1)])], [], -1, NotImplemented))
add("once_cleanup", 2, Clause(3, [Place(1), Place(2)], [make_frozen(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(0), Place(1)], [Skeleton(Cache("sys_once_cleanup"), [Place(0), Place(1)])], -1, NotImplemented))
add("setup_once_cleanup", 3, Clause(4, [Place(1), Place(2), Place(3)], [make_frozen(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(0), Place(1), Place(2)], [Skeleton(Cache("sys_setup_once_cleanup"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
add("sys_setup_once_cleanup", 3, Clause(3, [Place(0), Place(1), Place(2)], [Skeleton(Cache("call"), [Place(0)]), Skeleton(Cache("sys_once_cleanup"), [Place(1), Place(2)])], -1, NotImplemented))
add("sys_once_cleanup", 2, Clause(3, [Place(1), Place(2)], [Skeleton(Cache("chain"), [Place(1), Skeleton("ignore", [Place(2)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_once_cleanup", 2, Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("ignore"), [Place(0)]), Cache("fail")], -1, NotImplemented))
add("sys_check_atom", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_check_atom", 1, Clause(2, [Place(1)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_check_atom", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["atom", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_check_integer", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_check_integer", 1, Clause(2, [Place(1)], [Skeleton(Cache("integer"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("sys_check_integer", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["integer", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("call_later", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), Place(2), 0]), Skeleton(Cache("os_call_later"), [Place(2), Place(1), NotImplemented])], -1, NotImplemented))
add("call_later", 3, Clause(4, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), Place(3), 0]), Skeleton(Cache("os_call_later"), [Place(3), Place(1), Place(2)])], -1, NotImplemented))
add("call_with_time_limit", 2, Clause(5, [Place(1), Place(2)], [make_frozen(Cache("current_prolog_flag"), ["allow_yield", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_task"), [Place(3)]), Skeleton(Cache("setup_once_cleanup"), [Skeleton("call_later", [Skeleton("sys_timeout_signal", [Place(3)]), Place(1), Place(4)]), Place(2), Skeleton("timer_cancel", [Place(4)])])], 0, NotImplemented))
add("call_with_time_limit", 2, Clause(0, [NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [make_frozen("system_error", ["illegal_yield"]), NotImplemented])])], -1, NotImplemented))
add("sys_timeout_signal", 1, Clause(1, [Place(0)], [Skeleton(Cache("task_abort"), [Place(0), make_frozen("system_error", ["timelimit_exceeded"])])], -1, NotImplemented))
add("create_task", 1, Clause(2, [Place(0)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), Place(1), 0]), Skeleton(Cache("os_task_create"), [Place(1), NotImplemented])], -1, NotImplemented))
add("create_task", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), Place(2), 0]), Skeleton(Cache("os_task_create"), [Place(2), Place(1)])], -1, NotImplemented))
add("member", 2, Clause(3, [Place(0), Skeleton(".", [Place(1), Place(2)])], [Skeleton(Cache("sys_member"), [Place(2), Place(0), Place(1)])], -1, NotImplemented))
add("sys_member", 3, Clause(1, [NotImplemented, Place(0), Place(0)], [], -1, NotImplemented))
add("sys_member", 3, Clause(3, [Skeleton(".", [Place(0), Place(1)]), Place(2), NotImplemented], [Skeleton(Cache("sys_member"), [Place(1), Place(2), Place(0)])], -1, "."))
add("select", 3, Clause(4, [Place(0), Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("sys_select"), [Place(2), Place(0), Place(1), Place(3)])], -1, NotImplemented))
add("sys_select", 4, Clause(2, [Place(0), Place(1), Place(1), Place(0)], [], -1, NotImplemented))
add("sys_select", 4, Clause(5, [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Skeleton(".", [Place(3), Place(4)])], [Skeleton(Cache("sys_select"), [Place(1), Place(2), Place(0), Place(4)])], -1, "."))
add("reverse", 2, Clause(2, [Place(0), Place(1)], [Skeleton(Cache("sys_reverse"), [Place(0), "[]", Place(1)])], -1, NotImplemented))
add("sys_reverse", 3, Clause(1, ["[]", Place(0), Place(0)], [], -1, "[]"))
add("sys_reverse", 3, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_reverse"), [Place(1), Skeleton(".", [Place(0), Place(2)]), Place(3)])], -1, "."))
add("append", 3, Clause(1, ["[]", Place(0), Place(0)], [], -1, "[]"))
add("append", 3, Clause(4, [Skeleton(".", [Place(0), Place(1)]), Place(2), Skeleton(".", [Place(0), Place(3)])], [Skeleton(Cache("append"), [Place(1), Place(2), Place(3)])], -1, "."))
add("length", 2, Clause(3, [Place(1), Place(2)], [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(0), Place(1)], [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(0), Place(0)], [], -1, "[]"))
add("sys_length", 3, Clause(4, [Skeleton(".", [NotImplemented, Place(0)]), Place(1), Place(2)], [Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(1), 1])]), Skeleton(Cache("sys_length"), [Place(0), Place(3), Place(2)])], -1, "."))
add("sys_length", 2, Clause(2, [0, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "[]"])], 0, 0))
add("sys_length", 2, Clause(3, [Place(0), Skeleton(".", [NotImplemented, Place(1)])], [Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Place(0), 1])]), Skeleton(Cache("sys_length"), [Place(2), Place(1)])], -1, NotImplemented))
add("between", 3, Clause(4, [Place(1), Place(2), Place(3)], [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(0), Place(1), Place(2)], [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(3, [Place(1), Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, NotImplemented))
add("sys_between", 3, Clause(1, [Place(0), NotImplemented, Place(0)], [], -1, NotImplemented))
add("sys_between", 3, Clause(4, [Place(0), Place(1), Place(2)], [Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(0), 1])]), Skeleton(Cache("sys_between"), [Place(3), Place(1), Place(2)])], -1, NotImplemented))
add("get_string", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("current_prolog_flag"), ["sys_locale", Place(2)]), Skeleton(Cache("get_string"), [Place(0), Place(2), Place(1)])], -1, NotImplemented))
add("get_string", 3, Clause(6, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_locale_ancestor"), [Place(2), Place(4)]), Skeleton(Cache("strings"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(5)])], 0, NotImplemented))
add("sys_locale_ancestor", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("sys_locale_ancestor", 2, Clause(3, [Place(0), Place(1)], [Skeleton(Cache("last_sub_atom"), [Place(0), Place(2), NotImplemented, NotImplemented, "_"]), Skeleton(Cache("sub_atom"), [Place(0), 0, Place(2), NotImplemented, Place(1)])], -1, NotImplemented))
add("sys_locale_ancestor", 2, Clause(1, [Place(0), ""], [Skeleton(Cache("\\=="), [Place(0), ""])], -1, NotImplemented))
add("sys_multiton_keys", 3, Clause(5, [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("\\+"), [Skeleton("sys_marked_at", [Place(1), 0, make_frozen(".", [23, "[]"])])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_multiton_keys"), [Place(2), Place(3), Place(4)])], 0, "."))
add("sys_multiton_keys", 3, Clause(5, [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("\\+"), [Skeleton("sys_marked_at", [Place(1), 1, make_frozen(".", [1, make_frozen(".", [3, make_frozen(".", [23, "[]"])])])])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_multiton_keys"), [Place(2), Place(3), Place(4)])], 0, "."))
add("sys_multiton_keys", 3, Clause(5, [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("member"), [Skeleton("=", [Place(1), NotImplemented]), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_multiton_keys"), [Place(2), Place(3), Place(4)])], 0, "."))
add("sys_multiton_keys", 3, Clause(4, [Skeleton(".", [Skeleton("=", [Place(0), NotImplemented]), Place(1)]), Place(2), Skeleton(".", [Place(0), Place(3)])], [Skeleton(Cache("sys_multiton_keys"), [Place(1), Place(2), Place(3)])], -1, "."))
add("sys_multiton_keys", 3, Clause(0, ["[]", NotImplemented, "[]"], [], -1, "[]"))
add("sys_multiton_check", 1, Clause(3, [Skeleton(".", [Place(0), Place(1)])], [Skeleton(Cache("="), [Place(2), Skeleton("warning", [Skeleton("syntax_error", ["multiton_var", Skeleton(".", [Place(0), Place(1)])]), NotImplemented])]), Skeleton(Cache("sys_fill_stack"), [Place(2)]), Skeleton(Cache("sys_print_error"), [Place(2)])], -1, "."))
add("sys_multiton_check", 1, Clause(0, ["[]"], [], -1, "[]"))
add("sys_singleton_keys", 2, Clause(4, [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3)], [Skeleton(Cache("sys_marked_at"), [Place(1), 0, make_frozen(".", [23, "[]"])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_singleton_keys"), [Place(2), Place(3)])], 0, "."))
add("sys_singleton_keys", 2, Clause(3, [Skeleton(".", [Skeleton("=", [Place(0), NotImplemented]), Place(1)]), Skeleton(".", [Place(0), Place(2)])], [Skeleton(Cache("sys_singleton_keys"), [Place(1), Place(2)])], -1, "."))
add("sys_singleton_keys", 2, Clause(0, ["[]", "[]"], [], -1, "[]"))
add("sys_singleton_check", 1, Clause(3, [Skeleton(".", [Place(0), Place(1)])], [Skeleton(Cache("="), [Place(2), Skeleton("warning", [Skeleton("syntax_error", ["singleton_var", Skeleton(".", [Place(0), Place(1)])]), NotImplemented])]), Skeleton(Cache("sys_fill_stack"), [Place(2)]), Skeleton(Cache("sys_print_error"), [Place(2)])], -1, "."))
add("sys_singleton_check", 1, Clause(0, ["[]"], [], -1, "[]"))
add("sys_marked_at", 3, Clause(7, [Place(1), Place(2), Place(3)], [Skeleton(Cache("sub_atom"), [Place(1), Place(2), 1, NotImplemented, Place(4)]), Skeleton(Cache("char_code"), [Place(4), Place(5)]), Skeleton(Cache("code_category"), [Place(5), Place(6)]), Skeleton(Cache("member"), [Place(6), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("expand_term", 2, Clause(3, [Place(1), Place(2)], [Skeleton(Cache("term_expansion"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0, NotImplemented))
add("expand_term", 2, Clause(1, [Place(0), Place(0)], [], -1, NotImplemented))
add("-->", 2, Clause(0, [NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [make_frozen("existence_error", ["procedure", make_frozen("/", ["-->", 2])]), NotImplemented])])], -1, NotImplemented))
add("term_expansion", 2, Clause(2, [Place(1), NotImplemented], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0, NotImplemented))
add("term_expansion", 2, Clause(1, [Skeleton("-->", [Place(0), NotImplemented]), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, "-->"))
add("term_expansion", 2, Clause(10, [Skeleton("-->", [Skeleton(",", [Place(1), Place(2)]), Place(3)]), Skeleton(":-", [Place(4), Skeleton(",", [Place(5), Place(6)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 0, 0, Place(7), Place(8), Place(4)]), Skeleton(Cache("sys_phrase_expansion"), [Place(3), 1, 0, Place(7), Place(9), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), 0, 0, Place(8), Place(9), Place(6)])], 0, "-->"))
add("term_expansion", 2, Clause(7, [Skeleton("-->", [Place(1), Place(2)]), Skeleton(":-", [Place(3), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 0, 0, Place(5), Place(6), Place(3)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), 1, 0, Place(5), Place(6), Place(4)])], 0, "-->"))
add("sys_phrase_expansion", 6, Clause(1, [Place(0), NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_phrase_expansion", 6, Clause(10, [Skeleton(",", [Place(1), Place(2)]), 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), 1, Place(5), Place(9), Place(7)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), 0, Place(4), Place(9), Place(6), Place(8)])], 0, ","))
add("sys_phrase_expansion", 6, Clause(7, [Skeleton(";", [Place(1), Place(2)]), NotImplemented, NotImplemented, Place(3), Place(4), Skeleton(";", [Place(5), Place(6)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 0, 0, Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), 0, 0, Place(3), Place(4), Place(6)])], 0, ";"))
add("sys_phrase_expansion", 6, Clause(10, [Skeleton("->", [Place(1), Place(2)]), 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), 1, Place(5), Place(9), Place(7)]), Skeleton(Cache("sys_phrase_expansion"), [Place(2), 0, Place(4), Place(9), Place(6), Place(8)])], 0, "->"))
add("sys_phrase_expansion", 6, Clause(3, ["[]", 0, NotImplemented, Place(1), Place(2), Skeleton("=", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "[]"))
add("sys_phrase_expansion", 6, Clause(3, ["[]", 1, NotImplemented, Place(1), Place(2), "true"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, "[]"))
add("sys_phrase_expansion", 6, Clause(6, [Skeleton(".", [Place(1), Place(2)]), 0, NotImplemented, Place(3), Place(4), Skeleton("=", [Place(3), Skeleton(".", [Place(1), Place(5)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_list_expansion"), [Place(2), Place(4), Place(5)])], 0, "."))
add("sys_phrase_expansion", 6, Clause(6, [Skeleton(".", [Place(1), Place(2)]), 1, NotImplemented, Place(3), Place(4), "true"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Skeleton(".", [Place(1), Place(5)])]), Skeleton(Cache("sys_list_expansion"), [Place(2), Place(4), Place(5)])], 0, "."))
add("sys_phrase_expansion", 6, Clause(3, ["!", NotImplemented, 0, Place(1), Place(2), Skeleton(",", ["!", Skeleton("=", [Place(1), Place(2)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "!"))
add("sys_phrase_expansion", 6, Clause(3, ["!", NotImplemented, 1, Place(1), Place(2), "!"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0, "!"))
add("sys_phrase_expansion", 6, Clause(4, [Skeleton("{}", [Place(1)]), NotImplemented, 0, Place(2), Place(3), Skeleton(",", [Place(1), Skeleton("=", [Place(2), Place(3)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "{}"))
add("sys_phrase_expansion", 6, Clause(4, [Skeleton("{}", [Place(1)]), NotImplemented, 1, Place(2), Place(3), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0, "{}"))
add("sys_phrase_expansion", 6, Clause(5, [Skeleton("\\+", [Place(1)]), NotImplemented, 0, Place(2), Place(3), Skeleton(",", [Skeleton("\\+", [Place(4)]), Skeleton("=", [Place(2), Place(3)])])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 0, 0, Place(2), NotImplemented, Place(4)])], 0, "\\+"))
add("sys_phrase_expansion", 6, Clause(5, [Skeleton("\\+", [Place(1)]), NotImplemented, 1, Place(2), Place(3), Skeleton("\\+", [Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 0, 0, Place(2), NotImplemented, Place(4)])], 0, "\\+"))
add("sys_phrase_expansion", 6, Clause(8, [Place(1), NotImplemented, NotImplemented, Place(2), Place(3), Place(4)], [Skeleton(Cache("callable"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(5), Place(6)])]), Skeleton(Cache("append"), [Place(6), Skeleton(".", [Place(2), Skeleton(".", [Place(3), "[]"])]), Place(7)]), Skeleton(Cache("=.."), [Place(4), Skeleton(".", [Place(5), Place(7)])])], 0, NotImplemented))
add("sys_phrase_expansion", 6, Clause(1, [Place(0), NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["callable", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_list_expansion", 3, Clause(1, [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("sys_list_expansion", 3, Clause(2, ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0, "[]"))
add("sys_list_expansion", 3, Clause(5, [Skeleton(".", [Place(1), Place(2)]), Place(3), Skeleton(".", [Place(1), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_list_expansion"), [Place(2), Place(3), Place(4)])], 0, "."))
add("sys_list_expansion", 3, Clause(1, [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("strings", 3, Clause(0, ["instantiation_error", "de", "Argument sollte keine Variable sein."], [], -1, "instantiation_error"))
add("strings", 3, Clause(0, ["domain_error.read_option", "de", "Leseoption erwartet, gefunden $."], [], -1, "domain_error.read_option"))
add("strings", 3, Clause(0, ["domain_error.io_mode", "de", "Eingabe-/Ausgabemodus (read oder write) erwartet, gefunden $."], [], -1, "domain_error.io_mode"))
add("strings", 3, Clause(0, ["domain_error.write_option", "de", "Schreiboption erwartet, gefunden $."], [], -1, "domain_error.write_option"))
add("strings", 3, Clause(0, ["domain_error.open_option", "de", "Öffnenoption erwartet, gefunden $."], [], -1, "domain_error.open_option"))
add("strings", 3, Clause(0, ["type_error.character_code", "de", "Unerlaubter Kodepunkt $, nicht zwischen 0 und 0x10FFFF."], [], -1, "type_error.character_code"))
add("strings", 3, Clause(0, ["existence_error.source_sink", "de", "Datei $ nicht gefunden."], [], -1, "existence_error.source_sink"))
add("strings", 3, Clause(0, ["existence_error.module", "de", "Modul $ nicht gefunden."], [], -1, "existence_error.module"))
add("strings", 3, Clause(0, ["permission_error.open.source_sink", "de", "Kann Datei $ nicht öffnen."], [], -1, "permission_error.open.source_sink"))
add("strings", 3, Clause(0, ["permission_error.modify.compound", "de", "Kann Verbund $ nicht ändern."], [], -1, "permission_error.modify.compound"))
add("strings", 3, Clause(0, ["resource_error.socket_timeout", "de", "Ein-/Ausgabeauszeit."], [], -1, "resource_error.socket_timeout"))
add("strings", 3, Clause(0, ["resource_error.port_error", "de", "Fehler bei Verwendung eines Port."], [], -1, "resource_error.port_error"))
add("strings", 3, Clause(0, ["resource_error.remote_error", "de", "Fehler von Entfernt erhalten."], [], -1, "resource_error.remote_error"))
add("strings", 3, Clause(0, ["resource_error.io_exception", "de", "Datei nicht erstellt oder nicht zugreifbar."], [], -1, "resource_error.io_exception"))
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.stack_overflow", "de", "Ausführung wegen Stapelüberlauf abgebrochen."], [], -1, "system_error.stack_overflow"))
add("strings", 3, Clause(0, ["system_error.out_of_memory", "de", "Ausführung wegen aufgebrauchtem Speicherplatz abgebrochen."], [], -1, "system_error.out_of_memory"))
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.user_exit", "de", "System auf Benutzerwunsch beendet."], [], -1, "system_error.user_exit"))
add("strings", 3, Clause(0, ["syntax_error.directive_failed", "de", "Direktive fehlgeschlagen."], [], -1, "syntax_error.directive_failed"))
add("strings", 3, Clause(0, ["instantiation_error", "", "Argument should not be a variable."], [], -1, "instantiation_error"))
add("strings", 3, Clause(0, ["domain_error.read_option", "", "Read option expected, found $."], [], -1, "domain_error.read_option"))
add("strings", 3, Clause(0, ["domain_error.io_mode", "", "Input/output mode (read or write) expected, found $."], [], -1, "domain_error.io_mode"))
add("strings", 3, Clause(0, ["domain_error.write_option", "", "Write option expected, found $."], [], -1, "domain_error.write_option"))
add("strings", 3, Clause(0, ["domain_error.open_option", "", "Open option expected, found $."], [], -1, "domain_error.open_option"))
add("strings", 3, Clause(0, ["type_error.character_code", "", "Illegal code point $, not between 0 and 0x10FFFF."], [], -1, "type_error.character_code"))
add("strings", 3, Clause(0, ["existence_error.source_sink", "", "File $ not found."], [], -1, "existence_error.source_sink"))
add("strings", 3, Clause(0, ["existence_error.module", "", "Module $ not found."], [], -1, "existence_error.module"))
add("strings", 3, Clause(0, ["permission_error.open.source_sink", "", "Cannot open file $."], [], -1, "permission_error.open.source_sink"))
add("strings", 3, Clause(0, ["permission_error.modify.compound", "", "Cannot modify compound $."], [], -1, "permission_error.modify.compound"))
add("strings", 3, Clause(0, ["resource_error.socket_timeout", "", "Input/output timeout."], [], -1, "resource_error.socket_timeout"))
add("strings", 3, Clause(0, ["resource_error.port_error", "", "Error using a port."], [], -1, "resource_error.port_error"))
add("strings", 3, Clause(0, ["resource_error.remote_error", "", "Got error from remote."], [], -1, "resource_error.remote_error"))
add("strings", 3, Clause(0, ["resource_error.io_exception", "", "File not created or not accessible."], [], -1, "resource_error.io_exception"))
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.stack_overflow", "", "Execution aborted because of stack overflow."], [], -1, "system_error.stack_overflow"))
add("strings", 3, Clause(0, ["system_error.out_of_memory", "", "Execution aborted because out of memory."], [], -1, "system_error.out_of_memory"))
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.user_exit", "", "System ended on user request."], [], -1, "system_error.user_exit"))
add("strings", 3, Clause(0, ["syntax_error.directive_failed", "", "Directive failed."], [], -1, "syntax_error.directive_failed"))
add("dynamic", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("dynamic", 1, Clause(3, [Skeleton("/", [Place(1), Place(2)])], [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(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("asserta", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("asserta", 1, Clause(6, [Skeleton(":-", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(1), Place(2)]), Place(3), 0]), Skeleton(Cache("functor"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("ir_clause_add"), [Place(4), Place(5), Place(3), 1])], 0, ":-"))
add("asserta", 1, Clause(4, [Place(0)], [Skeleton(Cache("sys_frost_horn"), [Place(0), Place(1), 0]), Skeleton(Cache("functor"), [Place(0), Place(2), Place(3)]), Skeleton(Cache("ir_clause_add"), [Place(2), Place(3), Place(1), 1])], -1, NotImplemented))
add("assertz", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("assertz", 1, Clause(6, [Skeleton(":-", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(1), Place(2)]), Place(3), 0]), Skeleton(Cache("functor"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("ir_clause_add"), [Place(4), Place(5), Place(3), 3])], 0, ":-"))
add("assertz", 1, Clause(4, [Place(0)], [Skeleton(Cache("sys_frost_horn"), [Place(0), Place(1), 0]), Skeleton(Cache("functor"), [Place(0), Place(2), Place(3)]), Skeleton(Cache("ir_clause_add"), [Place(2), Place(3), Place(1), 3])], -1, NotImplemented))
add("clause", 2, Clause(6, [Place(0), Place(1)], [Skeleton(Cache("kb_clause_ref"), [Place(0), 2, Place(2)]), Skeleton(Cache("kb_clause_data"), [Place(2), Place(0), Place(3), Place(4)]), Skeleton(Cache("sys_untrans_body"), [Place(4), Place(3), Place(5)]), Skeleton(Cache("="), [Place(5), Place(1)])], -1, NotImplemented))
add("retract", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("retract", 1, Clause(9, [Skeleton(":-", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(1), Place(3), Place(4)]), Skeleton(Cache("kb_clause_ref"), [Place(1), 3, Place(5)]), Skeleton(Cache("kb_clause_data"), [Place(5), Place(1), Place(6), Place(7)]), Skeleton(Cache("sys_untrans_body"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("="), [Place(8), Place(2)]), Skeleton(Cache("kb_clause_remove"), [Place(3), Place(4), 0, Place(5)])], 0, ":-"))
add("retract", 1, Clause(7, [Place(0)], [Skeleton(Cache("functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("kb_clause_ref"), [Place(0), 3, Place(3)]), Skeleton(Cache("kb_clause_data"), [Place(3), Place(0), Place(4), Place(5)]), Skeleton(Cache("sys_untrans_body"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("="), [Place(6), "true"]), Skeleton(Cache("kb_clause_remove"), [Place(1), Place(2), 0, Place(3)])], -1, NotImplemented))
add("retractall", 1, Clause(4, [Place(0)], [Skeleton(Cache("functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("kb_clause_ref"), [Place(0), 7, Place(3)]), 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, [NotImplemented], [], -1, NotImplemented))
add("abolish", 1, Clause(1, [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1, NotImplemented))
add("abolish", 1, Clause(3, [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_abolish"), [Place(1), Place(2)])], 0, "/"))
add("abolish", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_abolish", 2, Clause(4, [Place(0), Place(1)], [Skeleton(Cache("kb_pred_link"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("kb_link_flags"), [Place(2), Place(3)]), Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(3), 1]), 0]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["modify", "static_procedure", Skeleton("/", [Place(0), Place(1)])]), NotImplemented])])], -1, NotImplemented))
add("sys_abolish", 2, Clause(2, [Place(0), Place(1)], [Skeleton(Cache("retractall"), [Skeleton("sys_predprop", [Place(0), Place(1), NotImplemented])]), Skeleton(Cache("kb_pred_destroy"), [Place(0), Place(1)])], -1, NotImplemented))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_predprop", 3, 1])], -1))
add("current_predicate", 1, Clause(4, [Skeleton("/", [Place(1), Place(2)])], [Skeleton(make_defined([Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)])], -1, NotImplemented), Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("var"), [Place(0)])], -1, NotImplemented)]), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("kb_pred_list"), [Place(3)]), Skeleton(Cache("member"), [Skeleton("/", [Place(1), Place(2)]), Place(3)])], 0, "/"))
add("current_predicate", 1, Clause(3, [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("kb_pred_link"), [Place(1), Place(2), NotImplemented])], 0, "/"))
add("current_predicate", 1, Clause(1, [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("predicate_property", 2, Clause(4, [Skeleton("/", [Place(1), Place(2)]), Place(3)], [Skeleton(make_defined([Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)])], -1, NotImplemented), Clause(1, [NotImplemented, Place(0)], [Skeleton(Cache("var"), [Place(0)])], -1, NotImplemented)]), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_predicate"), [Skeleton("/", [Place(1), Place(2)])]), Skeleton(Cache("sys_predprop_get"), [Place(1), Place(2), Place(3)])], 0, "/"))
add("predicate_property", 2, Clause(4, [Skeleton("/", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_predprop_get"), [Place(1), Place(2), Place(3)])], 0, "/"))
add("predicate_property", 2, Clause(1, [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1, NotImplemented))
add("sys_predprop_pattern", 2, Clause(3, [Skeleton("/", [Place(0), Place(1)]), Place(2)], [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(6, [Place(0), Place(1), Place(2)], [Skeleton(Cache("kb_pred_link"), [Place(0), Place(1), Place(3)]), Skeleton(Cache("kb_link_flags"), [Place(3), Place(4)]), Skeleton(Cache("sys_predprop_flag"), [Place(4), Place(5)]), Skeleton(Cache("="), [Place(2), Place(5)])], -1, NotImplemented))
add("sys_predprop_get", 3, Clause(3, [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), Place(2)])], -1, NotImplemented))
add("sys_predprop_flag", 2, Clause(1, [0, "static"], [Skeleton(Cache("$CUT"), [Place(0)])], 0, 0))
add("sys_predprop_flag", 2, Clause(1, [1, "dynamic"], [Skeleton(Cache("$CUT"), [Place(0)])], 0, 1))
add("sys_predprop_flag", 2, Clause(0, [NotImplemented, "built_in"], [], -1, NotImplemented))
run(Goal(0, [make_frozen(Cache("kb_pred_touch"), ["sys_including", 3, 1])], -1))
run(Goal(1, [Skeleton(Cache("sys_get_locale"), [Place(0)]), Skeleton(Cache("set_prolog_flag"), ["sys_locale", Place(0)])], -1))
run(Goal(1, [Skeleton(Cache("sys_get_args"), [Place(0)]), Skeleton(Cache("set_prolog_flag"), ["argv", Place(0)])], -1))
run(Goal(0, [make_frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_multifile_safe"), ["term_expansion", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_frost_horn", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_horn", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_body", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_cut", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_disj", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_alternative", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_trans_mark", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_encode_horn", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_encode_alternatives", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_body", 6])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_goal", 7])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_invoke", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_args", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_expr", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_list", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_term", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_const_functor", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_const_only", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_arrow_paras", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_ast_var", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_current_dcg", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_set_dcg", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_idx_value", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_idx_value_arg", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_idx_value_term", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_body", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_goal", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_alternatives", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_args", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_expr", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_list", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_decode_term", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_arrow_clause", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_body", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_rest", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_goal", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_alternatives", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_more", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_alternative", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_split", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_untrans_ambiguity", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_eq_intersection", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_check_callable", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["true", 0])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["!", 0])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), [",", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), [";", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["->", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_make", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_instrs", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_instr", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_current_max", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_set_max", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_const", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_args", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_host_alternatives", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["get_code", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["peek_code", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_read_buffer", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sleep", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_emulated", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["set_prolog_flag", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_set", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["current_prolog_flag", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_get", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_decode", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["time", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_time_set", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_time_show", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sub_atom", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["last_sub_atom", 5])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["findall", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_find_init", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_find_next", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_find_fini", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_source", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_srcprop", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["current_source", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["source_property", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["discontiguous", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["multifile", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_multifile_safe", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["include", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_include_file", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_include_native", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), [".", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["ensure_loaded", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_check_file", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_action_file", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_lastpred", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_load_file", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_loading_begin", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_loading_end", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_update_last", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_style_static", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_style_head", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_style_indicator", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_usage_predicate", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_include_stream", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_include_lines", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_next_term", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_expand_include", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_handle_static", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_pred_type", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_pred_multi", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["\\=", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["\\+", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["once", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["repeat", 0])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["catch", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_error_handler", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_chain_head", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["throw", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_fill_stack", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_fetch_stack", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["try_call_finally", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["ignore", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["chain", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_chain_error", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_chain_raise", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_chain_concat", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["once_cleanup", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["setup_once_cleanup", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_setup_once_cleanup", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_once_cleanup", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_check_atom", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_check_integer", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["call_later", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["call_later", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["call_with_time_limit", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_timeout_signal", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["create_task", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["create_task", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["member", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_member", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["select", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_select", 4])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["reverse", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_reverse", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["append", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["length", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_length", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_length", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["between", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_between", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["get_string", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["get_string", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_locale_ancestor", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_multiton_keys", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_multiton_check", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_singleton_keys", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_singleton_check", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_marked_at", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["expand_term", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["-->", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["term_expansion", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_phrase_expansion", 6])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_list_expansion", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["dynamic", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["asserta", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["assertz", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["clause", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["retract", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["retractall", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["abolish", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_abolish", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_predprop", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["current_predicate", 1])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["predicate_property", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_predprop_pattern", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_predprop_get", 3])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_predprop_flag", 2])], -1))
run(Goal(0, [make_frozen(Cache("sys_usage_predicate"), ["sys_including", 3])], -1))
