###
# 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, Frozen)
import nova.special as special
import nova.runtime as runtime
import nova.eval as eval
import math

add(Clause(1, "sys_trans_horn", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(5, "sys_trans_horn", [Skeleton(":-", [Place(1)]), Skeleton("tr_goal", [Place(2), Place(3)]), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(2), Place(4), Place(3), "[]"])], 0))
add(Clause(6, "sys_trans_horn", [Skeleton(":-", [Place(1), Place(2)]), Skeleton("tr_clause", [Place(3), Place(1), Place(4)]), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["callable", Place(1)]), Skeleton(Cache("sys_trans_body"), [Place(2), "nothing", Place(3), Place(5), Place(4), "[]"])], 0))
add(Clause(1, "sys_trans_horn", [Place(0), Skeleton("tr_clause", ["nothing", Place(0), "[]"]), NotImplemented], [Skeleton(Cache("must_be"), ["callable", Place(0)])], -1))
add(Clause(5, "sys_trans_body", [Place(1), Place(2), Place(2), NotImplemented, 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))
add(Clause(4, "sys_trans_body", ["true", Place(1), Place(1), NotImplemented, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(10, "sys_trans_body", [Skeleton(",", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(3), Place(8), Place(5), Place(6), Place(9)]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(8), Place(4), Place(5), Place(9), Place(7)])], 0))
add(Clause(5, "sys_trans_body", ["!", Place(1), Skeleton("just", [Place(2)]), NotImplemented, 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(Clause(9, "sys_trans_body", [Skeleton(";", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_disj"), [Skeleton(";", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(5), Place(8)]), Skeleton(Cache("="), [Place(6), Skeleton(".", [Skeleton("$ALT", [Place(8)]), Place(7)])])], 0))
add(Clause(9, "sys_trans_body", [Skeleton("->", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_disj"), [Skeleton("->", [Place(1), Place(2)]), 0, Place(3), Place(4), Place(5), Place(8)]), Skeleton(Cache("="), [Place(6), Skeleton(".", [Skeleton("$ALT", [Place(8)]), Place(7)])])], 0))
add(Clause(6, "sys_trans_body", [Skeleton("\\+", [Place(1)]), Place(2), Place(3), 1, Place(4), Place(5)], [Skeleton(Cache("sys_safe_meta"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Skeleton(";", [Skeleton("->", [Place(1), "fail"]), "true"]), Place(2), Place(3), 1, Place(4), Place(5)])], 0))
add(Clause(6, "sys_trans_body", [Skeleton("once", [Place(1)]), Place(2), Place(3), 1, Place(4), Place(5)], [Skeleton(Cache("sys_safe_meta"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Skeleton("->", [Place(1), "true"]), Place(2), Place(3), 1, Place(4), Place(5)])], 0))
add(Clause(4, "sys_trans_body", [Place(0), Place(1), Place(1), NotImplemented, Place(2), Place(3)], [Skeleton(Cache("must_be"), ["callable", Place(0)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [Place(0), Place(3)])])], -1))
add(Clause(1, "sys_trans_cut", ["nothing", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_trans_cut", [Skeleton("just", [Place(0)]), Place(0)], [], -1))
add(Clause(6, "sys_trans_disj", [Place(1), NotImplemented, Place(2), Place(3), Place(4), Skeleton(".", [Place(5), "[]"])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alter"), [Place(1), Place(2), Place(3), Place(5), Place(4), NotImplemented])], 0))
add(Clause(10, "sys_trans_disj", [Skeleton(";", [Place(1), Place(2)]), NotImplemented, Place(3), Place(4), Place(5), Skeleton(".", [Place(6), Place(7)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_alter"), [Place(1), Place(3), Place(8), Place(6), Place(5), Place(9)]), Skeleton(Cache("sys_trans_disj"), [Place(2), Place(9), Place(8), Place(4), Place(5), Place(7)])], 0))
add(Clause(2, "sys_trans_disj", ["fail", 1, Place(1), Place(1), NotImplemented, "[]"], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_trans_disj", [Place(0), NotImplemented, Place(1), Place(2), Place(3), Skeleton(".", [Place(4), "[]"])], [Skeleton(Cache("sys_trans_alter"), [Place(0), Place(1), Place(2), Place(4), Place(3), NotImplemented])], -1))
add(Clause(6, "sys_trans_alter", [Place(1), Place(2), Place(3), Skeleton("$SEQ", ["nothing", Place(4)]), Place(5), 0], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(2), Place(3), Place(5), Place(4), "[]"])], 0))
add(Clause(11, "sys_trans_alter", [Skeleton("->", [Place(1), Place(2)]), Place(3), Place(4), Skeleton("$SEQ", [Skeleton("just", [Place(5)]), Place(6)]), Place(7), 1], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(8), Place(7), Place(9), Skeleton(".", [Skeleton("$CUT", [Place(5)]), Place(10)])]), Skeleton(Cache("sys_trans_body"), [Place(2), Place(3), Place(4), Place(7), Place(10), "[]"]), Skeleton(Cache("sys_trans_mark"), [Place(8), Place(6), Place(9)])], 0))
add(Clause(5, "sys_trans_alter", [Place(0), Place(1), Place(2), Skeleton("$SEQ", ["nothing", Place(3)]), Place(4), 0], [Skeleton(Cache("sys_trans_body"), [Place(0), Place(1), Place(2), Place(4), Place(3), "[]"])], -1))
add(Clause(3, "sys_trans_mark", [Skeleton("just", [Place(1)]), Skeleton(".", [Skeleton("$MARK", [Place(1)]), Place(2)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_trans_mark", ["nothing", Place(0), Place(0)], [], -1))
add(Clause(2, "sys_safe_meta", [Place(1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(3, "sys_safe_meta", [Skeleton(",", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_meta"), [Place(1)]), Skeleton(Cache("sys_safe_meta"), [Place(2)])], 0))
add(Clause(3, "sys_safe_meta", [Skeleton(";", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_meta"), [Place(1)]), Skeleton(Cache("sys_safe_meta"), [Place(2)])], 0))
add(Clause(3, "sys_safe_meta", [Skeleton("->", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_meta"), [Place(1)]), Skeleton(Cache("sys_safe_meta"), [Place(2)])], 0))
add(Clause(1, "sys_safe_meta", [Place(0)], [Skeleton(Cache("callable"), [Place(0)])], -1))
add(Clause(0, "sys_untrans_body", ["[]", NotImplemented, NotImplemented, "true"], [], -1))
add(Clause(6, "sys_untrans_body", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_untrans_goal"), [Place(0), Place(2), Place(3), Place(5)]), Skeleton(Cache("sys_untrans_rest"), [Place(1), Place(5), Place(2), Place(3), Place(4)])], -1))
add(Clause(5, "sys_untrans_rest", [Place(1), Skeleton(";", [Skeleton("->", [Place(2), "fail"]), "true"]), Place(3), 1, Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_untrans_rest"), [Place(1), Skeleton("\\+", [Place(2)]), Place(3), 1, Place(4)])], 0))
add(Clause(5, "sys_untrans_rest", [Place(1), Skeleton("->", [Place(2), "true"]), Place(3), 1, Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_untrans_rest"), [Place(1), Skeleton("once", [Place(2)]), Place(3), 1, Place(4)])], 0))
add(Clause(1, "sys_untrans_rest", ["[]", Place(0), NotImplemented, NotImplemented, Place(0)], [], -1))
add(Clause(7, "sys_untrans_rest", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Place(4), Skeleton(",", [Place(2), Place(5)])], [Skeleton(Cache("sys_untrans_goal"), [Place(0), Place(3), Place(4), Place(6)]), Skeleton(Cache("sys_untrans_rest"), [Place(1), Place(6), Place(3), Place(4), Place(5)])], -1))
add(Clause(3, "sys_untrans_goal", [Skeleton("$CUT", [Place(1)]), Skeleton("just", [Place(2)]), NotImplemented, "!"], [Skeleton(Cache("=="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_untrans_goal", [Skeleton("$ALT", [Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_untrans_disj"), [Place(1), Place(2), Place(3), Place(4)])], 0))
add(Clause(1, "sys_untrans_goal", [Place(0), NotImplemented, NotImplemented, Place(0)], [], -1))
add(Clause(0, "sys_untrans_disj", ["[]", NotImplemented, NotImplemented, "fail"], [], -1))
add(Clause(5, "sys_untrans_disj", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_untrans_more"), [Place(1), Place(0), Place(2), Place(3), Place(4)])], -1))
add(Clause(5, "sys_untrans_more", ["[]", Skeleton("$SEQ", [Place(0), Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_untrans_alter"), [Place(0), Place(1), Place(2), Place(3), Place(4)])], -1))
add(Clause(8, "sys_untrans_more", [Skeleton(".", [Place(0), Place(1)]), Skeleton("$SEQ", [Place(2), Place(3)]), Place(4), Place(5), Skeleton(";", [Place(6), Place(7)])], [Skeleton(Cache("sys_untrans_alter"), [Place(2), Place(3), Place(4), Place(5), Place(6)]), Skeleton(Cache("sys_untrans_more"), [Place(1), Place(0), Place(4), Place(5), Place(7)])], -1))
add(Clause(5, "sys_untrans_alter", ["nothing", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_untrans_body"), [Place(0), Place(1), Place(2), Place(4)]), Skeleton(Cache("sys_untrans_ambiguity"), [Place(4), Place(3)])], -1))
add(Clause(10, "sys_untrans_alter", [Skeleton("just", [Place(0)]), Place(1), Place(2), Place(3), Skeleton("->", [Place(4), Place(5)])], [Skeleton(Cache("sys_untrans_split"), [Place(1), Place(0), Place(6), Place(7)]), Skeleton(Cache("sys_trans_mark"), [Place(8), Place(6), Place(9)]), Skeleton(Cache("sys_untrans_body"), [Place(9), Place(8), Place(3), Place(4)]), Skeleton(Cache("sys_untrans_body"), [Place(7), Place(2), Place(3), Place(5)])], -1))
add(Clause(4, "sys_untrans_split", [Skeleton(".", [Skeleton("$CUT", [Place(1)]), Place(2)]), Place(3), "[]", Place(2)], [Skeleton(Cache("=="), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_untrans_split", [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(Clause(3, "sys_untrans_ambiguity", [Skeleton("->", [Place(1), Place(2)]), Skeleton(";", [Skeleton("->", [Place(1), Place(2)]), "fail"])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_untrans_ambiguity", [Place(0), Place(0)], [], -1))
add(Clause(2, "sys_encode_horn", [Place(1), Place(1), 0], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_encode_horn", [Skeleton("tr_goal", [Place(0), Place(1)]), Skeleton("tr_goal", [Place(0), Place(2)]), NotImplemented], [Skeleton(Cache("sys_encode_body"), [Place(1), Place(2), Place(0)])], -1))
add(Clause(4, "sys_encode_horn", [Skeleton("tr_clause", [Place(0), Place(1), Place(2)]), Skeleton("tr_clause", [Place(0), Place(1), Place(3)]), NotImplemented], [Skeleton(Cache("sys_encode_body"), [Place(2), Place(3), Skeleton("-", [Place(0), Place(1)])])], -1))
add(Clause(0, "sys_meta_args", ["is", 2, Frozen(".", ["t", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["=:=", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["=\\=", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["<", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["=<", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", [">", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", [">=", 2, Frozen(".", ["e", Frozen(".", ["e", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["\\+", 1, Frozen(".", ["p", "[]"])], [], -1))
add(Clause(0, "sys_meta_args", ["once", 1, Frozen(".", ["p", "[]"])], [], -1))
add(Clause(0, "sys_meta_args", ["asserta", 1, Frozen(".", ["c", "[]"])], [], -1))
add(Clause(0, "sys_meta_args", ["assertz", 1, Frozen(".", ["c", "[]"])], [], -1))
add(Clause(0, "sys_meta_args", ["clause", 2, Frozen(".", ["p", Frozen(".", ["t", "[]"])])], [], -1))
add(Clause(0, "sys_meta_args", ["retract", 1, Frozen(".", ["c", "[]"])], [], -1))
add(Clause(0, "sys_meta_args", ["retractall", 1, Frozen(".", ["p", "[]"])], [], -1))
add(Clause(0, "sys_encode_body", ["[]", "[]", NotImplemented], [], -1))
add(Clause(5, "sys_encode_body", [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Place(4)], [Skeleton(Cache("sys_encode_goal"), [Place(0), Place(2), Skeleton("-", [Place(1), Place(4)])]), Skeleton(Cache("sys_encode_body"), [Place(1), Place(3), Skeleton(".", [Place(0), Place(4)])])], -1))
add(Clause(2, "sys_encode_goal", [Place(1), Place(1), NotImplemented], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(7, "sys_encode_goal", [Skeleton("$ALT", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("vars_intersection"), [Place(1), Place(3), Place(4)]), Skeleton(Cache("=.."), [Place(5), Skeleton(".", ["", Place(4)])]), Skeleton(Cache("sys_encode_disj"), [Place(1), Place(5), Place(6)]), Skeleton(Cache("sys_encode_link"), [Place(5), Place(2), Place(6)])], 0))
add(Clause(7, "sys_encode_goal", [Place(1), Place(2), Place(3)], [Skeleton(Cache("functor"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("sys_meta_args"), [Place(4), Place(5), Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_encode_meta"), [Place(6), Place(1), Place(2), Place(3)])], 0))
add(Clause(2, "sys_encode_goal", [Place(0), Place(1), NotImplemented], [Skeleton(Cache("ir_site_new"), [Place(0), Place(1)])], -1))
add(Clause(7, "sys_encode_disj", [Skeleton(".", [Skeleton("$SEQ", [Place(0), Place(1)]), Place(2)]), Place(3), Skeleton(".", [Place(4), Place(5)])], [Skeleton(Cache("sys_encode_horn"), [Skeleton("tr_clause", [Place(0), Place(3), Place(1)]), Place(6), 1]), Skeleton(Cache("sys_host_ossify"), [Place(6), Place(4)]), Skeleton(Cache("sys_encode_disj"), [Place(2), Place(3), Place(5)])], -1))
add(Clause(0, "sys_encode_disj", ["[]", NotImplemented, "[]"], [], -1))
add(Clause(5, "sys_encode_link", [Place(0), Place(1), Place(2)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [NotImplemented, Place(3)])]), Skeleton(Cache("ir_link_new"), [Place(2), Place(4)]), Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(4), Place(3)])])], -1))
add(Clause(8, "sys_encode_meta", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(4), Place(5)])]), Skeleton(Cache("sys_encode_params"), [Place(0), Place(5), Place(6), Place(3)]), Skeleton(Cache("=.."), [Place(7), Skeleton(".", [Place(4), Place(6)])]), Skeleton(Cache("ir_site_new"), [Place(7), Place(2)])], -1))
add(Clause(0, "sys_encode_params", ["[]", "[]", "[]", NotImplemented], [], -1))
add(Clause(7, "sys_encode_params", [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Skeleton(".", [Place(4), Place(5)]), Place(6)], [Skeleton(Cache("sys_encode_param"), [Place(0), Place(2), Place(4), Place(6)]), Skeleton(Cache("sys_encode_params"), [Place(1), Place(3), Place(5), Place(6)])], -1))
add(Clause(1, "sys_encode_param", ["t", Place(0), Place(0), NotImplemented], [], -1))
add(Clause(2, "sys_encode_param", ["e", Place(0), Place(1), NotImplemented], [Skeleton(Cache("sys_encode_expr"), [Place(0), Place(1)])], -1))
add(Clause(2, "sys_encode_param", ["c", Place(0), Place(1), NotImplemented], [Skeleton(Cache("sys_encode_clause"), [Place(0), Place(1)])], -1))
add(Clause(3, "sys_encode_param", ["p", Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_encode_goal"), [Place(0), Place(1), Place(2)])], -1))
add(Clause(7, "sys_encode_expr", [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_encode_args"), [Place(4), Place(5)]), Skeleton(Cache("=.."), [Place(6), Skeleton(".", [Place(3), Place(5)])]), Skeleton(Cache("ir_site_new"), [Place(6), Place(2)])], 0))
add(Clause(2, "sys_encode_expr", [Place(0), Place(1)], [Skeleton(Cache("ir_site_new"), [Place(0), Place(1)])], -1))
add(Clause(0, "sys_encode_args", ["[]", "[]"], [], -1))
add(Clause(4, "sys_encode_args", [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("sys_encode_expr"), [Place(0), Place(2)]), Skeleton(Cache("sys_encode_args"), [Place(1), Place(3)])], -1))
add(Clause(5, "sys_encode_clause", [Place(1), Skeleton(":-", [Place(2), Place(3)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(4), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_new"), [Place(4), Place(2)])], 0))
add(Clause(2, "sys_encode_clause", [Place(0), Place(1)], [Skeleton(Cache("ir_site_new"), [Place(0), Place(1)])], -1))
add(Clause(0, "sys_decode_body", ["[]", "[]"], [], -1))
add(Clause(4, "sys_decode_body", [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(Clause(2, "sys_decode_goal", [Place(1), Place(1)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "sys_decode_goal", [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))
add(Clause(5, "sys_decode_goal", [Place(1), Skeleton("$ALT", [Place(2)])], [Skeleton(Cache("ir_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_disj"), [Place(4), Place(1), Place(2)])], 0))
add(Clause(6, "sys_decode_goal", [Place(1), Place(2)], [Skeleton(Cache("functor"), [Place(1), Place(3), Place(4)]), Skeleton(Cache("sys_meta_args"), [Place(3), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_decode_meta"), [Place(5), Place(1), Place(2)])], 0))
add(Clause(1, "sys_decode_goal", [Place(0), Place(0)], [], -1))
add(Clause(0, "sys_decode_disj", ["[]", NotImplemented, "[]"], [], -1))
add(Clause(7, "sys_decode_disj", [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_disj"), [Place(1), Place(2), Place(5)])], -1))
add(Clause(6, "sys_decode_meta", [Place(0), Place(1), Place(2)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(3), Place(4)])]), Skeleton(Cache("sys_decode_params"), [Place(0), Place(4), Place(5)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Place(5)])])], -1))
add(Clause(0, "sys_decode_params", ["[]", "[]", "[]"], [], -1))
add(Clause(6, "sys_decode_params", [Skeleton(".", [Place(0), Place(1)]), Skeleton(".", [Place(2), Place(3)]), Skeleton(".", [Place(4), Place(5)])], [Skeleton(Cache("sys_decode_param"), [Place(0), Place(2), Place(4)]), Skeleton(Cache("sys_decode_params"), [Place(1), Place(3), Place(5)])], -1))
add(Clause(1, "sys_decode_param", ["t", Place(0), Place(0)], [], -1))
add(Clause(2, "sys_decode_param", ["e", Place(0), Place(1)], [Skeleton(Cache("sys_decode_expr"), [Place(0), Place(1)])], -1))
add(Clause(2, "sys_decode_param", ["c", Place(0), Place(1)], [Skeleton(Cache("sys_decode_clause"), [Place(0), Place(1)])], -1))
add(Clause(2, "sys_decode_param", ["p", Place(0), Place(1)], [Skeleton(Cache("sys_decode_goal"), [Place(0), Place(1)])], -1))
add(Clause(7, "sys_decode_expr", [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(6), Skeleton(".", [Place(3), Place(5)])]), Skeleton(Cache("ir_site_name"), [Place(6), Place(2)])], 0))
add(Clause(2, "sys_decode_expr", [Place(0), Place(1)], [Skeleton(Cache("ir_site_name"), [Place(0), Place(1)])], -1))
add(Clause(0, "sys_decode_args", ["[]", "[]"], [], -1))
add(Clause(4, "sys_decode_args", [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(Clause(5, "sys_decode_clause", [Place(1), Skeleton(":-", [Place(2), Place(3)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(4), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(4), Place(2)])], 0))
add(Clause(2, "sys_decode_clause", [Place(0), Place(1)], [Skeleton(Cache("ir_site_name"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_source", 3, 1])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_srcprop", 2, 1])], -1))
add(Clause(1, "current_source", [Place(0)], [Skeleton(Cache("sys_source"), [Place(0), NotImplemented, NotImplemented])], -1))
add(Clause(2, "source_property", [Place(0), Place(1)], [Skeleton(Cache("sys_srcprop"), [Place(0), Place(1)])], -1))
add(Clause(4, "discontiguous", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("dg_get_partition"), [Place(3)]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_discontiguous", [Place(3)])])])], 0))
add(Clause(1, "discontiguous", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(3, "multifile", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("sys_multifile_safe"), [Place(1), Place(2)])], 0))
add(Clause(1, "multifile", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(3, "sys_multifile_safe", [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(make_defined([Clause(4, "", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_multifile", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented, NotImplemented, NotImplemented], [], -1)]), [Place(1), Place(2), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["promote", "multifile", Skeleton("/", [Place(1), Place(2)])]), NotImplemented])])], 0), Clause(0, "", [NotImplemented, NotImplemented, NotImplemented], [], -1)]), [Place(0), Place(1), Place(2)]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), Skeleton("sys_multifile", [Place(2)])])])], -1))
add(Clause(3, "include", [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))
add(Clause(2, "sys_include_file", ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_input"), [Place(1)]), Skeleton(Cache("sys_include_stream"), ["user", Place(1)])], 0))
add(Clause(5, "sys_include_file", [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))
add(Clause(2, "sys_include_file", [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))
add(Clause(4, "sys_include_native", [Place(1), Place(2)], [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))
add(Clause(2, "sys_include_native", [Place(0), Place(1)], [Skeleton(Cache("os_import_sync"), [Place(0), Place(1)])], -1))
add(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))
add(Clause(0, ".", [NotImplemented, NotImplemented], [], -1))
add(Clause(1, "ensure_loaded", [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(1, "ensure_loaded", ["user"], [Skeleton(Cache("$CUT"), [Place(0)]), Frozen(Cache("sys_include_file"), ["user"])], 0))
add(Clause(5, "ensure_loaded", [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), Clause(2, "", [Place(0), Place(1)], [Skeleton(Cache("assertz"), [Skeleton(Cache("sys_srcprop"), [Place(0), Skeleton("sys_link", [Place(1)])])])], -1)]), [Place(2), Place(4)]), Skeleton(Cache("sys_check_file"), [Place(4), Place(3)])], -1))
add(Clause(4, "sys_check_file", [Place(1), Place(2)], [Skeleton(Cache("shield"), [Skeleton("sys_action_file", [Place(1), Place(2), Place(3)])]), 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), 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), Clause(0, "", [NotImplemented, NotImplemented], [], -1)]), [Place(3), Place(1)])], 0))
add(Clause(1, "sys_check_file", [Place(0), NotImplemented], [Skeleton(Cache("sys_load_file"), [Place(0)])], -1))
add(Clause(6, "sys_action_file", [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), Clause(5, "", [NotImplemented, Place(0), Place(1), Place(2), Place(3)], [Skeleton(make_defined([Clause(3, "", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_prop_map"), [Place(2), Place(1)])], 0), Clause(0, "", [NotImplemented, NotImplemented], [], -1)]), [Place(1), Place(2)]), Skeleton(Cache("ir_object_current"), [Place(1), "last_modified", Place(4)]), Skeleton(make_defined([Clause(5, "", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), "replay"]), Skeleton(Cache("retractall"), [Skeleton(Cache("sys_source"), [Place(4), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_source"), [Place(4), Place(2), 1])])], 0), Clause(3, "", [Place(0), NotImplemented, Place(1), Place(2)], [Skeleton(Cache("="), [Place(1), "clear_load"]), Skeleton(Cache("retractall"), [Skeleton(Cache("sys_source"), [Place(2), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_source"), [Place(2), Place(0), 1])])], -1)]), [Place(4), Place(3), Place(0), Place(2)])], -1)]), [Place(5), Place(3), Place(2), Place(1), Place(4)])], 0))
add(Clause(3, "sys_action_file", [Place(0), Place(1), NotImplemented], [Skeleton(make_defined([Clause(3, "", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_prop_map"), [Place(2), Place(1)])], 0), Clause(0, "", [NotImplemented, NotImplemented], [], -1)]), [Place(1), Place(0)]), Skeleton(Cache("ir_object_current"), [Place(1), "last_modified", Place(2)]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_source"), [Place(0), Place(2), 1])]), Cache("fail")], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_lastpred", 3, 1])], -1))
add(Clause(3, "sys_load_file", [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))
add(Clause(6, "sys_loading_begin", [Place(1), Place(2), Skeleton("just", [Place(3), Place(4)])], [Skeleton(Cache("current_task"), [Place(5)]), Skeleton(Cache("retract"), [Skeleton(Cache("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))
add(Clause(2, "sys_loading_begin", [Place(0), Place(1), "nothing"], [Skeleton(Cache("dg_get_partition"), [Place(1)]), Skeleton(Cache("dg_set_partition"), [Place(0)])], -1))
add(Clause(4, "sys_loading_end", [Place(0), Skeleton("just", [Place(1), Place(2)])], [Skeleton(Cache("dg_get_partition"), [Place(3)]), Skeleton(Cache("retractall"), [Skeleton(Cache("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))
add(Clause(3, "sys_loading_end", [Place(0), "nothing"], [Skeleton(Cache("dg_get_partition"), [Place(1)]), Skeleton(Cache("retractall"), [Skeleton(Cache("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(Cache("sys_lastpred"), [Place(2), NotImplemented, NotImplemented])])], -1))
add(Clause(3, "sys_update_last", [Place(0), Place(1)], [Skeleton(Cache("current_task"), [Place(2)]), Skeleton(Cache("retractall"), [Skeleton(Cache("sys_lastpred"), [Place(2), NotImplemented, NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_lastpred"), [Place(2), Place(0), Place(1)])])], -1))
add(Clause(2, "sys_style_static", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [NotImplemented])]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_style_static", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(2), NotImplemented])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_style_head"), [Place(2)])], 0))
add(Clause(1, "sys_style_static", [Place(0)], [Skeleton(Cache("sys_style_head"), [Place(0)])], -1))
add(Clause(4, "sys_style_head", [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))
add(Clause(0, "sys_style_head", [NotImplemented], [], -1))
add(Clause(4, "sys_style_indicator", [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))
add(Clause(4, "sys_style_indicator", [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), 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)]), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_update_last"), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_style_indicator", [Place(0), Place(1)], [Skeleton(Cache("sys_usage_predicate"), [Place(0), Place(1)]), Skeleton(Cache("sys_update_last"), [Place(0), Place(1)])], -1))
add(Clause(3, "sys_usage_predicate", [Place(0), Place(1)], [Skeleton(Cache("dg_get_partition"), [Place(2)]), Skeleton(make_defined([Clause(5, "", [Place(1), Place(2), Place(3)], [Skeleton(make_defined([Clause(4, "", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_predprop"), [Place(1), Place(2), Skeleton("sys_multifile", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented, NotImplemented, NotImplemented], [], -1)]), [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("$CUT"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["redefine", "procedure", Skeleton("/", [Place(1), Place(2)])]), NotImplemented])])], 0), Clause(0, "", [NotImplemented, NotImplemented, NotImplemented], [], -1)]), [Place(0), Place(1), Place(2)]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), Skeleton("sys_usage", [Place(2)])])])], -1))
add(Clause(3, "sys_include_stream", [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))
add(Clause(3, "sys_include_lines", [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))
add(Clause(4, "sys_next_term", [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), Clause(5, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton("?-", [Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_expand_unattended"), [Place(3), Place(2), Place(4)]), Skeleton(Cache("sys_query_unattended"), [Place(4), Place(2)]), Cache("fail")], 0), Clause(6, "", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_multiton_keys"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_multiton_check"), [Place(3)]), Skeleton(Cache("sys_singleton_keys"), [Place(2), Place(4)]), Skeleton(Cache("sys_singleton_check"), [Place(4)]), Skeleton(Cache("expand_term"), [Place(0), Place(5)]), Skeleton(Cache("sys_handle_clump"), [Place(5)]), Cache("fail")], -1)]), [Place(1), Place(2), Place(3)])], -1))
add(Clause(4, "sys_handle_clump", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(".", [Place(2), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_handle_clump"), [Place(2)]), Skeleton(Cache("sys_handle_clump"), [Place(3)])], 0))
add(Clause(2, "sys_handle_clump", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), "[]"]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_handle_clump", [Place(0)], [Skeleton(Cache("sys_style_static"), [Place(0)]), Skeleton(Cache("sys_handle_static"), [Place(0)])], -1))
add(Clause(3, "sys_handle_static", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [NotImplemented])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_frost_horn"), [Place(1), 1, Place(2)]), Skeleton(make_defined([Clause(2, "", [Place(1)], [Skeleton(Cache("sys_goal_call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(0, "", [NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["directive_failed"]), NotImplemented])])], -1)]), [Place(2)])], 0))
add(Clause(7, "sys_handle_static", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(2), NotImplemented])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("functor"), [Place(2), Place(3), Place(4)]), Skeleton(Cache("sys_load_type"), [Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_frost_horn"), [Place(1), Place(5), Place(6)]), Skeleton(Cache("sys_clause_add"), [Place(6), 2])], 0))
add(Clause(5, "sys_handle_static", [Place(0)], [Skeleton(Cache("functor"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("sys_load_type"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("sys_frost_horn"), [Place(0), Place(3), Place(4)]), Skeleton(Cache("sys_clause_add"), [Place(4), 2])], -1))
add(Clause(5, "sys_load_type", [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))
add(Clause(0, "sys_load_type", [NotImplemented, NotImplemented, 1], [], -1))
add(Clause(0, "strings", ["syntax_error.discontiguous_pred", "de", "Unterbrochenes Prädikat ~q, entsprechend deklarieren."], [], -1))
add(Clause(0, "strings", ["syntax_error.bad_module", "de", "Fehlerhaftes Modul."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.static_procedure", "de", "Kann Prädikat ~q nicht aktualisieren."], [], -1))
add(Clause(0, "strings", ["permission_error.coerce.procedure", "de", "Kann Prädikat ~q nicht zu anderen Delegiertentyp zwingen."], [], -1))
add(Clause(0, "strings", ["permission_error.access.private_procedure", "de", "Kann auf Prädikat ~q nicht zugreifen."], [], -1))
add(Clause(0, "strings", ["permission_error.redefine.procedure", "de", "Kann Prädikat ~q nicht umdefinieren, nicht als Mehrdateien markiert."], [], -1))
add(Clause(0, "strings", ["permission_error.promote.multifile", "de", "Kann Funktion ~q nicht zu Mehrdateien heben."], [], -1))
add(Clause(0, "strings", ["permission_error.create.operator", "de", "Kann Operator ~q nicht erstellen."], [], -1))
add(Clause(0, "strings", ["permission_error.invoke.method", "de", "Kann Methode ~q nicht aufrufen."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.field", "de", "Kann Feld ~q nicht aktualisieren."], [], -1))
add(Clause(0, "strings", ["permission_error.access.source_sink", "de", "Kann auf Strom ~q nicht zugreifen."], [], -1))
add(Clause(0, "strings", ["resource_error.unknown_host", "de", "Dienst nicht gefunden, Verzeichnisdienst aktivieren."], [], -1))
add(Clause(0, "strings", ["resource_error.connect_failed", "de", "Verbindung zu Dienst fehlgeschlagen, Verbindungsfähigkeit sicherstellen."], [], -1))
add(Clause(0, "strings", ["resource_error.illegal_method", "de", "Methode nicht zugelassen."], [], -1))
add(Clause(0, "strings", ["resource_error.internal_error", "de", "Interner Fehler, Administrator kontaktieren."], [], -1))
add(Clause(0, "strings", ["resource_error.service_unavailable", "de", "Dienst nicht verfügbar, später wieder versuchen."], [], -1))
add(Clause(0, "strings", ["resource_error.state_error", "de", "Übergang nicht erlaubt."], [], -1))
add(Clause(0, "strings", ["existence_error.method", "de", "Methode ~q undefiniert."], [], -1))
add(Clause(0, "strings", ["existence_error.procedure", "de", "Prädikat ~q undefiniert."], [], -1))
add(Clause(0, "strings", ["syntax_error.discontiguous_pred", "", "Discontiguous predicate ~q, declare accordingly."], [], -1))
add(Clause(0, "strings", ["syntax_error.bad_module", "", "Faulty module."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.static_procedure", "", "Can\'t modify predicate ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.coerce.procedure", "", "Can\'t coerce predicate ~q into other delegate type."], [], -1))
add(Clause(0, "strings", ["permission_error.access.private_procedure", "", "Can\'t access predicate ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.redefine.procedure", "", "Can\'t redefine predicate ~q, not marked multfile."], [], -1))
add(Clause(0, "strings", ["permission_error.promote.multifile", "", "Can\'t promote predicate ~q to multi-file."], [], -1))
add(Clause(0, "strings", ["permission_error.create.operator", "", "Can\'t create operator ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.invoke.method", "", "Can\'t invoke method ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.field", "", "Can\'t modify field ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.access.source_sink", "", "Can\'t access stream ~q."], [], -1))
add(Clause(0, "strings", ["resource_error.unknown_host", "", "Service lookup failed, enable directory service."], [], -1))
add(Clause(0, "strings", ["resource_error.connect_failed", "", "Service connect failed, assure connectivity."], [], -1))
add(Clause(0, "strings", ["resource_error.illegal_method", "", "Method not allowed."], [], -1))
add(Clause(0, "strings", ["resource_error.internal_error", "", "Internal error, contact administrator."], [], -1))
add(Clause(0, "strings", ["resource_error.service_unavailable", "", "Service unavailable, try again later."], [], -1))
add(Clause(0, "strings", ["resource_error.state_error", "", "Transition not permitted."], [], -1))
add(Clause(0, "strings", ["existence_error.method", "", "Undefined method ~q."], [], -1))
add(Clause(0, "strings", ["existence_error.procedure", "", "Undefined predicate ~q."], [], -1))
add(Clause(0, "true", [], [], -1))
add(Clause(1, "!", [], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(6, ",", [Place(0), Place(1)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(2), 0, Place(3), Place(4)]), Skeleton(Cache("sys_trans_body"), [Place(1), Place(2), Place(5), 0, Place(4), "[]"]), Skeleton(Cache("$SEQ"), [Place(5), Place(3)])], -1))
add(Clause(7, ";", [Place(0), Place(1)], [Skeleton(Cache("sys_trans_alter"), [Place(0), "nothing", Place(2), Place(3), 0, Place(4)]), Skeleton(Cache("sys_trans_disj"), [Place(1), Place(4), Place(2), Place(5), 0, Place(6)]), Skeleton(Cache("$SEQ"), [Place(5), Skeleton(".", [Skeleton("$ALT", [Skeleton(".", [Place(3), Place(6)])]), "[]"])])], -1))
add(Clause(8, "->", [Place(0), Place(1)], [Skeleton(Cache("sys_trans_body"), [Place(0), "nothing", Place(2), 0, Place(3), Skeleton(".", [Skeleton("$CUT", [Place(4)]), Place(5)])]), Skeleton(Cache("sys_trans_body"), [Place(1), "nothing", Place(6), 0, 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))
add(Clause(3, "\\=", [Place(1), Place(2)], [Skeleton(Cache("="), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(0, "\\=", [NotImplemented, NotImplemented], [], -1))
add(Clause(2, "\\+", [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(0, "\\+", [NotImplemented], [], -1))
add(Clause(2, "once", [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "repeat", [], [], -1))
add(Clause(0, "repeat", [], [Cache("repeat")], -1))
add(Clause(4, "catch", [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))
add(Clause(1, "sys_error_handler", [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))
add(Clause(4, "sys_error_handler", [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))
add(Clause(1, "sys_error_handler", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("sys_raise"), [Place(0)])], -1))
add(Clause(3, "sys_chain_head", [Skeleton("cause", [Place(1), NotImplemented]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(1, "sys_chain_head", [Place(0), Place(0)], [], -1))
add(Clause(1, "throw", [Place(0)], [Skeleton(Cache("sys_fill_stack"), [Place(0)]), Skeleton(Cache("sys_raise"), [Place(0)])], -1))
add(Clause(1, "sys_fill_stack", [Place(0)], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(2, "sys_fill_stack", [Skeleton("error", [NotImplemented, Place(1)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_fetch_stack"), [Place(1)])], 0))
add(Clause(2, "sys_fill_stack", [Skeleton("warning", [NotImplemented, Place(1)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_fetch_stack"), [Place(1)])], 0))
add(Clause(0, "sys_fill_stack", [NotImplemented], [], -1))
add(Clause(4, "sys_fetch_stack", [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))
add(Clause(7, "try_call_finally", [Place(1), Place(2), Place(3)], [Skeleton(make_defined([Clause(1, "", [Place(0), NotImplemented], [Skeleton(Cache("call"), [Place(0)])], -1), Clause(1, "", [NotImplemented, Place(0)], [Skeleton(Cache("call"), [Place(0)]), Cache("fail")], -1)]), [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), Clause(1, "", [NotImplemented, NotImplemented, NotImplemented, Place(0), NotImplemented], [Skeleton(Cache("call"), [Place(0)])], -1), Clause(1, "", [NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(0)], [Skeleton(Cache("call"), [Place(0)]), Cache("fail")], -1)]), [Place(4), Place(6), Place(0), Place(3), Place(1)])], 0))
add(Clause(2, "ignore", [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "ignore", [NotImplemented], [], -1))
add(Clause(3, "chain", [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))
add(Clause(3, "sys_chain_error", [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))
add(Clause(1, "sys_chain_error", [Place(0), NotImplemented], [Skeleton(Cache("sys_raise"), [Place(0)])], -1))
add(Clause(3, "sys_chain_raise", [Place(0), Place(1)], [Skeleton(Cache("sys_chain_concat"), [Place(0), Place(1), Place(2)]), Skeleton(Cache("sys_raise"), [Place(2)])], -1))
add(Clause(5, "sys_chain_concat", [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))
add(Clause(2, "sys_chain_concat", [Place(0), Place(1), Skeleton("cause", [Place(0), Place(1)])], [], -1))
add(Clause(3, "once_cleanup", [Place(1), Place(2)], [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))
add(Clause(2, "once_cleanup", [Place(0), Place(1)], [Skeleton(Cache("sys_once_cleanup"), [Place(0), Place(1)])], -1))
add(Clause(4, "setup_once_cleanup", [Place(1), Place(2), Place(3)], [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))
add(Clause(3, "setup_once_cleanup", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_setup_once_cleanup"), [Place(0), Place(1), Place(2)])], -1))
add(Clause(3, "sys_setup_once_cleanup", [Place(0), Place(1), Place(2)], [Skeleton(Cache("call"), [Place(0)]), Skeleton(Cache("sys_once_cleanup"), [Place(1), Place(2)])], -1))
add(Clause(3, "sys_once_cleanup", [Place(1), Place(2)], [Skeleton(Cache("chain"), [Place(1), Skeleton("ignore", [Place(2)])]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_once_cleanup", [NotImplemented, Place(0)], [Skeleton(Cache("ignore"), [Place(0)]), Cache("fail")], -1))
add(Clause(2, "sleep", [Place(0)], [Skeleton(Cache("os_sleep_promise"), [Place(0), Place(1)]), Skeleton(Cache("$YIELD"), [Place(1)])], -1))
add(Clause(3, "call_later", [Place(0), Place(1)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), 0, Place(2)]), Skeleton(Cache("os_call_later"), [Place(2), Place(1), NotImplemented])], -1))
add(Clause(4, "call_later", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), 0, Place(3)]), Skeleton(Cache("os_call_later"), [Place(3), Place(1), Place(2)])], -1))
add(Clause(5, "call_with_time_limit", [Place(1), Place(2)], [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))
add(Clause(0, "call_with_time_limit", [NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("system_error", ["illegal_yield"]), NotImplemented])])], -1))
add(Clause(1, "sys_timeout_signal", [Place(0)], [Skeleton(Cache("task_abort"), [Place(0), Frozen("system_error", ["timelimit_exceeded"])])], -1))
add(Clause(2, "create_task", [Place(0)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), 0, Place(1)]), Skeleton(Cache("os_task_create"), [Place(1), NotImplemented])], -1))
add(Clause(3, "create_task", [Place(0), Place(1)], [Skeleton(Cache("sys_frost_horn"), [Skeleton(":-", [Place(0)]), 0, Place(2)]), Skeleton(Cache("os_task_create"), [Place(2), Place(1)])], -1))
add(Clause(5, "sys_frost_horn", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_trans_horn"), [Place(0), Place(3), Place(1)]), Skeleton(Cache("sys_encode_horn"), [Place(3), Place(4), Place(1)]), Skeleton(Cache("sys_host_ossify"), [Place(4), Place(2)])], -1))
add(Clause(6, "sys_host_ossify", [Skeleton("tr_clause", [Place(0), Place(1), Place(2)]), Place(3)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(4), Place(5)])]), Skeleton(Cache("sys_clause_ossify"), [Place(5), Place(2), Place(0), Place(4), Place(3)])], -1))
add(Clause(3, "sys_host_ossify", [Skeleton("tr_goal", [Place(0), Place(1)]), Place(2)], [Skeleton(Cache("sys_goal_ossify"), [Place(1), Place(0), Place(2)])], -1))
add(Clause(3, "member", [Place(0), Skeleton(".", [Place(1), Place(2)])], [Skeleton(Cache("sys_member"), [Place(2), Place(1), Place(0)])], -1))
add(Clause(1, "sys_member", [NotImplemented, Place(0), Place(0)], [], -1))
add(Clause(3, "sys_member", [Skeleton(".", [Place(0), Place(1)]), NotImplemented, Place(2)], [Skeleton(Cache("sys_member"), [Place(1), Place(0), Place(2)])], -1))
add(Clause(4, "select", [Place(0), Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("sys_select"), [Place(2), Place(1), Place(0), Place(3)])], -1))
add(Clause(2, "sys_select", [Place(0), Place(1), Place(1), Place(0)], [], -1))
add(Clause(5, "sys_select", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Skeleton(".", [Place(2), Place(4)])], [Skeleton(Cache("sys_select"), [Place(1), Place(0), Place(3), Place(4)])], -1))
add(Clause(2, "reverse", [Place(0), Place(1)], [Skeleton(Cache("sys_reverse"), [Place(0), "[]", Place(1)])], -1))
add(Clause(1, "sys_reverse", ["[]", Place(0), Place(0)], [], -1))
add(Clause(4, "sys_reverse", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_reverse"), [Place(1), Skeleton(".", [Place(0), Place(2)]), Place(3)])], -1))
add(Clause(1, "append", ["[]", Place(0), Place(0)], [], -1))
add(Clause(4, "append", [Skeleton(".", [Place(0), Place(1)]), Place(2), Skeleton(".", [Place(0), Place(3)])], [Skeleton(Cache("append"), [Place(1), Place(2), Place(3)])], -1))
add(Clause(3, "length", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_length"), [Place(1), 0, Place(2)])], 0))
add(Clause(2, "length", [Place(0), Place(1)], [Skeleton(Cache("must_be"), ["integer", Place(1)]), Skeleton(Cache(">="), [Place(1), 0]), Skeleton(Cache("sys_length"), [Place(1), Place(0)])], -1))
add(Clause(1, "sys_length", ["[]", Place(0), Place(0)], [], -1))
add(Clause(4, "sys_length", [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(Clause(2, "sys_length", [0, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "[]"])], 0))
add(Clause(3, "sys_length", [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))
add(Clause(4, "between", [Place(1), Place(2), Place(3)], [Skeleton(Cache("var"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["integer", Place(1)]), Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("=<"), [Place(1), Place(2)]), Skeleton(Cache("sys_between"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(3, "between", [Place(0), Place(1), Place(2)], [Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("must_be"), ["integer", Place(0)]), Skeleton(Cache("must_be"), ["integer", Place(1)]), Skeleton(Cache("=<"), [Place(0), Place(2)]), Skeleton(Cache("=<"), [Place(2), Place(1)])], -1))
add(Clause(3, "sys_between", [Place(1), Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(1, "sys_between", [Place(0), NotImplemented, Place(0)], [], -1))
add(Clause(4, "sys_between", [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))
add(Clause(4, "findall", [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), Clause(0, "", [NotImplemented, NotImplemented, NotImplemented], [], -1)]), [Place(1), Place(0), Place(3)]), Skeleton(Cache("sys_find_fini"), [Place(3), Place(2)])], -1))
add(Clause(2, "sys_find_init", [Place(0)], [Skeleton(Cache("=.."), [Place(1), Frozen(".", [".", Frozen(".", ["-", Frozen(".", ["[]", "[]"])])])]), Skeleton(Cache("="), [Place(0), Skeleton("v", [Place(1), Place(1)])])], -1))
add(Clause(4, "sys_find_next", [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))
add(Clause(1, "sys_find_fini", [Skeleton("v", [NotImplemented, Skeleton(".", [NotImplemented, Place(0)])]), Place(0)], [], -1))
add(Clause(4, "get_message", [Place(0), Place(1), Place(2)], [Skeleton(Cache("current_prolog_flag"), ["sys_locale", Place(3)]), Skeleton(Cache("get_message"), [Place(0), Place(3), Place(1), Place(2)])], -1))
add(Clause(6, "get_message", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(5), Place(4)])]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("sys_get_string"), [Place(5), Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(8, "get_message", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(5), Skeleton(".", [Place(6), Place(4)])])]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("atom"), [Place(6)]), Skeleton(Cache("atom_join"), [Skeleton(".", [Place(5), Skeleton(".", [".", Skeleton(".", [Place(6), "[]"])])]), Place(7)]), Skeleton(Cache("sys_get_string"), [Place(7), Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(9, "get_message", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("=.."), [Place(1), Skeleton(".", [Place(5), Skeleton(".", [Place(6), Skeleton(".", [Place(7), Place(4)])])])]), Skeleton(Cache("atom"), [Place(5)]), Skeleton(Cache("atom"), [Place(6)]), Skeleton(Cache("atom"), [Place(7)]), Skeleton(Cache("atom_join"), [Skeleton(".", [Place(5), Skeleton(".", [".", Skeleton(".", [Place(6), Skeleton(".", [".", Skeleton(".", [Place(7), "[]"])])])])]), Place(8)]), Skeleton(Cache("sys_get_string"), [Place(8), Place(2), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_get_string", [Place(0), Place(1)], [Skeleton(Cache("current_prolog_flag"), ["sys_locale", Place(2)]), Skeleton(Cache("sys_get_string"), [Place(0), Place(2), Place(1)])], -1))
add(Clause(6, "sys_get_string", [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))
add(Clause(1, "sys_locale_ancestor", [Place(0), Place(0)], [], -1))
add(Clause(3, "sys_locale_ancestor", [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))
add(Clause(1, "sys_locale_ancestor", [Place(0), ""], [Skeleton(Cache("\\=="), [Place(0), ""])], -1))
add(Clause(5, "sys_multiton_keys", [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3), Place(4)], [Skeleton(make_defined([Clause(2, "", [Place(1)], [Skeleton(Cache("sys_marked_at"), [Place(1), 0, Frozen(".", [23, "[]"])]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented], [], -1)]), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_multiton_keys"), [Place(2), Place(3), Place(4)])], 0))
add(Clause(5, "sys_multiton_keys", [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3), Place(4)], [Skeleton(make_defined([Clause(2, "", [Place(1)], [Skeleton(Cache("sys_marked_at"), [Place(1), 1, Frozen(".", [1, Frozen(".", [3, Frozen(".", [23, "[]"])])])]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented], [], -1)]), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_multiton_keys"), [Place(2), Place(3), Place(4)])], 0))
add(Clause(5, "sys_multiton_keys", [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(Clause(4, "sys_multiton_keys", [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(Clause(0, "sys_multiton_keys", ["[]", NotImplemented, "[]"], [], -1))
add(Clause(3, "sys_multiton_check", [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(Clause(0, "sys_multiton_check", ["[]"], [], -1))
add(Clause(4, "sys_singleton_keys", [Skeleton(".", [Skeleton("=", [Place(1), NotImplemented]), Place(2)]), Place(3)], [Skeleton(Cache("sys_marked_at"), [Place(1), 0, Frozen(".", [23, "[]"])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_singleton_keys"), [Place(2), Place(3)])], 0))
add(Clause(3, "sys_singleton_keys", [Skeleton(".", [Skeleton("=", [Place(0), NotImplemented]), Place(1)]), Skeleton(".", [Place(0), Place(2)])], [Skeleton(Cache("sys_singleton_keys"), [Place(1), Place(2)])], -1))
add(Clause(0, "sys_singleton_keys", ["[]", "[]"], [], -1))
add(Clause(3, "sys_singleton_check", [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(Clause(0, "sys_singleton_check", ["[]"], [], -1))
add(Clause(7, "sys_marked_at", [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))
add(Clause(6, "expand_term", [Place(1), Skeleton(".", [Place(2), Place(3)])], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(".", [Place(4), Place(5)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("expand_term"), [Place(4), Place(2)]), Skeleton(Cache("expand_term"), [Place(5), Place(3)])], 0))
add(Clause(2, "expand_term", [Place(1), "[]"], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), "[]"]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "expand_term", [Place(1), Place(2)], [Skeleton(Cache("term_expansion"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("expand_term"), [Place(3), Place(2)])], 0))
add(Clause(1, "expand_term", [Place(0), Place(0)], [], -1))
add(Clause(1, "phrase", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "phrase", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_phrase_expansion"), [Place(0), 0, 0, Place(1), Place(2), Place(3)]), Skeleton(Cache("call"), [Place(3)])], -1))
add(Clause(4, "term_expansion", [Place(0), Place(1)], [Skeleton(Cache("nonvar"), [Place(0)]), Skeleton(Cache("="), [Place(0), Skeleton("-->", [Place(2), Place(3)])]), Skeleton(Cache("sys_dcg_expansion"), [Place(2), Place(3), Place(1)])], -1))
add(Clause(10, "sys_dcg_expansion", [Place(0), Place(1), Skeleton(":-", [Place(2), Skeleton(",", [Place(3), Place(4)])])], [Skeleton(Cache("nonvar"), [Place(0)]), Skeleton(Cache("="), [Place(0), Skeleton(",", [Place(5), Place(6)])]), Skeleton(Cache("sys_phrase_expansion"), [Place(5), 0, 0, Place(7), Place(8), Place(2)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 1, 0, Place(7), Place(9), Place(3)]), Skeleton(Cache("sys_phrase_expansion"), [Place(6), 0, 0, Place(8), Place(9), Place(4)])], -1))
add(Clause(6, "sys_dcg_expansion", [Place(0), Place(1), Skeleton(":-", [Place(2), Place(3)])], [Skeleton(Cache("sys_phrase_expansion"), [Place(0), 0, 0, Place(4), Place(5), Place(2)]), Skeleton(Cache("sys_phrase_expansion"), [Place(1), 1, 0, Place(4), Place(5), Place(3)])], -1))
add(Clause(4, "sys_phrase_expansion", [Place(1), NotImplemented, NotImplemented, Place(2), Place(3), Skeleton("phrase", [Place(1), Place(2), Place(3)])], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(10, "sys_phrase_expansion", [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(Clause(7, "sys_phrase_expansion", [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(Clause(10, "sys_phrase_expansion", [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(Clause(3, "sys_phrase_expansion", ["[]", 0, NotImplemented, Place(1), Place(2), Skeleton("=", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_phrase_expansion", ["[]", 1, NotImplemented, Place(1), Place(2), "true"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(6, "sys_phrase_expansion", [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(Clause(6, "sys_phrase_expansion", [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(Clause(3, "sys_phrase_expansion", ["!", NotImplemented, 0, Place(1), Place(2), Skeleton(",", ["!", Skeleton("=", [Place(1), Place(2)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_phrase_expansion", ["!", NotImplemented, 1, Place(1), Place(2), "!"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(4, "sys_phrase_expansion", [Skeleton("{}", [Place(1)]), NotImplemented, 0, Place(2), Place(3), Skeleton(",", [Place(1), Skeleton("=", [Place(2), Place(3)])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "sys_phrase_expansion", [Skeleton("{}", [Place(1)]), NotImplemented, 1, Place(2), Place(3), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(5, "sys_phrase_expansion", [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(Clause(5, "sys_phrase_expansion", [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(Clause(8, "sys_phrase_expansion", [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))
add(Clause(1, "sys_phrase_expansion", [Place(0), NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["callable", Place(0)]), NotImplemented])])], -1))
add(Clause(1, "sys_list_expansion", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(2, "sys_list_expansion", ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_list_expansion", [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(Clause(1, "sys_list_expansion", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
add(Clause(8, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(8, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(8, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(7, "sub_atom", [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))
add(Clause(6, "sub_atom", [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))
add(Clause(10, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(9, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(9, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(7, "last_sub_atom", [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))
add(Clause(6, "last_sub_atom", [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))
add(Clause(0, "strings", ["instantiation_error", "de", "Argument sollte keine Variable sein."], [], -1))
add(Clause(0, "strings", ["domain_error.read_option", "de", "Leseoption erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.io_mode", "de", "Eingabe-/Ausgabemodus (read oder write) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.write_option", "de", "Schreiboption erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.open_option", "de", "Öffnenoption erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.boolean", "de", "Boolean (true oder false) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.file_property", "de", "Dateieigenschaft erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.radix", "de", "Unerlaubte Zahlenbasis ~q, nicht zwischen 2 und 36."], [], -1))
add(Clause(0, "strings", ["domain_error.character_code", "de", "Unerlaubter Kodepunkt ~q, nicht zwischen 0 und 0x10FFFF."], [], -1))
add(Clause(0, "strings", ["domain_error.exotic", "de", "Exot erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.writer", "de", "Ausgabestrom erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.reader", "de", "Eingabestrom erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.goal", "de", "Ziel erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.clause", "de", "Klausel erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.provable", "de", "Herleitbar erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.type", "de", "Datentyp erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.timer", "de", "Zeitgeber erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.task", "de", "Aufgabe erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["existence_error.source_sink", "de", "Datei ~q nicht gefunden."], [], -1))
add(Clause(0, "strings", ["existence_error.module", "de", "Modul ~q nicht gefunden."], [], -1))
add(Clause(0, "strings", ["permission_error.open.source_sink", "de", "Kann Datei ~q nicht öffnen."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.compound", "de", "Kann Verbund ~q nicht ändern."], [], -1))
add(Clause(0, "strings", ["resource_error.socket_timeout", "de", "Ein-/Ausgabeauszeit."], [], -1))
add(Clause(0, "strings", ["resource_error.port_error", "de", "Fehler bei Verwendung eines Port."], [], -1))
add(Clause(0, "strings", ["resource_error.remote_error", "de", "Fehler von Entfernt erhalten."], [], -1))
add(Clause(0, "strings", ["resource_error.io_exception", "de", "Datei nicht erstellt oder nicht zugreifbar."], [], -1))
add(Clause(0, "strings", ["system_error.timelimit_exceeded", "de", "Ausführung abgebrochen da Zeitfrist abgelaufen."], [], -1))
add(Clause(0, "strings", ["system_error.stack_overflow", "de", "Ausführung wegen Stapelüberlauf abgebrochen."], [], -1))
add(Clause(0, "strings", ["system_error.out_of_memory", "de", "Ausführung wegen aufgebrauchtem Speicherplatz abgebrochen."], [], -1))
add(Clause(0, "strings", ["system_error.user_abort", "de", "Ausführung auf Benutzerwunsch abgebrochen."], [], -1))
add(Clause(0, "strings", ["system_error.user_exit", "de", "System auf Benutzerwunsch beendet."], [], -1))
add(Clause(0, "strings", ["system_error.illegal_yield", "de", "Yield Instruktion momentan nicht verfügbar"], [], -1))
add(Clause(0, "strings", ["syntax_error.directive_failed", "de", "Direktive fehlgeschlagen."], [], -1))
add(Clause(0, "strings", ["instantiation_error", "", "Argument should not be a variable."], [], -1))
add(Clause(0, "strings", ["domain_error.read_option", "", "Read option expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.io_mode", "", "Input/output mode (read or write) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.write_option", "", "Write option expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.open_option", "", "Open option expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.boolean", "", "Boolean (true or false) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.file_property", "", "File property expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.radix", "", "Illegal number base ~q, not between 2 and 36."], [], -1))
add(Clause(0, "strings", ["domain_error.character_code", "", "Illegal code point ~q, not between 0 and 0x10FFFF."], [], -1))
add(Clause(0, "strings", ["domain_error.exotic", "", "Exotic expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.writer", "", "Outputstream expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.reader", "", "Inputstream expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.goal", "", "Goal expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.clause", "", "Clause expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.provable", "", "Provable expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.type", "", "Type expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.timer", "", "Timer expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.task", "", "Task expected, found ~q."], [], -1))
add(Clause(0, "strings", ["existence_error.source_sink", "", "File ~q not found."], [], -1))
add(Clause(0, "strings", ["existence_error.module", "", "Module ~q not found."], [], -1))
add(Clause(0, "strings", ["permission_error.open.source_sink", "", "Cannot open file ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.compound", "", "Cannot modify compound ~q."], [], -1))
add(Clause(0, "strings", ["resource_error.socket_timeout", "", "Input/output timeout."], [], -1))
add(Clause(0, "strings", ["resource_error.port_error", "", "Error using a port."], [], -1))
add(Clause(0, "strings", ["resource_error.remote_error", "", "Got error from remote."], [], -1))
add(Clause(0, "strings", ["resource_error.io_exception", "", "File not created or not accessible."], [], -1))
add(Clause(0, "strings", ["system_error.timelimit_exceeded", "", "Execution aborted since time limit exceeded."], [], -1))
add(Clause(0, "strings", ["system_error.stack_overflow", "", "Execution aborted because of stack overflow."], [], -1))
add(Clause(0, "strings", ["system_error.out_of_memory", "", "Execution aborted because out of memory."], [], -1))
add(Clause(0, "strings", ["system_error.user_abort", "", "Execution aborted on user request."], [], -1))
add(Clause(0, "strings", ["system_error.user_exit", "", "System ended on user request."], [], -1))
add(Clause(0, "strings", ["system_error.illegal_yield", "", "Yield instruction currently not available."], [], -1))
add(Clause(0, "strings", ["syntax_error.directive_failed", "", "Directive failed."], [], -1))
add(Clause(3, "dynamic", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("sys_style_indicator"), [Place(1), Place(2)]), Skeleton(Cache("kb_pred_touch"), [Place(1), Place(2), 1])], 0))
add(Clause(1, "dynamic", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(3, "prehash", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["integer", Place(2)]), Skeleton(Cache("sys_style_indicator"), [Place(1), Place(2)]), Skeleton(Cache("kb_pred_touch"), [Place(1), Place(2), 4])], 0))
add(Clause(1, "prehash", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(9, "asserta", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(2), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(3), "nothing", Place(4), 0, Place(5), "[]"]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(6), Place(7)])]), Skeleton(Cache("sys_clause_ossify"), [Place(7), Place(5), Place(4), Place(6), Place(8)]), Skeleton(Cache("sys_clause_add"), [Place(8), 1])], 0))
add(Clause(4, "asserta", [Place(0)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(1), Place(2)])]), Skeleton(Cache("sys_clause_ossify"), [Place(2), "[]", "nothing", Place(1), Place(3)]), Skeleton(Cache("sys_clause_add"), [Place(3), 1])], -1))
add(Clause(9, "assertz", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(2), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_trans_body"), [Place(3), "nothing", Place(4), 0, Place(5), "[]"]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(6), Place(7)])]), Skeleton(Cache("sys_clause_ossify"), [Place(7), Place(5), Place(4), Place(6), Place(8)]), Skeleton(Cache("sys_clause_add"), [Place(8), 3])], 0))
add(Clause(4, "assertz", [Place(0)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(1), Place(2)])]), Skeleton(Cache("sys_clause_ossify"), [Place(2), "[]", "nothing", Place(1), Place(3)]), Skeleton(Cache("sys_clause_add"), [Place(3), 3])], -1))
add(Clause(6, "clause", [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), 0, Place(5)]), Skeleton(Cache("="), [Place(5), Place(1)])], -1))
add(Clause(8, "retract", [Place(1)], [Skeleton(Cache("nonvar"), [Place(1)]), Skeleton(Cache("="), [Place(1), Skeleton(":-", [Place(2), Place(3)])]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("kb_clause_ref"), [Place(2), 3, Place(4)]), Skeleton(Cache("kb_clause_data"), [Place(4), Place(2), Place(5), Place(6)]), Skeleton(Cache("sys_untrans_body"), [Place(6), Place(5), 0, Place(7)]), Skeleton(Cache("="), [Place(7), Place(3)]), Skeleton(Cache("kb_clause_remove"), [Place(4), 0])], 0))
add(Clause(2, "retract", [Place(0)], [Skeleton(Cache("kb_clause_ref"), [Place(0), 3, Place(1)]), Skeleton(Cache("kb_clause_data"), [Place(1), Place(0), NotImplemented, "[]"]), Skeleton(Cache("kb_clause_remove"), [Place(1), 0])], -1))
add(Clause(2, "retractall", [Place(0)], [Skeleton(Cache("kb_clause_ref"), [Place(0), 7, Place(1)]), Skeleton(Cache("kb_clause_head"), [Place(1), Place(0)]), Skeleton(Cache("kb_clause_remove"), [Place(1), 1]), Cache("fail")], -1))
add(Clause(0, "retractall", [NotImplemented], [], -1))
add(Clause(3, "abolish", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_abolish"), [Place(1), Place(2)])], 0))
add(Clause(1, "abolish", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(4, "sys_abolish", [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))
add(Clause(2, "sys_abolish", [Place(0), Place(1)], [Skeleton(Cache("retractall"), [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), NotImplemented])]), Skeleton(Cache("kb_pred_destroy"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_predprop", 3, 1])], -1))
add(Clause(4, "current_predicate", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(make_defined([Clause(1, "", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)])], -1), Clause(1, "", [NotImplemented, Place(0)], [Skeleton(Cache("var"), [Place(0)])], -1)]), [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(Clause(3, "current_predicate", [Skeleton("/", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("kb_pred_link"), [Place(1), Place(2), NotImplemented])], 0))
add(Clause(1, "current_predicate", [Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(4, "predicate_property", [Skeleton("/", [Place(1), Place(2)]), Place(3)], [Skeleton(make_defined([Clause(1, "", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)])], -1), Clause(1, "", [NotImplemented, Place(0)], [Skeleton(Cache("var"), [Place(0)])], -1)]), [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(Clause(4, "predicate_property", [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(Clause(1, "predicate_property", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["predicate_indicator", Place(0)]), NotImplemented])])], -1))
add(Clause(7, "sys_predprop_get", [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("is"), [Place(5), Skeleton(Cache("/\\"), [Place(4), 15])]), Skeleton(Cache("sys_predprop_flag"), [Place(5), Place(6)]), Skeleton(Cache("="), [Place(2), Place(6)])], -1))
add(Clause(3, "sys_predprop_get", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_predprop"), [Place(0), Place(1), Place(2)])], -1))
add(Clause(1, "sys_predprop_flag", [0, "static"], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_predprop_flag", [1, "dynamic"], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_predprop_flag", [NotImplemented, "built_in"], [], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_emulated", 2, 1])], -1))
add(Clause(0, "sys_emulated", ["argv", "[]"], [], -1))
add(Clause(0, "sys_emulated", ["sys_locale", "en_GB"], [], -1))
add(Clause(0, "sys_emulated", ["sys_color", "normal"], [], -1))
add(Clause(3, "set_prolog_flag", [Place(1), Place(2)], [Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("sys_prolog_flag_set"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "set_prolog_flag", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), NotImplemented])])], -1))
add(Clause(1, "sys_prolog_flag_set", ["argv", Place(0)], [Skeleton(Cache("retractall"), [Skeleton(Cache("sys_emulated"), ["argv", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_emulated"), ["argv", Place(0)])])], -1))
add(Clause(1, "sys_prolog_flag_set", ["sys_locale", Place(0)], [Skeleton(Cache("retractall"), [Skeleton(Cache("sys_emulated"), ["sys_locale", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_emulated"), ["sys_locale", Place(0)])])], -1))
add(Clause(1, "sys_prolog_flag_set", ["sys_color", Place(0)], [Skeleton(Cache("retractall"), [Skeleton(Cache("sys_emulated"), ["sys_color", NotImplemented])]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_emulated"), ["sys_color", Place(0)])])], -1))
add(Clause(1, "sys_prolog_flag_set", ["base_url", Place(0)], [Skeleton(Cache("os_set_workdir"), [Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_set", ["stage", Place(0)], [Skeleton(Cache("dg_set_stage"), [Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_set", ["partition", Place(0)], [Skeleton(Cache("dg_set_partition"), [Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_set", [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))
add(Clause(3, "current_prolog_flag", [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))
add(Clause(4, "current_prolog_flag", [Place(1), Place(2)], [Skeleton(Cache("must_be"), ["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))
add(Clause(1, "current_prolog_flag", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(0)]), NotImplemented])])], -1))
add(Clause(1, "sys_prolog_flag_get", ["argv", Place(0)], [Skeleton(Cache("sys_emulated"), ["argv", Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_get", ["sys_locale", Place(0)], [Skeleton(Cache("sys_emulated"), ["sys_locale", Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_get", ["sys_color", Place(0)], [Skeleton(Cache("sys_emulated"), ["sys_color", Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_get", ["base_url", Place(0)], [Skeleton(Cache("os_get_workdir"), [Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_get", ["stage", Place(0)], [Skeleton(Cache("dg_get_stage"), [Place(0)])], -1))
add(Clause(1, "sys_prolog_flag_get", ["partition", Place(0)], [Skeleton(Cache("dg_get_partition"), [Place(0)])], -1))
add(Clause(0, "sys_prolog_flag_get", ["single_quotes", "atom"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["double_quotes", "codes"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["back_quotes", "variable"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["dialect", "dogelog"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["version", 20203], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["use_strict", "off"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["max_code", 1114111], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["max_arity", 2147483647], [], -1))
add(Clause(2, "sys_prolog_flag_get", ["async_mode", Place(0)], [Skeleton(Cache("dg_get_flags"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 1, Place(0)])], -1))
add(Clause(2, "sys_prolog_flag_get", ["allow_yield", Place(0)], [Skeleton(Cache("dg_get_flags"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 8, Place(0)])], -1))
add(Clause(0, "sys_prolog_flag_get", ["import_async", "on"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["prop_async", "on"], [], -1))
add(Clause(0, "sys_prolog_flag_get", ["read_async", "on"], [], -1))
add(Clause(2, "sys_prolog_flag_get", ["state_async", Place(0)], [Skeleton(Cache("dg_get_flags"), [Place(1)]), Skeleton(Cache("sys_prolog_flag_decode"), [Place(1), 128, Place(0)])], -1))
add(Clause(5, "sys_prolog_flag_get", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_get_host"), [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))
add(Clause(3, "sys_prolog_flag_get", [Place(0), Place(1)], [Skeleton(Cache("os_get_host"), [Place(2)]), Skeleton(Cache("ir_object_current"), [Place(2), Place(0), Place(1)])], -1))
add(Clause(4, "sys_prolog_flag_decode", [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))
add(Clause(0, "sys_prolog_flag_decode", [NotImplemented, NotImplemented, "off"], [], -1))
add(Clause(4, "vars_intersection", [Place(0), Place(1), Place(2)], [Skeleton(Cache("vars_subtract"), [Place(0), Place(1), Place(3)]), Skeleton(Cache("vars_subtract"), [Place(0), Place(3), Place(2)])], -1))
add(Clause(5, "vars_subtract", [Place(0), Place(1), Place(2)], [Skeleton(Cache("term_variables"), [Place(1), Place(3)]), Skeleton(Cache("term_variables"), [Skeleton("+", [Place(1), Place(0)]), Place(4)]), Skeleton(Cache("append"), [Place(3), Place(2), Place(4)])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_including", 3, 1])], -1))
run(Goal(4, [Skeleton(Cache("os_get_gestalt"), [Place(0)]), Skeleton(Cache("ir_object_current"), [Place(0), "sys_color", Place(1)]), Skeleton(Cache("set_prolog_flag"), ["sys_color", Place(1)]), Skeleton(Cache("ir_object_current"), [Place(0), "sys_locale", Place(2)]), Skeleton(Cache("set_prolog_flag"), ["sys_locale", Place(2)]), Skeleton(Cache("ir_object_current"), [Place(0), "argv", Place(3)]), Skeleton(Cache("set_prolog_flag"), ["argv", Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["sys_meta_args", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["term_expansion", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_horn", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_body", 6])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_cut", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_disj", 6])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_alter", 6])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_trans_mark", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_meta", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_body", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_rest", 5])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_goal", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_disj", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_more", 5])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_alter", 5])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_split", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_untrans_ambiguity", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_horn", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_meta_args", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_body", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_goal", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_disj", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_link", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_meta", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_params", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_param", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_expr", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_args", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_encode_clause", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_body", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_goal", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_disj", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_meta", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_params", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_param", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_expr", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_args", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_decode_clause", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_source", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_srcprop", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["current_source", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["source_property", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["discontiguous", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["multifile", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_multifile_safe", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["include", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_include_file", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_include_native", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), [".", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["ensure_loaded", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_check_file", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_action_file", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_lastpred", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_load_file", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_loading_begin", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_loading_end", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_update_last", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_style_static", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_style_head", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_style_indicator", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_usage_predicate", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_include_stream", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_include_lines", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_next_term", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_handle_clump", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_handle_static", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_load_type", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["true", 0])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["!", 0])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), [",", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), [";", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["->", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["\\=", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["\\+", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["once", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["repeat", 0])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["catch", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_error_handler", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_chain_head", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["throw", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_fill_stack", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_fetch_stack", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["try_call_finally", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["ignore", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["chain", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_chain_error", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_chain_raise", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_chain_concat", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["once_cleanup", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["setup_once_cleanup", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_setup_once_cleanup", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_once_cleanup", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sleep", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["call_later", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["call_later", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["call_with_time_limit", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_timeout_signal", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["create_task", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["create_task", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_frost_horn", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_host_ossify", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["member", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_member", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["select", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_select", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["reverse", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_reverse", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["append", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["length", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_length", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_length", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["between", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_between", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["findall", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_find_init", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_find_next", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_find_fini", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_message", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_message", 4])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_string", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_string", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_locale_ancestor", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_multiton_keys", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_multiton_check", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_singleton_keys", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_singleton_check", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_marked_at", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["expand_term", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["phrase", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["term_expansion", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_dcg_expansion", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_phrase_expansion", 6])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_list_expansion", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sub_atom", 5])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["last_sub_atom", 5])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["dynamic", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["prehash", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["asserta", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["assertz", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["clause", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["retract", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["retractall", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["abolish", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_abolish", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_predprop", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["current_predicate", 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["predicate_property", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_predprop_get", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_predprop_flag", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_emulated", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["set_prolog_flag", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_set", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["current_prolog_flag", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_get", 2])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prolog_flag_decode", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["vars_intersection", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["vars_subtract", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_including", 3])], -1))
