###
# 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

run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_infix", 3])], -1))
add(Clause(0, "sys_is_infix", ["xfx", 1, 1], [], -1))
add(Clause(0, "sys_is_infix", ["yfx", 0, 1], [], -1))
add(Clause(0, "sys_is_infix", ["xfy", 1, 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_prefix", 2])], -1))
add(Clause(0, "sys_is_prefix", ["fx", 1], [], -1))
add(Clause(0, "sys_is_prefix", ["fy", 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_postfix", 2])], -1))
add(Clause(0, "sys_is_postfix", ["xf", 1], [], -1))
add(Clause(0, "sys_is_postfix", ["yf", 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op", 5])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_op", 5, 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["current_op", 3])], -1))
add(Clause(3, "current_op", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_op"), [Place(2), Place(1), Place(0), NotImplemented, NotImplemented])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["op", 3])], -1))
add(Clause(3, "op", [Place(0), Place(1), Place(2)], [Skeleton(Cache("must_be"), ["integer", Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["atom", Place(2)]), Skeleton(Cache("sys_check_priority"), [Place(0)]), Skeleton(Cache("sys_op_retract"), [Place(2), Place(1)]), Skeleton(Cache("sys_op_assert"), [Place(2), Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_check_priority", 1])], -1))
add(Clause(1, "sys_check_priority", [Place(0)], [Skeleton(Cache("<"), [Place(0), 0]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["not_less_than_zero", Place(0)]), NotImplemented])])], -1))
add(Clause(1, "sys_check_priority", [Place(0)], [Skeleton(Cache(">"), [Place(0), 1200]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["operator_priority", Place(0)]), NotImplemented])])], -1))
add(Clause(0, "sys_check_priority", [NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_retract", 2])], -1))
add(Clause(3, "sys_op_retract", [Place(1), Place(2)], [Skeleton(Cache("sys_is_prefix"), [Place(2), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, "", [Place(0)], [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_prefix"), [Place(1), NotImplemented]), Skeleton(Cache("retract"), [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented])]), Cache("fail")], -1), Clause(0, "", [NotImplemented], [], -1)]), [Place(1)])], 0))
add(Clause(3, "sys_op_retract", [Place(1), Place(2)], [Skeleton(Cache("sys_is_postfix"), [Place(2), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, "", [Place(0)], [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_postfix"), [Place(1), NotImplemented]), Skeleton(Cache("retract"), [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented])]), Cache("fail")], -1), Clause(0, "", [NotImplemented], [], -1)]), [Place(1)])], 0))
add(Clause(3, "sys_op_retract", [Place(1), Place(2)], [Skeleton(Cache("sys_is_infix"), [Place(2), NotImplemented, NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(make_defined([Clause(3, "", [Place(0)], [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_infix"), [Place(1), NotImplemented, NotImplemented]), Skeleton(Cache("retract"), [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), NotImplemented, NotImplemented])]), Cache("fail")], -1), Clause(0, "", [NotImplemented], [], -1)]), [Place(1)])], 0))
add(Clause(1, "sys_op_retract", [NotImplemented, Place(0)], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["operator_specifier", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_assert", 3])], -1))
add(Clause(1, "sys_op_assert", [NotImplemented, NotImplemented, 0], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_op_assert", [Place(0), Place(1), NotImplemented], [Skeleton(Cache("sys_is_infix"), [Place(1), NotImplemented, NotImplemented]), Skeleton(Cache("sys_op"), [Place(0), Place(2), NotImplemented, NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_postfix"), [Place(2), NotImplemented]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["create", "operator", Place(0)]), NotImplemented])])], -1))
add(Clause(3, "sys_op_assert", [Place(0), Place(1), NotImplemented], [Skeleton(Cache("sys_is_postfix"), [Place(1), NotImplemented]), Skeleton(Cache("sys_op"), [Place(0), Place(2), NotImplemented, NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_infix"), [Place(2), NotImplemented, NotImplemented]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("permission_error", ["create", "operator", Place(0)]), NotImplemented])])], -1))
add(Clause(8, "sys_op_assert", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_op_punct"), [Place(0), Place(3)]), Skeleton(Cache("sys_op_space"), [Place(1), Place(2), Place(4)]), Skeleton(Cache("sys_op_format"), [Place(1), Place(2), Place(5)]), Skeleton(Cache("is"), [Place(6), Skeleton(Cache("\\/"), [Skeleton(Cache("\\/"), [Place(3), Place(4)]), Place(5)])]), Skeleton(Cache("dg_get_partition"), [Place(7)]), Skeleton(Cache("assertz"), [Skeleton(Cache("sys_op"), [Place(0), Place(1), Place(2), Place(6), Place(7)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_punct", 2])], -1))
add(Clause(1, "sys_op_punct", [";", 2], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_op_punct", [",", 2], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_op_punct", [NotImplemented, 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_space", 3])], -1))
add(Clause(2, "sys_op_space", [NotImplemented, Place(1), 0], [Skeleton(Cache(">"), [Place(1), 699]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_op_space", [Place(1), NotImplemented, 1], [Skeleton(Cache("sys_is_prefix"), [Place(1), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_op_space", [Place(1), NotImplemented, 2], [Skeleton(Cache("sys_is_postfix"), [Place(1), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_op_space", [NotImplemented, NotImplemented, 3], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_format", 3])], -1))
add(Clause(4, "sys_op_format", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_is_infix"), [Place(1), NotImplemented, NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_op_format2"), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_op_format", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_is_prefix"), [Place(1), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_op_format3"), [Place(2), Place(3)])], 0))
add(Clause(0, "sys_op_format", [NotImplemented, NotImplemented, 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_format2", 2])], -1))
add(Clause(2, "sys_op_format2", [Place(1), 12], [Skeleton(Cache(">"), [Place(1), 1149]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_op_format2", [Place(1), 8], [Skeleton(Cache(">"), [Place(1), 1049]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_op_format2", [Place(1), 4], [Skeleton(Cache(">"), [Place(1), 949]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_op_format2", [NotImplemented, 0], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_op_format3", 2])], -1))
add(Clause(2, "sys_op_format3", [Place(1), 12], [Skeleton(Cache(">"), [Place(1), 1149]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_op_format3", [NotImplemented, 0], [], -1))
run(Goal(0, [Frozen(Cache("op"), [1200, "fx", ":-"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1200, "xfx", ":-"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1200, "fx", "?-"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1200, "xfx", "-->"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1100, "xfy", ";"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1050, "xfy", "->"])], -1))
run(Goal(0, [Frozen(Cache("op"), [1000, "xfy", ","])], -1))
run(Goal(0, [Frozen(Cache("op"), [900, "fy", "\\+"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "is"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "\\="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "=.."])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "<"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "=<"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "=\\="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", ">="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", ">"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "=:="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "@<"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "@=<"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "\\=="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "@>="])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "@>"])], -1))
run(Goal(0, [Frozen(Cache("op"), [700, "xfx", "=="])], -1))
run(Goal(0, [Frozen(Cache("op"), [600, "xfy", ":"])], -1))
run(Goal(0, [Frozen(Cache("op"), [500, "yfx", "+"])], -1))
run(Goal(0, [Frozen(Cache("op"), [500, "yfx", "-"])], -1))
run(Goal(0, [Frozen(Cache("op"), [500, "yfx", "/\\"])], -1))
run(Goal(0, [Frozen(Cache("op"), [500, "yfx", "\\/"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "*"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "/"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "//"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "rem"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "div"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "mod"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "xor"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", ">>"])], -1))
run(Goal(0, [Frozen(Cache("op"), [400, "yfx", "<<"])], -1))
run(Goal(0, [Frozen(Cache("op"), [200, "fy", "-"])], -1))
run(Goal(0, [Frozen(Cache("op"), [200, "fy", "\\"])], -1))
run(Goal(0, [Frozen(Cache("op"), [200, "xfx", "**"])], -1))
run(Goal(0, [Frozen(Cache("op"), [200, "xfy", "^"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_init_goal", 1])], -1))
run(Goal(0, [Frozen(Cache("kb_pred_touch"), ["sys_init_goal", 1, 1])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["initialization", 1])], -1))
add(Clause(1, "initialization", [Place(0)], [Skeleton(Cache("assertz"), [Skeleton(Cache("sys_init_goal"), [Place(0)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_init_goals", 0])], -1))
add(Clause(2, "sys_init_goals", [], [Skeleton(Cache("retract"), [Skeleton(Cache("sys_init_goal"), [Place(0)])]), Skeleton(Cache("catch"), [Skeleton("sys_must", [Place(0)]), Place(1), Skeleton("sys_print_error", [Place(1)])]), Cache("fail")], -1))
add(Clause(0, "sys_init_goals", [], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_must", 1])], -1))
add(Clause(2, "sys_must", [Place(1)], [Skeleton(Cache("call"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_must", [NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["directive_failed"]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_baseline", 0])], -1))
add(Clause(1, "sys_baseline", [], [Skeleton(Cache("current_prolog_flag"), ["argv", Place(0)]), Skeleton(Cache("sys_baseline"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_baseline", 1])], -1))
add(Clause(2, "sys_baseline", [Skeleton(".", ["-h", NotImplemented])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("put_message"), [Place(1), Frozen("command", ["runtime"])]), Cache("nl")], 0))
add(Clause(1, "sys_baseline", [Skeleton(".", [Place(0), NotImplemented])], [Skeleton(Cache("sub_atom"), [Place(0), 0, NotImplemented, NotImplemented, "-"]), Skeleton(Cache("throw"), [Skeleton("error", [Frozen("system_error", ["option_command"]), NotImplemented])])], -1))
add(Clause(0, "sys_baseline", [NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_launch", 0])], -1))
add(Clause(1, "sys_launch", [], [Skeleton(Cache("current_prolog_flag"), ["argv", Place(0)]), Skeleton(Cache("sys_launch"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_launch", 1])], -1))
add(Clause(1, "sys_launch", [Skeleton(".", ["-h", NotImplemented])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_launch", ["[]"], [Frozen(Cache("ensure_loaded"), [Frozen("library", [Frozen("/", ["tester", "session"])])]), Cache("version"), Cache("prolog")], -1))
add(Clause(1, "sys_launch", [Skeleton(".", [Place(0), NotImplemented])], [Skeleton(Cache("ensure_loaded"), [Place(0)]), Cache("sys_init_goals")], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_net_request", 1])], -1))
add(Clause(1, "sys_net_request", [Place(0)], [Skeleton(Cache("sys_net_path"), [Place(0)])], -1))
add(Clause(1, "sys_net_request", [NotImplemented], [Skeleton(Cache("current_prolog_flag"), ["base_url", Place(0)]), Skeleton(Cache("sys_net_path"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_net_path", 1])], -1))
add(Clause(1, "sys_net_path", [Place(0)], [Skeleton(Cache("sub_atom"), [Place(0), 0, NotImplemented, NotImplemented, "http:"])], -1))
add(Clause(1, "sys_net_path", [Place(0)], [Skeleton(Cache("sub_atom"), [Place(0), 0, NotImplemented, NotImplemented, "https:"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["open", 3])], -1))
add(Clause(3, "open", [Place(0), Place(1), Place(2)], [Skeleton(Cache("open"), [Place(0), Place(1), Place(2), "[]"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["open", 4])], -1))
add(Clause(6, "open", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_net_request"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_object_new"), [Place(5)]), Skeleton(Cache("sys_open_opts"), [Place(4), Place(5)]), Skeleton(Cache("sys_open_http"), [Place(1), Place(2), Place(5), Place(3)]), Skeleton(Cache("sys_open_results"), [Place(4), Place(5)])], 0))
add(Clause(5, "open", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("ir_object_new"), [Place(4)]), Skeleton(Cache("sys_stream_opts"), [Place(3), Place(4)]), Skeleton(Cache("sys_open_file"), [Place(0), Place(1), Place(4), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_file", 4])], -1))
add(Clause(5, "sys_open_file", [Place(1), "read", Place(2), Place(3)], [Frozen(Cache("current_prolog_flag"), ["read_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_open_promise"), [Place(1), Place(2), Place(3), Place(4)]), Skeleton(Cache("$YIELD"), [Place(4)])], 0))
add(Clause(4, "sys_open_file", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("os_open_sync"), [Place(0), Place(1), Place(2), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_http", 4])], -1))
add(Clause(5, "sys_open_http", [Place(1), "read", Place(2), Place(3)], [Frozen(Cache("current_prolog_flag"), ["read_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("net_open_promise"), [Place(1), Place(2), Place(3), Place(4)]), Skeleton(Cache("$YIELD"), [Place(4)])], 0))
add(Clause(4, "sys_open_http", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("net_open_sync"), [Place(0), Place(1), Place(2), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["close", 1])], -1))
add(Clause(4, "close", [Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "flags", Place(2)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_close_promise"), [Place(1), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0))
add(Clause(1, "close", [Place(0)], [Skeleton(Cache("os_close_sync"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["nl", 0])], -1))
add(Clause(1, "nl", [], [Skeleton(Cache("current_output"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(0), "\n"]), Skeleton(Cache("flush_output"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["nl", 1])], -1))
add(Clause(3, "nl", [Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "flags", Place(2)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 16]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), "\n"]), Skeleton(Cache("flush_output"), [Place(1)])], 0))
add(Clause(1, "nl", [Place(0)], [Skeleton(Cache("put_atom"), [Place(0), "\n"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["flush_output", 0])], -1))
add(Clause(1, "flush_output", [], [Skeleton(Cache("current_output"), [Place(0)]), Skeleton(Cache("flush_output"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["put_code", 1])], -1))
add(Clause(3, "put_code", [Place(0)], [Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("char_code"), [Place(2), Place(0)]), Skeleton(Cache("put_atom"), [Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["put_code", 2])], -1))
add(Clause(3, "put_code", [Place(0), Place(1)], [Skeleton(Cache("char_code"), [Place(2), Place(1)]), Skeleton(Cache("put_atom"), [Place(0), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_code", 1])], -1))
add(Clause(2, "get_code", [Place(0)], [Skeleton(Cache("current_input"), [Place(1)]), Skeleton(Cache("get_code"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_code", 2])], -1))
add(Clause(4, "get_code", [Place(1), Place(2)], [Skeleton(Cache("os_get_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0))
add(Clause(4, "get_code", [Place(1), Place(2)], [Skeleton(Cache("sys_read_buffer"), [Place(1)]), Skeleton(Cache("os_get_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0))
add(Clause(1, "get_code", [NotImplemented, Place(0)], [Skeleton(Cache("="), [-1, Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["peek_code", 1])], -1))
add(Clause(2, "peek_code", [Place(0)], [Skeleton(Cache("current_input"), [Place(1)]), Skeleton(Cache("peek_code"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["peek_code", 2])], -1))
add(Clause(4, "peek_code", [Place(1), Place(2)], [Skeleton(Cache("os_peek_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0))
add(Clause(4, "peek_code", [Place(1), Place(2)], [Skeleton(Cache("sys_read_buffer"), [Place(1)]), Skeleton(Cache("os_peek_code"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0))
add(Clause(1, "peek_code", [NotImplemented, Place(0)], [Skeleton(Cache("="), [-1, Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_buffer", 1])], -1))
add(Clause(4, "sys_read_buffer", [Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "flags", Place(2)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_read_promise"), [Place(1), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0))
add(Clause(1, "sys_read_buffer", [Place(0)], [Skeleton(Cache("os_read_sync"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["put_atom", 1])], -1))
add(Clause(2, "put_atom", [Place(0)], [Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("put_atom"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_atom", 2])], -1))
add(Clause(3, "get_atom", [Place(0), Place(1)], [Skeleton(Cache("current_input"), [Place(2)]), Skeleton(Cache("get_atom"), [Place(2), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["get_atom", 3])], -1))
add(Clause(8, "get_atom", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_atom_opts"), [Place(2), Frozen("v", [10, 1, 0]), Skeleton("v", [Place(3), Place(4), Place(5)])]), Skeleton(Cache("sys_get_code"), [Place(0), Place(6), Place(4)]), Skeleton(Cache("sys_get_code_list"), [Place(6), Place(3), Place(5), Place(0), Place(7), Place(4)]), Skeleton(Cache("atom_codes"), [Place(1), Place(7)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_code_list", 6])], -1))
add(Clause(1, "sys_get_code_list", [-1, NotImplemented, NotImplemented, NotImplemented, "[]", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_get_code_list", [Place(1), Place(1), NotImplemented, NotImplemented, Skeleton(".", [Place(1), "[]"]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_get_code_list", [Place(1), NotImplemented, 1, NotImplemented, Skeleton(".", [Place(1), "[]"]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(7, "sys_get_code_list", [Place(1), Place(2), 0, Place(3), Skeleton(".", [Place(1), Place(4)]), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_get_code"), [Place(3), Place(6), Place(5)]), Skeleton(Cache("sys_get_code_list"), [Place(6), Place(2), 0, Place(3), Place(4), Place(5)])], 0))
add(Clause(8, "sys_get_code_list", [Place(0), Place(1), Place(2), Place(3), Skeleton(".", [Place(0), Place(4)]), Place(5)], [Skeleton(Cache("sys_get_code"), [Place(3), Place(6), Place(5)]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("-"), [Place(2), 1])]), Skeleton(Cache("sys_get_code_list"), [Place(6), Place(1), Place(7), Place(3), Place(4), Place(5)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_code", 3])], -1))
add(Clause(4, "sys_get_code", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(3), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("get_code"), [Place(1), Place(2)])], 0))
add(Clause(5, "sys_get_code", [Place(0), Place(1), Place(2)], [Skeleton(Cache("ir_object_current"), [Place(0), "flags", Place(3)]), Skeleton(Cache("get_code"), [Place(0), Place(4)]), Skeleton(Cache("sys_get_code_more"), [Place(4), Place(3), Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_code_more", 5])], -1))
add(Clause(1, "sys_get_code_more", [13, NotImplemented, NotImplemented, 10, NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_get_code_more", [10, Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(1), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_get_code"), [Place(2), Place(3), Place(4)])], 0))
add(Clause(1, "sys_get_code_more", [Place(0), NotImplemented, NotImplemented, Place(0), NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_atom_opts", 3])], -1))
add(Clause(1, "sys_atom_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(6, "sys_atom_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_atom_opt"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_atom_opts"), [Place(2), Place(5), Place(4)])], 0))
add(Clause(2, "sys_atom_opts", ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_atom_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_atom_opt", 3])], -1))
add(Clause(1, "sys_atom_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_atom_opt", [Skeleton("stop", [Place(1)]), Skeleton("v", [NotImplemented, Place(2), Place(3)]), Skeleton("v", [Place(1), Place(2), Place(3)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(6, "sys_atom_opt", [Skeleton("compress", [Place(1)]), Skeleton("v", [Place(2), Place(3), Place(4)]), Skeleton("v", [Place(2), Place(5), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 1, Place(3), Place(5)])], 0))
add(Clause(4, "sys_atom_opt", [Skeleton("max", [Place(1)]), Skeleton("v", [Place(2), Place(3), NotImplemented]), Skeleton("v", [Place(2), Place(3), Place(1)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_atom_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["atom_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write", 1])], -1))
add(Clause(2, "write", [Place(0)], [Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("write_term"), [Place(1), Place(0), Frozen(".", [Frozen("numbervars", ["true"]), "[]"])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write", 2])], -1))
add(Clause(2, "write", [Place(0), Place(1)], [Skeleton(Cache("write_term"), [Place(0), Place(1), Frozen(".", [Frozen("numbervars", ["true"]), "[]"])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["writeq", 1])], -1))
add(Clause(2, "writeq", [Place(0)], [Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("write_term"), [Place(1), Place(0), Frozen(".", [Frozen("numbervars", ["true"]), Frozen(".", [Frozen("quoted", ["true"]), "[]"])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["writeq", 2])], -1))
add(Clause(2, "writeq", [Place(0), Place(1)], [Skeleton(Cache("write_term"), [Place(0), Place(1), Frozen(".", [Frozen("numbervars", ["true"]), Frozen(".", [Frozen("quoted", ["true"]), "[]"])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write_canonical", 1])], -1))
add(Clause(2, "write_canonical", [Place(0)], [Skeleton(Cache("current_output"), [Place(1)]), Skeleton(Cache("write_term"), [Place(1), Place(0), Frozen(".", [Frozen("quoted", ["true"]), Frozen(".", [Frozen("ignore_ops", ["true"]), "[]"])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write_canonical", 2])], -1))
add(Clause(2, "write_canonical", [Place(0), Place(1)], [Skeleton(Cache("write_term"), [Place(0), Place(1), Frozen(".", [Frozen("quoted", ["true"]), Frozen(".", [Frozen("ignore_ops", ["true"]), "[]"])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write_term", 2])], -1))
add(Clause(3, "write_term", [Place(0), Place(1)], [Skeleton(Cache("current_output"), [Place(2)]), Skeleton(Cache("write_term"), [Place(2), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_error", 1])], -1))
add(Clause(2, "sys_print_error", [Place(0)], [Skeleton(Cache("current_error"), [Place(1)]), Skeleton(Cache("sys_print_error"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_error", 2])], -1))
add(Clause(4, "sys_print_error", [Place(1), Place(2)], [Skeleton(Cache("ir_object_current"), [Place(1), "flags", Place(3)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(3), 12]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_fancy_problem"), [Place(2), Place(1)])], 0))
add(Clause(2, "sys_print_error", [Place(0), Place(1)], [Skeleton(Cache("sys_print_problem"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_problem", 2])], -1))
add(Clause(3, "sys_print_problem", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_message"), [Place(2), Skeleton("exception", ["unknown", Place(1)]), Place(2)]), Skeleton(Cache("nl"), [Place(2)])], 0))
add(Clause(4, "sys_print_problem", [Skeleton("cause", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_problem"), [Place(1), Place(3)]), Skeleton(Cache("sys_print_problem"), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_print_problem", [Skeleton("error", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_message"), [Place(3), Frozen("exception", ["error"])]), Skeleton(Cache("put_message"), [Place(3), Place(1)]), Skeleton(Cache("nl"), [Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_print_problem", [Skeleton("warning", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_message"), [Place(3), Frozen("exception", ["warning"])]), Skeleton(Cache("put_message"), [Place(3), Place(1)]), Skeleton(Cache("nl"), [Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0))
add(Clause(2, "sys_print_problem", [Place(0), Place(1)], [Skeleton(Cache("put_message"), [Place(1), Skeleton("exception", ["unknown", Place(0)])]), Skeleton(Cache("nl"), [Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_trace", 2])], -1))
add(Clause(3, "sys_print_trace", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_message"), [Place(2), Skeleton("exception", ["context", Place(1)])]), Skeleton(Cache("nl"), [Place(2)])], 0))
add(Clause(4, "sys_print_trace", [Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_print_frame"), [Place(1), Place(3)]), Skeleton(Cache("nl"), [Place(3)]), Skeleton(Cache("sys_print_trace"), [Place(2), Place(3)])], 0))
add(Clause(1, "sys_print_trace", ["[]", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_print_trace", [Place(0), Place(1)], [Skeleton(Cache("put_message"), [Place(1), Skeleton("exception", ["context", Place(0)])]), Skeleton(Cache("nl"), [Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_frame", 2])], -1))
add(Clause(6, "sys_print_frame", [Skeleton("sys_including", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("file_base_name"), [Place(1), Place(4)]), Skeleton(Cache("ir_object_current"), [Place(2), "lineno", Place(5)]), Skeleton(Cache("put_message"), [Place(3), Skeleton("exception", ["including", Place(4), Place(5)])])], 0))
add(Clause(3, "sys_print_frame", [Skeleton("sys_text", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(2), Place(1)])], 0))
add(Clause(3, "sys_print_frame", [Skeleton("sys_offset", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("tab"), [Place(2), Place(1)]), Skeleton(Cache("put_atom"), [Place(2), "^"])], 0))
add(Clause(2, "sys_print_frame", [Place(0), Place(1)], [Skeleton(Cache("put_message"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["read", 1])], -1))
add(Clause(3, "read", [Place(0)], [Skeleton(Cache("current_input"), [Place(1)]), Skeleton(Cache("get_code"), [Place(1), Place(2)]), Skeleton(Cache("sys_read_term"), [Place(2), Place(1), "[]", Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["read", 2])], -1))
add(Clause(3, "read", [Place(0), Place(1)], [Skeleton(Cache("get_code"), [Place(0), Place(2)]), Skeleton(Cache("sys_read_term"), [Place(2), Place(0), "[]", Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["read_term", 2])], -1))
add(Clause(4, "read_term", [Place(0), Place(1)], [Skeleton(Cache("current_input"), [Place(2)]), Skeleton(Cache("get_code"), [Place(2), Place(3)]), Skeleton(Cache("sys_read_term"), [Place(3), Place(2), Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["read_term", 3])], -1))
add(Clause(4, "read_term", [Place(0), Place(1), Place(2)], [Skeleton(Cache("get_code"), [Place(0), Place(3)]), Skeleton(Cache("sys_read_term"), [Place(3), Place(0), Place(2), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["file_property", 2])], -1))
add(Clause(7, "file_property", [Place(1), Place(2)], [Skeleton(Cache("var"), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_prop_map"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_keys"), [Place(3), Place(4)]), Skeleton(Cache("member"), [Place(5), Place(4)]), Skeleton(Cache("ir_object_current"), [Place(3), Place(5), Place(6)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(5), Skeleton(".", [Place(6), "[]"])])])], 0))
add(Clause(7, "file_property", [Place(1), Place(2)], [Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(3), Skeleton(".", [Place(4), "[]"])])]), Skeleton(Cache("sys_prop_map"), [Place(1), Place(5)]), Skeleton(Cache("ir_object_current"), [Place(5), Place(3), Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(6)])], 0))
add(Clause(2, "file_property", [NotImplemented, Place(0)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(1), Skeleton(".", [NotImplemented, "[]"])])]), Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["prolog_flag", Place(1)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prop_map", 2])], -1))
add(Clause(3, "sys_prop_map", [Place(1), Place(2)], [Skeleton(Cache("sys_net_request"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_prop_http"), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_prop_map", [Place(0), Place(1)], [Skeleton(Cache("sys_prop_file"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prop_file", 2])], -1))
add(Clause(4, "sys_prop_file", [Place(1), Place(2)], [Frozen(Cache("current_prolog_flag"), ["prop_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("os_prop_promise"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0))
add(Clause(2, "sys_prop_file", [Place(0), Place(1)], [Skeleton(Cache("os_prop_sync"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_prop_http", 2])], -1))
add(Clause(4, "sys_prop_http", [Place(1), Place(2)], [Frozen(Cache("current_prolog_flag"), ["prop_async", "on"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("net_prop_promise"), [Place(1), Place(2), Place(3)]), Skeleton(Cache("$YIELD"), [Place(3)])], 0))
add(Clause(2, "sys_prop_http", [Place(0), Place(1)], [Skeleton(Cache("net_prop_sync"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["set_file_property", 2])], -1))
add(Clause(3, "set_file_property", [Place(1), Place(2)], [Skeleton(Cache("sys_net_request"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("net_cntrl_sync"), [Place(1), Place(2)])], 0))
add(Clause(2, "set_file_property", [Place(0), Place(1)], [Skeleton(Cache("os_cntrl_sync"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["file_directory_name", 2])], -1))
add(Clause(6, "file_directory_name", [Place(0), Place(1)], [Skeleton(make_defined([Clause(3, "", [Place(1), Place(2)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(2), NotImplemented, NotImplemented, "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(1, "", [NotImplemented, Place(0)], [Skeleton(Cache("="), [Place(0), -1])], -1)]), [Place(0), Place(2)]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2)], [Skeleton(Cache("last_sub_atom"), [Place(1), Place(2), NotImplemented, NotImplemented, "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(1, "", [NotImplemented, Place(0)], [Skeleton(Cache("="), [Place(0), -1])], -1)]), [Place(0), Place(3)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("max"), [Place(2), Place(3)])]), Skeleton(Cache("is"), [Place(5), Skeleton(Cache("+"), [Place(4), 1])]), Skeleton(Cache("sub_atom"), [Place(0), 0, Place(5), NotImplemented, Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["file_base_name", 2])], -1))
add(Clause(6, "file_base_name", [Place(0), Place(1)], [Skeleton(Cache("atom_length"), [Place(0), Place(2)]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("last_sub_atom"), [Place(1), NotImplemented, NotImplemented, Place(2), "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(2, "", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(0), Place(3), Place(2)]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("last_sub_atom"), [Place(1), NotImplemented, NotImplemented, Place(2), "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(2, "", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(0), Place(4), Place(2)]), Skeleton(Cache("is"), [Place(5), Skeleton(Cache("min"), [Place(3), Place(4)])]), Skeleton(Cache("sub_atom"), [Place(0), NotImplemented, Place(5), 0, Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["absolute_file_name", 2])], -1))
add(Clause(2, "absolute_file_name", [Place(0), Place(1)], [Skeleton(Cache("absolute_file_name"), [Place(0), Place(1), "[]"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["absolute_file_name", 3])], -1))
add(Clause(7, "absolute_file_name", [Place(0), Place(1), Place(2)], [Skeleton(Cache("current_prolog_flag"), ["base_url", Place(3)]), Skeleton(Cache("sys_absolute_opts"), [Place(2), Skeleton("v", ["", Place(3)]), Skeleton("v", [Place(4), Place(5)])]), Skeleton(Cache("sys_file_complete"), [Place(4), Place(0), Place(6)]), Skeleton(Cache("sys_file_combine"), [Place(5), Place(6), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_absolute_opts", 3])], -1))
add(Clause(1, "sys_absolute_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(6, "sys_absolute_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_absolute_opt"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_absolute_opts"), [Place(2), Place(5), Place(4)])], 0))
add(Clause(2, "sys_absolute_opts", ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_absolute_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_absolute_opt", 3])], -1))
add(Clause(1, "sys_absolute_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(3, "sys_absolute_opt", [Skeleton("relative_to", [Place(1)]), Skeleton("v", [Place(2), NotImplemented]), Skeleton("v", [Place(2), Place(1)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_absolute_opt", [Skeleton("extension", [Place(1)]), Skeleton("v", [NotImplemented, Place(2)]), Skeleton("v", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_absolute_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["absolute_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_complete", 3])], -1))
add(Clause(2, "sys_file_complete", ["", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_file_complete", [NotImplemented, Place(1), Place(1)], [Skeleton(Cache("file_base_name"), [Place(1), Place(2)]), Skeleton(Cache("sub_atom"), [Place(2), NotImplemented, NotImplemented, NotImplemented, "."]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_file_complete", [Place(0), Place(1), Place(2)], [Skeleton(Cache("atom_concat"), [Place(1), Place(0), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_combine", 3])], -1))
add(Clause(3, "sys_file_combine", [NotImplemented, Place(1), Place(2)], [Skeleton(Cache("is_absolute_file_name"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(7, "sys_file_combine", [Place(1), Place(2), Place(3)], [Skeleton(make_defined([Clause(1, "", [Place(0)], [Skeleton(Cache("sub_atom"), [Place(0), 0, NotImplemented, NotImplemented, "../"])], -1), Clause(1, "", [Place(0)], [Skeleton(Cache("sub_atom"), [Place(0), 0, NotImplemented, NotImplemented, "..\\"])], -1)]), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sub_atom"), [Place(2), 3, NotImplemented, 0, Place(4)]), Skeleton(Cache("file_directory_name"), [Place(1), Place(5)]), Skeleton(Cache("sub_atom"), [Place(5), 0, NotImplemented, 1, Place(6)]), Skeleton(Cache("sys_file_combine"), [Place(6), Place(4), Place(3)])], 0))
add(Clause(4, "sys_file_combine", [Place(0), Place(1), Place(2)], [Skeleton(Cache("file_directory_name"), [Place(0), Place(3)]), Skeleton(Cache("atom_concat"), [Place(3), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["is_absolute_file_name", 1])], -1))
add(Clause(5, "is_absolute_file_name", [Place(0)], [Skeleton(Cache("atom_length"), [Place(0), Place(1)]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("sub_atom"), [Place(1), Place(2), NotImplemented, NotImplemented, "/"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(2, "", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(0), Place(2), Place(1)]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("sub_atom"), [Place(1), Place(2), NotImplemented, NotImplemented, "\\"]), Skeleton(Cache("$CUT"), [Place(0)])], 0), Clause(2, "", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(0), Place(3), Place(1)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("min"), [Place(2), Place(3)])]), Skeleton(make_defined([Clause(3, "", [Place(1), Place(2), NotImplemented], [Skeleton(Cache("=="), [Place(1), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("<"), [Place(1), Place(2)])], 0), Clause(4, "", [Place(1), NotImplemented, Place(2)], [Skeleton(Cache("sub_atom"), [Place(2), Place(3), NotImplemented, NotImplemented, ":"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("<"), [Place(3), Place(1)])], 0)]), [Place(4), Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_relative", 2])], -1))
add(Clause(1, "sys_file_relative", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(3, "sys_file_relative", [Skeleton("library", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_file_compound"), [Place(1), "liblet", ".p", Place(2)])], 0))
add(Clause(4, "sys_file_relative", [Skeleton("foreign", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("current_prolog_flag"), ["foreign_ext", Place(3)]), Skeleton(Cache("sys_file_compound"), [Place(1), "doglet", Place(3), Place(2)])], 0))
add(Clause(4, "sys_file_relative", [Place(1), Place(2)], [Skeleton(Cache("sys_file_including"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("absolute_file_name"), [Place(1), Place(2), Skeleton(".", [Skeleton("relative_to", [Place(3)]), Frozen(".", [Frozen("extension", [".p"]), "[]"])])])], 0))
add(Clause(2, "sys_file_relative", [Place(0), Place(1)], [Skeleton(Cache("absolute_file_name"), [Place(0), Place(1), Frozen(".", [Frozen("extension", [".p"]), "[]"])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_compound", 4])], -1))
add(Clause(7, "sys_file_compound", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_file_struct"), [Place(0), Place(4)]), Skeleton(Cache("atom_join"), [Skeleton(".", [Place(1), Skeleton(".", ["/", Skeleton(".", [Place(4), Skeleton(".", [Place(2), "[]"])])])]), Place(5)]), Skeleton(Cache("current_prolog_flag"), ["system_url", Place(6)]), Skeleton(Cache("sys_file_combine"), [Place(6), Place(5), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_including", 1])], -1))
add(Clause(3, "sys_file_including", [Place(1)], [Skeleton(Cache("current_task"), [Place(2)]), Skeleton(Cache("sys_including"), [Place(1), Place(2), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("\\=="), [Place(1), "user"])], 0))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_file_struct", 2])], -1))
add(Clause(1, "sys_file_struct", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(5, "sys_file_struct", [Skeleton("/", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_file_struct"), [Place(1), Place(4)]), Skeleton(Cache("atom_join"), [Skeleton(".", [Place(4), Skeleton(".", ["/", Skeleton(".", [Place(2), "[]"])])]), Place(3)])], 0))
add(Clause(3, "sys_file_struct", [Place(1), Place(2)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(1, "sys_file_struct", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["atom", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
add(Clause(0, "strings", ["exception.unknown", "de", "Ausnahme unbekannt: ~q"], [], -1))
add(Clause(0, "strings", ["exception.error", "de", "Fehler: "], [], -1))
add(Clause(0, "strings", ["exception.warning", "de", "Warnung: "], [], -1))
add(Clause(0, "strings", ["exception.template", "de", "Vorlage unbekannt: ~q"], [], -1))
add(Clause(0, "strings", ["exception.context", "de", "    Kontext unbekannt: ~q"], [], -1))
add(Clause(0, "strings", ["exception.including", "de", "    ~q auf ~q"], [], -1))
add(Clause(0, "strings", ["command.runtime", "de", "Benutzung: opt_1 .. opt_m [text arg_1 .. arg_n]\nFalls kein text spezifiziert ist, wird Banner gezeigt und dann\nTop-Level ausgeführt, andernfalls wird text ausgeführt.\n-h                   Diesen Hilfetext anzeigen und Vorgang beenden"], [], -1))
add(Clause(0, "strings", ["system_error.option_command", "de", "Ungültige Befehlzeilenoption, -h für weitere Informationen."], [], -1))
add(Clause(0, "strings", ["exception.unknown", "", "Unknown exception: ~q"], [], -1))
add(Clause(0, "strings", ["exception.error", "", "Error: "], [], -1))
add(Clause(0, "strings", ["exception.warning", "", "Warning: "], [], -1))
add(Clause(0, "strings", ["exception.template", "", "Unknown template: ~q"], [], -1))
add(Clause(0, "strings", ["exception.context", "", "    Unknown context: ~q"], [], -1))
add(Clause(0, "strings", ["exception.including", "", "    ~q at ~q"], [], -1))
add(Clause(0, "strings", ["command.runtime", "", "Usage: opt_1 ... opt_m [text arg_1 ... arg_n]\nIf no text is specified, banner is shown and then top-level\nis executed, otherwise text is executed.\n-h                   Display this help and exit."], [], -1))
add(Clause(0, "strings", ["system_error.option_command", "", "Invalid command line option, -h for more information."], [], -1))
add(Clause(0, "strings", ["evaluation_error.float_overflow", "de", "Die Funktion überschreitet hier den Gleitpunktzahlbereich."], [], -1))
add(Clause(0, "strings", ["evaluation_error.undefined", "de", "Die Funktion ist hier undefiniert."], [], -1))
add(Clause(0, "strings", ["evaluation_error.zero_divisor", "de", "Nulldivision."], [], -1))
add(Clause(0, "strings", ["resource_error.not_supported", "de", "Nicht unterstützte Operation."], [], -1))
add(Clause(0, "strings", ["resource_error.interrupted_exception", "de", "Unerwartet unterbrochene Operation."], [], -1))
add(Clause(0, "strings", ["representation_error.int", "de", "Unerlaubte Ganzzahl (nicht zwischen - 2^31 und 2^31-1)."], [], -1))
add(Clause(0, "strings", ["representation_error.long", "de", "Unerlaubte Ganzzahl (nicht zwischen - 2^63 und 2^63-1)."], [], -1))
add(Clause(0, "strings", ["representation_error.max_arity", "de", "Unerlaubte Stelligkeit (nicht kleiner oder gleich 2^31-1)."], [], -1))
add(Clause(0, "strings", ["domain_error.prolog_flag", "de", "Flag erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.not_less_than_zero", "de", "Positiv oder 0 erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.operator_priority", "de", "Operatorlevel (kleiner oder gleich 1200) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.operator_specifier", "de", "Operatormode (fx, fy, xfx, yfx, xfy, xf, yf) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.time_format", "de", "Zeitformat erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.atom_option", "de", "Atomoption erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.absolute_option", "de", "Absolutoption erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.atom", "de", "Atom erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.number", "de", "Zahl erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.integer", "de", "Ganzzahl erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.callable", "de", "Argument sollte aufrufbar sein (Atom oder Verbund), gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.atomic", "de", "Argument sollte atomar sein, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.list", "de", "Liste ([] oder [_|_]) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.evaluable", "de", "Berechenbaren Funktion erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.character", "de", "Zeichen erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.pair", "de", "Paar (_-_) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.predicate_indicator", "de", "Prädikatindikator (_/_) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["type_error.maybe", "de", "Option (nothing oder just(_)) erwartet, gefunden ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.flag", "de", "Kann schreibgeschütztes Flag ~q nicht aktualisieren."], [], -1))
add(Clause(0, "strings", ["evaluation_error.float_overflow", "", "The function overflows the float range here."], [], -1))
add(Clause(0, "strings", ["evaluation_error.undefined", "", "The function is undefined here."], [], -1))
add(Clause(0, "strings", ["evaluation_error.zero_divisor", "", "Division by zero."], [], -1))
add(Clause(0, "strings", ["resource_error.not_supported", "", "Operation not supported."], [], -1))
add(Clause(0, "strings", ["resource_error.interrupted_exception", "", "Operation terminated unexpectedly."], [], -1))
add(Clause(0, "strings", ["representation_error.int", "", "Illegal integer (not between - 2^31 and 2^31-1)."], [], -1))
add(Clause(0, "strings", ["representation_error.long", "", "Illegal integer (not between - 2^63 and 2^63-1)."], [], -1))
add(Clause(0, "strings", ["representation_error.max_arity", "", "Illegal arity (not less or equal 2^31-1)."], [], -1))
add(Clause(0, "strings", ["domain_error.prolog_flag", "", "Flag expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.not_less_than_zero", "", "Positive or 0 expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.operator_priority", "", "Operator level (less or equal 1200) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.operator_specifier", "", "Operator mode (fx, fy, xfx, yfx, xfy, xf, yf) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.time_format", "", "Time format expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.atom_option", "", "Atom option expected, found ~q."], [], -1))
add(Clause(0, "strings", ["domain_error.absolute_option", "", "Absolute option expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.atom", "", "Atom expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.number", "", "Number expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.integer", "", "Integer expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.callable", "", "Argument should be callable (atom or compound), found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.atomic", "", "Argument should be an atomic, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.list", "", "List ([] or [_|_]) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.evaluable", "", "Evaluable functor expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.character", "", "Character expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.pair", "", "Pair (_-_) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.predicate_indicator", "", "Predicate indicator (_/_) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["type_error.maybe", "", "Maybe (nothing or just(_)) expected, found ~q."], [], -1))
add(Clause(0, "strings", ["permission_error.modify.flag", "", "Can\'t modify read-only flag ~q."], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_code_class", 2])], -1))
add(Clause(2, "sys_code_class", [44, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [40, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [41, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [124, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [91, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [93, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [123, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [125, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_punct"])], 0))
add(Clause(2, "sys_code_class", [59, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [33, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [39, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [96, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [34, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [37, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_solo"])], 0))
add(Clause(2, "sys_code_class", [8205, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_graphic"])], 0))
add(Clause(2, "sys_code_class", [65039, Place(1)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), "is_graphic"])], 0))
add(Clause(3, "sys_code_class", [Place(0), Place(1)], [Skeleton(Cache("code_category"), [Place(0), Place(2)]), Skeleton(Cache("sys_type_class"), [Place(2), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_type_class", 2])], -1))
add(Clause(0, "sys_type_class", [0, "is_invalid"], [], -1))
add(Clause(0, "sys_type_class", [1, "is_upper"], [], -1))
add(Clause(0, "sys_type_class", [2, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [3, "is_upper"], [], -1))
add(Clause(0, "sys_type_class", [4, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [5, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [6, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [7, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [8, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [9, "is_digit"], [], -1))
add(Clause(0, "sys_type_class", [10, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [11, "is_ident"], [], -1))
add(Clause(0, "sys_type_class", [12, "is_blank"], [], -1))
add(Clause(0, "sys_type_class", [13, "is_blank"], [], -1))
add(Clause(0, "sys_type_class", [14, "is_blank"], [], -1))
add(Clause(0, "sys_type_class", [15, "is_cntrl"], [], -1))
add(Clause(0, "sys_type_class", [16, "is_cntrl"], [], -1))
add(Clause(0, "sys_type_class", [18, "is_invalid"], [], -1))
add(Clause(0, "sys_type_class", [19, "is_invalid"], [], -1))
add(Clause(0, "sys_type_class", [20, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [21, "is_solo"], [], -1))
add(Clause(0, "sys_type_class", [22, "is_solo"], [], -1))
add(Clause(0, "sys_type_class", [23, "is_score"], [], -1))
add(Clause(0, "sys_type_class", [24, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [25, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [26, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [27, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [28, "is_graphic"], [], -1))
add(Clause(0, "sys_type_class", [29, "is_solo"], [], -1))
add(Clause(0, "sys_type_class", [30, "is_solo"], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_name_class", 1])], -1))
add(Clause(0, "sys_name_class", ["is_ident"], [], -1))
add(Clause(0, "sys_name_class", ["is_upper"], [], -1))
add(Clause(0, "sys_name_class", ["is_score"], [], -1))
add(Clause(0, "sys_name_class", ["is_digit"], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_white_class", 1])], -1))
add(Clause(0, "sys_white_class", ["is_blank"], [], -1))
add(Clause(0, "sys_white_class", ["is_cntrl"], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_token", 3])], -1))
add(Clause(6, "sys_get_token", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_current_code"), [Place(3), Place(1), Place(4)]), Skeleton(Cache("sys_code_class"), [Place(3), Place(5)]), Skeleton(Cache("sys_get_class"), [Place(5), Place(3), Place(0), Place(4), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_class", 5])], -1))
add(Clause(7, "sys_get_class", ["is_ident", Place(0), Skeleton("atom", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_name"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("atom_codes"), [Place(1), Skeleton(".", [Place(0), Place(5)])]), Skeleton(Cache("="), [Place(6), Place(3)])], -1))
add(Clause(7, "sys_get_class", ["is_upper", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_name"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_make_variable"), [Skeleton(".", [Place(0), Place(5)]), Place(1)]), Skeleton(Cache("="), [Place(6), Place(3)])], -1))
add(Clause(7, "sys_get_class", ["is_score", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_name"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_make_variable"), [Skeleton(".", [Place(0), Place(5)]), Place(1)]), Skeleton(Cache("="), [Place(6), Place(3)])], -1))
add(Clause(4, "sys_get_class", ["is_digit", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_get_number"), [Place(0), Place(1), Place(2), Place(3)])], -1))
add(Clause(5, "sys_get_class", ["is_punct", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("char_code"), [Place(1), Place(0)]), Skeleton(Cache("="), [Place(4), Place(3)])], -1))
add(Clause(5, "sys_get_class", ["is_graphic", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_block_or_symbol"), [Place(0), Place(1), Place(4), Place(3)])], -1))
add(Clause(4, "sys_get_class", ["is_solo", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_get_line_or_solo"), [Place(0), Place(1), Place(2), Place(3)])], -1))
add(Clause(4, "sys_get_class", ["is_invalid", Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_get_eof_or_error"), [Place(0), Place(1), Place(2), Place(3)])], -1))
add(Clause(4, "sys_get_class", ["is_blank", NotImplemented, Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_next_code"), [Place(1), Place(3)]), Skeleton(Cache("sys_get_token"), [Place(0), Place(3), Place(2)])], -1))
add(Clause(4, "sys_get_class", ["is_cntrl", NotImplemented, Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_next_code"), [Place(1), Place(3)]), Skeleton(Cache("sys_get_token"), [Place(0), Place(3), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_eof_or_error", 4])], -1))
add(Clause(3, "sys_get_eof_or_error", [-1, "end_of_file", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_get_eof_or_error", [NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["illegal_unicode"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_name", 3])], -1))
add(Clause(8, "sys_get_name", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_code_class"), [Place(1), Place(6)]), Skeleton(Cache("sys_name_class"), [Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(7)]), Skeleton(Cache("sys_get_name"), [Place(2), Place(7), Place(4)])], 0))
add(Clause(1, "sys_get_name", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_make_variable", 2])], -1))
add(Clause(2, "sys_make_variable", [Skeleton(".", [Place(1), "[]"]), "anon"], [Skeleton(Cache("code_category"), [Place(1), 23]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_make_variable", [Place(0), Skeleton("var", [Place(1)])], [Skeleton(Cache("atom_codes"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_number", 4])], -1))
add(Clause(7, "sys_get_number", [48, Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_special"), [Place(5), Place(1), Place(6), Place(3)])], 0))
add(Clause(5, "sys_get_number", [Place(0), Skeleton("decimal", [Skeleton(".", [Place(0), Place(1)])]), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_decimal"), [Place(1), Place(4), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_special", 4])], -1))
add(Clause(5, "sys_get_special", [120, Skeleton("radix", [Place(1), 16]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_radix"), [Place(1), "[]", 16, Place(4), Place(3)])], 0))
add(Clause(5, "sys_get_special", [111, Skeleton("radix", [Place(1), 8]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_radix"), [Place(1), "[]", 8, Place(4), Place(3)])], 0))
add(Clause(5, "sys_get_special", [98, Skeleton("radix", [Place(1), 2]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_radix"), [Place(1), "[]", 2, Place(4), Place(3)])], 0))
add(Clause(5, "sys_get_special", [114, Skeleton("exotic", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_name"), [Place(1), Place(4), Place(3)])], 0))
add(Clause(7, "sys_get_special", [39, Skeleton("code", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_code"), [Place(5), Place(1), Place(6), Place(3)])], 0))
add(Clause(3, "sys_get_special", [NotImplemented, Skeleton("decimal", [Skeleton(".", [48, Place(0)])]), Place(1), Place(2)], [Skeleton(Cache("sys_get_decimal"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_decimal", 3])], -1))
add(Clause(7, "sys_get_decimal", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("code_category"), [Place(1), 9]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_decimal"), [Place(2), Place(6), Place(4)])], 0))
add(Clause(8, "sys_get_decimal", [Skeleton(".", [46, Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_current_code"), [46, Place(2), Place(4)]), Skeleton(Cache("sys_at_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("code_category"), [Place(5), 9]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(6), Place(7)]), Skeleton(Cache("sys_get_fraction"), [Place(1), Place(7), Place(3)])], 0))
add(Clause(9, "sys_get_decimal", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_is_expo"), [Place(1)]), Skeleton(Cache("sys_at_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_is_sign_digit"), [Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(7), Place(8)]), Skeleton(Cache("sys_get_exponent"), [Place(2), Place(8), Place(4)])], 0))
add(Clause(1, "sys_get_decimal", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_fraction", 3])], -1))
add(Clause(7, "sys_get_fraction", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("code_category"), [Place(1), 9]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_fraction"), [Place(2), Place(6), Place(4)])], 0))
add(Clause(9, "sys_get_fraction", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_is_expo"), [Place(1)]), Skeleton(Cache("sys_at_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_is_sign_digit"), [Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(7), Place(8)]), Skeleton(Cache("sys_get_exponent"), [Place(2), Place(8), Place(4)])], 0))
add(Clause(1, "sys_get_fraction", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_exponent", 3])], -1))
add(Clause(7, "sys_get_exponent", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_is_sign"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_rest"), [Place(2), Place(6), Place(4)])], 0))
add(Clause(3, "sys_get_exponent", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_get_rest"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_rest", 3])], -1))
add(Clause(7, "sys_get_rest", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("code_category"), [Place(1), 9]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_rest"), [Place(2), Place(6), Place(4)])], 0))
add(Clause(1, "sys_get_rest", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_expo", 1])], -1))
add(Clause(0, "sys_is_expo", [69], [], -1))
add(Clause(0, "sys_is_expo", [101], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_sign_digit", 1])], -1))
add(Clause(1, "sys_is_sign_digit", [Place(0)], [Skeleton(Cache("sys_is_sign"), [Place(0)])], -1))
add(Clause(1, "sys_is_sign_digit", [Place(0)], [Skeleton(Cache("code_category"), [Place(0), 9])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_sign", 1])], -1))
add(Clause(0, "sys_is_sign", [45], [], -1))
add(Clause(0, "sys_is_sign", [43], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_block_or_symbol", 4])], -1))
add(Clause(7, "sys_get_block_or_symbol", [47, Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_code"), [42, Place(2), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(4), Place(5)]), Skeleton(Cache("sys_skip_block"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_token"), [Place(1), Place(6), Place(3)])], 0))
add(Clause(8, "sys_get_block_or_symbol", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_get_symbol"), [Place(4), Place(2), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_make_period"), [Place(6), Skeleton(".", [Place(0), Place(4)]), Place(1)]), Skeleton(Cache("="), [Place(7), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_symbol", 3])], -1))
add(Clause(7, "sys_get_symbol", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_code_class"), [Place(1), "is_graphic"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(5), Place(6)]), Skeleton(Cache("sys_get_symbol"), [Place(2), Place(6), Place(4)])], 0))
add(Clause(1, "sys_get_symbol", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_skip_block", 2])], -1))
add(Clause(5, "sys_skip_block", [Place(1), Place(2)], [Skeleton(Cache("sys_current_code"), [42, Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(4)]), Skeleton(Cache("sys_skip_end"), [Place(4), Place(2)])], 0))
add(Clause(3, "sys_skip_block", [Place(0), Place(1)], [Skeleton(Cache("sys_current_code"), [-1, Place(0), Place(2)]), Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["end_of_file_in_block_comment"]), NotImplemented])]), Skeleton(Cache("="), [Place(2), Place(1)])], -1))
add(Clause(3, "sys_skip_block", [Place(0), Place(1)], [Skeleton(Cache("sys_next_code"), [Place(0), Place(2)]), Skeleton(Cache("sys_skip_block"), [Place(2), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_skip_end", 2])], -1))
add(Clause(4, "sys_skip_end", [Place(1), Place(2)], [Skeleton(Cache("sys_current_code"), [47, Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(2)])], 0))
add(Clause(2, "sys_skip_end", [Place(0), Place(1)], [Skeleton(Cache("sys_skip_block"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_make_period", 3])], -1))
add(Clause(1, "sys_make_period", [37, Frozen(".", [46, "[]"]), "."], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_make_period", [-1, Frozen(".", [46, "[]"]), "."], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_make_period", [Place(1), Frozen(".", [46, "[]"]), "."], [Skeleton(Cache("sys_code_class"), [Place(1), Place(2)]), Skeleton(Cache("sys_white_class"), [Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_make_period", [NotImplemented, Place(0), Skeleton("atom", [Place(1)])], [Skeleton(Cache("atom_codes"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_line_or_solo", 4])], -1))
add(Clause(7, "sys_get_line_or_solo", [39, Skeleton("single", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_quote"), [Place(5), Place(1), 39, Place(6), Place(3)])], 0))
add(Clause(7, "sys_get_line_or_solo", [34, Skeleton("codes", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_quote"), [Place(5), Place(1), 34, Place(6), Place(3)])], 0))
add(Clause(7, "sys_get_line_or_solo", [96, Skeleton("back", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_quote"), [Place(5), Place(1), 96, Place(6), Place(3)])], 0))
add(Clause(8, "sys_get_line_or_solo", [37, Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_skip_line"), [Place(5), Place(6), Place(7)]), Skeleton(Cache("sys_get_token"), [Place(1), Place(7), Place(3)])], 0))
add(Clause(5, "sys_get_line_or_solo", [Place(0), Skeleton("atom", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("char_code"), [Place(1), Place(0)]), Skeleton(Cache("="), [Place(4), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_skip_line", 3])], -1))
add(Clause(3, "sys_skip_line", [10, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_skip_line", [13, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_skip_line", [-1, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(5, "sys_skip_line", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("sys_next_code"), [Place(0), Place(2)]), Skeleton(Cache("sys_current_code"), [Place(3), Place(2), Place(4)]), Skeleton(Cache("sys_skip_line"), [Place(3), Place(4), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_quote", 5])], -1))
add(Clause(8, "sys_get_quote", [Place(1), Place(2), Place(1), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_get_more"), [Place(6), Place(2), Place(1), Place(7), Place(4)])], 0))
add(Clause(8, "sys_get_quote", [92, Skeleton(".", [92, Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_get_cont"), [Place(6), Place(1), Place(2), Place(7), Place(4)])], 0))
add(Clause(3, "sys_get_quote", [10, Frozen(".", [-1, "[]"]), NotImplemented, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_get_quote", [13, Frozen(".", [-1, "[]"]), NotImplemented, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_get_quote", [-1, Frozen(".", [-1, "[]"]), NotImplemented, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(8, "sys_get_quote", [Place(0), Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_get_quote"), [Place(6), Place(1), Place(2), Place(7), Place(4)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_more", 5])], -1))
add(Clause(8, "sys_get_more", [Place(1), Skeleton(".", [Place(1), Skeleton(".", [Place(1), Place(2)])]), Place(1), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_get_quote"), [Place(6), Place(2), Place(1), Place(7), Place(4)])], 0))
add(Clause(1, "sys_get_more", [NotImplemented, "[]", NotImplemented, Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_code", 4])], -1))
add(Clause(5, "sys_get_code", [39, Skeleton(".", [39, Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_get_double"), [Place(1), Place(4), Place(3)])], 0))
add(Clause(7, "sys_get_code", [92, Skeleton(".", [92, Place(1)]), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(2), Place(4)]), Skeleton(Cache("sys_current_code"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_get_escape"), [Place(5), Place(1), "[]", Place(6), Place(3)])], 0))
add(Clause(3, "sys_get_code", [10, Frozen(".", [-1, "[]"]), Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_get_code", [13, Frozen(".", [-1, "[]"]), Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_get_code", [-1, Frozen(".", [-1, "[]"]), Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_get_code", [Place(0), Skeleton(".", [Place(0), "[]"]), Place(1), Place(2)], [Skeleton(Cache("sys_next_code"), [Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_double", 3])], -1))
add(Clause(4, "sys_get_double", [Frozen(".", [39, "[]"]), Place(1), Place(2)], [Skeleton(Cache("sys_current_code"), [39, Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(2)])], 0))
add(Clause(1, "sys_get_double", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_cont", 5])], -1))
add(Clause(8, "sys_get_cont", [10, Skeleton(".", [10, Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_current_code"), [Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_get_quote"), [Place(6), Place(1), Place(2), Place(7), Place(4)])], 0))
add(Clause(10, "sys_get_cont", [13, Skeleton(".", [13, Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_get_skip"), [Place(1), Place(6), Place(5), Place(7)]), Skeleton(Cache("sys_current_code"), [Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_get_quote"), [Place(8), Place(6), Place(2), Place(9), Place(4)])], 0))
add(Clause(9, "sys_get_cont", [Place(0), Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_get_escape"), [Place(0), Place(1), Place(5), Place(3), Place(6)]), Skeleton(Cache("sys_current_code"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_get_quote"), [Place(7), Place(5), Place(2), Place(8), Place(4)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_skip", 4])], -1))
add(Clause(5, "sys_get_skip", [Skeleton(".", [10, Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_code"), [10, Place(2), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(4), Place(3)])], 0))
add(Clause(2, "sys_get_skip", [Place(0), Place(0), Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_escape", 5])], -1))
add(Clause(8, "sys_get_escape", [120, Skeleton(".", [120, Place(1)]), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(3), Place(5)]), Skeleton(Cache("sys_get_radix"), [Place(1), Place(6), 16, Place(5), Place(7)]), Skeleton(Cache("sys_get_backslash"), [Place(6), Place(2), Place(7), Place(4)])], 0))
add(Clause(9, "sys_get_escape", [Place(1), Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4), Place(5)], [Skeleton(Cache("sys_is_radix"), [Place(1), 8]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(4), Place(6)]), Skeleton(Cache("sys_get_radix"), [Place(2), Place(7), 8, Place(6), Place(8)]), Skeleton(Cache("sys_get_backslash"), [Place(7), Place(3), Place(8), Place(5)])], 0))
add(Clause(4, "sys_get_escape", [10, Skeleton(".", [-1, Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_get_escape", [13, Skeleton(".", [-1, Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_get_escape", [-1, Skeleton(".", [-1, Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_get_escape", [Place(0), Skeleton(".", [Place(0), Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_next_code"), [Place(2), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_backslash", 4])], -1))
add(Clause(5, "sys_get_backslash", [Skeleton(".", [92, Place(1)]), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_code"), [92, Place(2), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(4), Place(3)])], 0))
add(Clause(2, "sys_get_backslash", [Place(0), Place(0), Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_get_radix", 5])], -1))
add(Clause(9, "sys_get_radix", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("sys_current_code"), [Place(1), Place(5), Place(7)]), Skeleton(Cache("sys_is_radix"), [Place(1), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_code"), [Place(7), Place(8)]), Skeleton(Cache("sys_get_radix"), [Place(2), Place(3), Place(4), Place(8), Place(6)])], 0))
add(Clause(2, "sys_get_radix", [Place(0), Place(0), NotImplemented, Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_radix", 2])], -1))
add(Clause(3, "sys_is_radix", [Place(0), Place(1)], [Skeleton(Cache("code_numeric"), [Place(0), Place(2)]), Skeleton(Cache("=<"), [0, Place(2)]), Skeleton(Cache("<"), [Place(2), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_meta", 1])], -1))
add(Clause(0, "sys_is_meta", [39], [], -1))
add(Clause(0, "sys_is_meta", [96], [], -1))
add(Clause(0, "sys_is_meta", [34], [], -1))
add(Clause(0, "sys_is_meta", [92], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_is_escape", 2])], -1))
add(Clause(0, "sys_is_escape", [110, 10], [], -1))
add(Clause(0, "sys_is_escape", [116, 9], [], -1))
add(Clause(0, "sys_is_escape", [98, 8], [], -1))
add(Clause(0, "sys_is_escape", [102, 12], [], -1))
add(Clause(0, "sys_is_escape", [114, 13], [], -1))
add(Clause(0, "sys_is_escape", [97, 7], [], -1))
add(Clause(0, "sys_is_escape", [118, 11], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_code", 3])], -1))
add(Clause(2, "sys_current_code", [Place(0), Skeleton("-", [Place(1), Place(0)]), Skeleton("-", [Place(1), Place(0)])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_next_code", 2])], -1))
add(Clause(2, "sys_next_code", [Skeleton("-", [Place(0), NotImplemented]), Skeleton("-", [Place(0), Place(1)])], [Skeleton(Cache("get_code"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_at_code", 3])], -1))
add(Clause(3, "sys_at_code", [Place(0), Skeleton("-", [Place(1), Place(2)]), Skeleton("-", [Place(1), Place(2)])], [Skeleton(Cache("peek_code"), [Place(1), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_space", 3])], -1))
add(Clause(8, "sys_safe_space", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sub_atom"), [Place(2), 0, 1, NotImplemented, Place(4)]), Skeleton(Cache("char_code"), [Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_object_current"), [Place(1), "last", Place(6)]), Skeleton(Cache("sys_code_class"), [Place(6), Place(7)]), Skeleton(Cache("sys_safe_cases"), [Place(7), Place(1), Place(6), Place(5), Place(3)])], 0))
add(Clause(0, "sys_safe_space", [NotImplemented, NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_cases", 5])], -1))
add(Clause(5, "sys_safe_cases", [Place(1), Place(2), Place(3), Place(4), NotImplemented], [Skeleton(Cache("sys_name_class"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_name"), [Place(2), Place(3), Place(4)])], 0))
add(Clause(5, "sys_safe_cases", ["is_graphic", Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_symbol"), [Place(1), Place(2), Place(3), Place(4)])], 0))
add(Clause(3, "sys_safe_cases", ["is_solo", Place(1), Place(2), Place(2), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_safe_quote"), [Place(1), Place(2)])], 0))
add(Clause(0, "sys_safe_cases", [NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_name", 3])], -1))
add(Clause(4, "sys_safe_name", [Place(1), NotImplemented, Place(2)], [Skeleton(Cache("sys_code_class"), [Place(2), Place(3)]), Skeleton(Cache("sys_name_class"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(2, "sys_safe_name", [Place(1), 48, 39], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(0, "sys_safe_name", [NotImplemented, NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_symbol", 4])], -1))
add(Clause(3, "sys_safe_symbol", [Place(1), NotImplemented, Place(2), NotImplemented], [Skeleton(Cache("sys_code_class"), [Place(2), "is_graphic"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(4, "sys_safe_symbol", [Place(1), 45, Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(3), 4]), 0]), Skeleton(Cache("code_category"), [Place(2), 9]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(0, "sys_safe_symbol", [NotImplemented, NotImplemented, NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_safe_quote", 2])], -1))
add(Clause(2, "sys_safe_quote", [Place(1), 39], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(2, "sys_safe_quote", [Place(1), 96], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(2, "sys_safe_quote", [Place(1), 34], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(0, "sys_safe_quote", [NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_print_atom", 3])], -1))
add(Clause(5, "sys_print_atom", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(3), 16]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("open_input_atom_stream"), [Place(2), Place(4)]), Skeleton(Cache("sys_fancy_stream"), [Place(4), Place(1), ""])], 0))
add(Clause(2, "sys_print_atom", [Place(0), Place(1), NotImplemented], [Skeleton(Cache("put_atom"), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_token", 2])], -1))
add(Clause(4, "sys_convert_token", [Skeleton("single", [Place(1)]), Skeleton("atom", [Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_quote"), [Place(3), 39, Place(1), "[]"]), Skeleton(Cache("atom_codes"), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_convert_token", [Skeleton("back", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_quote"), [Place(3), 96, Place(1), "[]"]), Skeleton(Cache("sys_make_variable"), [Place(3), Place(2)])], 0))
add(Clause(4, "sys_convert_token", [Skeleton("decimal", [Place(1)]), Skeleton("const", [Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_codes"), [Place(3), Place(1)]), Skeleton(Cache("atom_number"), [Place(3), Place(2)])], 0))
add(Clause(5, "sys_convert_token", [Skeleton("radix", [Place(1), Place(2)]), Skeleton("const", [Place(3)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_codes"), [Place(4), Place(1)]), Skeleton(Cache("atom_integer"), [Place(4), Place(2), Place(3)])], 0))
add(Clause(4, "sys_convert_token", [Skeleton("exotic", [Place(1)]), Skeleton("const", [Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_codes"), [Place(3), Place(1)]), Skeleton(Cache("sys_convert_exotic"), [Place(3), Place(2)])], 0))
add(Clause(3, "sys_convert_token", [Skeleton("codes", [Place(1)]), Skeleton("const", [Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_quote"), [Place(2), 34, Place(1), "[]"])], 0))
add(Clause(3, "sys_convert_token", [Skeleton("code", [Place(1)]), Skeleton("const", [Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_code"), [Place(2), Place(1), "[]"])], 0))
add(Clause(1, "sys_convert_token", [Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_quote", 4])], -1))
add(Clause(6, "sys_convert_quote", [Place(1), Place(2), Skeleton(".", [92, Place(3)]), Place(4)], [Skeleton(Cache("sys_convert_sep"), [Place(3), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_quote"), [Place(1), Place(2), Place(5), Place(4)])], 0))
add(Clause(5, "sys_convert_quote", [Skeleton(".", [Place(1), Place(2)]), Place(1), Skeleton(".", [Place(1), Skeleton(".", [Place(1), Place(3)])]), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_quote"), [Place(2), Place(1), Place(3), Place(4)])], 0))
add(Clause(2, "sys_convert_quote", [NotImplemented, NotImplemented, Skeleton(".", [-1, Place(0)]), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["unbalanced_quoted"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
add(Clause(9, "sys_convert_quote", [Skeleton(".", [Place(1), Place(2)]), Place(3), Skeleton(".", [Place(4), Place(5)]), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_code_class"), [Place(4), Place(7)]), Skeleton(Cache("sys_convert_char"), [Place(7), Place(4), Place(1), Place(5), Place(8)]), Skeleton(Cache("sys_convert_quote"), [Place(2), Place(3), Place(8), Place(6)])], 0))
add(Clause(1, "sys_convert_quote", ["[]", NotImplemented, Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_sep", 2])], -1))
add(Clause(1, "sys_convert_sep", [Skeleton(".", [13, Skeleton(".", [10, Place(0)])]), Place(0)], [], -1))
add(Clause(1, "sys_convert_sep", [Skeleton(".", [10, Place(0)]), Place(0)], [], -1))
add(Clause(1, "sys_convert_sep", [Skeleton(".", [13, Place(0)]), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_code", 3])], -1))
add(Clause(3, "sys_convert_code", [39, Skeleton(".", [39, Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_double"), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_convert_code", [NotImplemented, Skeleton(".", [-1, Place(0)]), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["missing_char"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
add(Clause(5, "sys_convert_code", [Place(0), Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("sys_code_class"), [Place(1), Place(4)]), Skeleton(Cache("sys_convert_char"), [Place(4), Place(1), Place(0), Place(2), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_double", 2])], -1))
add(Clause(3, "sys_convert_double", [Skeleton(".", [39, Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_convert_double", [Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["doubling_missing"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_exotic", 2])], -1))
add(Clause(3, "sys_convert_exotic", [Place(1), Place(2)], [Skeleton(Cache("sys_atom_exotic"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_convert_exotic", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["exotic", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_atom_exotic", 2])], -1))
add(Clause(0, "sys_atom_exotic", ["True", True], [], -1))
add(Clause(0, "sys_atom_exotic", ["False", False], [], -1))
add(Clause(0, "sys_atom_exotic", ["None", None], [], -1))
add(Clause(0, "sys_atom_exotic", ["Inf", math.inf], [], -1))
add(Clause(0, "sys_atom_exotic", ["NaN", math.nan], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_char", 5])], -1))
add(Clause(4, "sys_convert_char", ["is_graphic", 92, Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_escape"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(2, "sys_convert_char", ["is_cntrl", NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["illegal_layout"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
add(Clause(2, "sys_convert_char", ["is_invalid", NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["illegal_unicode"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
add(Clause(2, "sys_convert_char", [NotImplemented, Place(0), Place(0), Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_escape", 3])], -1))
add(Clause(5, "sys_convert_escape", [Place(1), Skeleton(".", [Place(2), Place(3)]), Place(4)], [Skeleton(Cache("sys_is_escape"), [Place(2), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(4)])], 0))
add(Clause(8, "sys_convert_escape", [Place(1), Skeleton(".", [Place(2), Place(3)]), Place(4)], [Skeleton(Cache("sys_is_radix"), [Place(2), 8]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_radix"), [Place(5), 8, Place(3), Place(6)]), Skeleton(Cache("atom_codes"), [Place(7), Skeleton(".", [Place(2), Place(5)])]), Skeleton(Cache("atom_integer"), [Place(7), 8, Place(1)]), Skeleton(Cache("sys_convert_backslash"), [Place(6), Place(4)])], 0))
add(Clause(7, "sys_convert_escape", [Place(1), Skeleton(".", [120, Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_radix"), [Place(4), 16, Place(2), Place(5)]), Skeleton(Cache("atom_codes"), [Place(6), Place(4)]), Skeleton(Cache("atom_integer"), [Place(6), 16, Place(1)]), Skeleton(Cache("sys_convert_backslash"), [Place(5), Place(3)])], 0))
add(Clause(4, "sys_convert_escape", [Place(1), Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("sys_is_meta"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(2, "sys_convert_escape", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["illegal_escape"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_backslash", 2])], -1))
add(Clause(3, "sys_convert_backslash", [Skeleton(".", [92, Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(2, "sys_convert_backslash", [Place(0), Place(1)], [Skeleton(Cache("throw"), [Skeleton("error", [Frozen("syntax_error", ["unbalanced_escape"]), NotImplemented])]), Skeleton(Cache("="), [Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_convert_radix", 4])], -1))
add(Clause(6, "sys_convert_radix", [Skeleton(".", [Place(1), Place(2)]), Place(3), Skeleton(".", [Place(1), Place(4)]), Place(5)], [Skeleton(Cache("sys_is_radix"), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_convert_radix"), [Place(2), Place(3), Place(4), Place(5)])], 0))
add(Clause(1, "sys_convert_radix", ["[]", NotImplemented, Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_stream_opts", 2])], -1))
add(Clause(1, "sys_stream_opts", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_stream_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_stream_opt"), [Place(1), Place(3)]), Skeleton(Cache("sys_stream_opts"), [Place(2), Place(3)])], 0))
add(Clause(1, "sys_stream_opts", ["[]", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_stream_opts", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_stream_opt", 2])], -1))
add(Clause(1, "sys_stream_opt", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_stream_opt", [Skeleton("type", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_type"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_set"), [Place(2), "encoding", Place(3)])], 0))
add(Clause(1, "sys_stream_opt", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["open_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_check_type", 2])], -1))
add(Clause(1, "sys_check_type", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(1, "sys_check_type", ["text", "utf8"], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_check_type", ["binary", "latin1"], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_check_type", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["type", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_opts", 2])], -1))
add(Clause(1, "sys_open_opts", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_open_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_open_opt"), [Place(1), Place(3)]), Skeleton(Cache("sys_open_opts"), [Place(2), Place(3)])], 0))
add(Clause(1, "sys_open_opts", ["[]", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_open_opts", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_opt", 2])], -1))
add(Clause(1, "sys_open_opt", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(3, "sys_open_opt", [Skeleton("method", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("ir_object_set"), [Place(2), "method", Place(1)])], 0))
add(Clause(4, "sys_open_opt", [Skeleton("headers", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_object_new"), [Place(3)]), Skeleton(Cache("sys_header_opts"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_set"), [Place(2), "headers", Place(3)])], 0))
add(Clause(4, "sys_open_opt", [Skeleton("body", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("ir_object_new"), [Place(3)]), Skeleton(Cache("ir_object_set"), [Place(3), "text", Place(1)]), Skeleton(Cache("ir_object_set"), [Place(2), "body", Place(3)])], 0))
add(Clause(5, "sys_open_opt", [Skeleton("body", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("ir_object_new"), [Place(4)]), Skeleton(Cache("ir_object_set"), [Place(4), "text", Place(1)]), Skeleton(Cache("sys_stream_opts"), [Place(2), Place(4)]), Skeleton(Cache("ir_object_set"), [Place(3), "body", Place(4)])], 0))
add(Clause(4, "sys_open_opt", [Skeleton("type", [Place(1)]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_check_type"), [Place(1), Place(3)]), Skeleton(Cache("ir_object_set"), [Place(2), "encoding", Place(3)])], 0))
add(Clause(1, "sys_open_opt", [Skeleton("uri", [NotImplemented]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_open_opt", [Skeleton("status", [NotImplemented]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_open_opt", [Skeleton("fields", [NotImplemented]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_open_opt", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["open_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_header_opts", 2])], -1))
add(Clause(1, "sys_header_opts", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_header_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_header_opt"), [Place(1), Place(3)]), Skeleton(Cache("sys_header_opts"), [Place(2), Place(3)])], 0))
add(Clause(1, "sys_header_opts", ["[]", NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_header_opts", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_header_opt", 2])], -1))
add(Clause(1, "sys_header_opt", [Place(0), NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_header_opt", [Skeleton("-", [Place(1), Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("must_be"), ["atom", Place(1)]), Skeleton(Cache("must_be"), ["atom", Place(2)]), Skeleton(Cache("ir_object_set"), [Place(3), Place(1), Place(2)])], 0))
add(Clause(1, "sys_header_opt", [Place(0), NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["pair", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_results", 2])], -1))
add(Clause(3, "sys_open_results", [Skeleton(".", [Place(0), Place(1)]), Place(2)], [Skeleton(Cache("sys_open_result"), [Place(0), Place(2)]), Skeleton(Cache("sys_open_results"), [Place(1), Place(2)])], -1))
add(Clause(0, "sys_open_results", ["[]", NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_open_result", 2])], -1))
add(Clause(0, "sys_open_result", [Skeleton("method", [NotImplemented]), NotImplemented], [], -1))
add(Clause(0, "sys_open_result", [Skeleton("headers", [NotImplemented]), NotImplemented], [], -1))
add(Clause(1, "sys_open_result", [Skeleton("body", [NotImplemented]), NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_open_result", [Skeleton("body", [NotImplemented, NotImplemented]), NotImplemented], [], -1))
add(Clause(0, "sys_open_result", [Skeleton("type", [NotImplemented]), NotImplemented], [], -1))
add(Clause(2, "sys_open_result", [Skeleton("uri", [Place(0)]), Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "uri", Place(0)])], -1))
add(Clause(2, "sys_open_result", [Skeleton("status", [Place(0)]), Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "status", Place(0)])], -1))
add(Clause(3, "sys_open_result", [Skeleton("fields", [Place(0)]), Place(1)], [Skeleton(Cache("ir_object_current"), [Place(1), "fields", Place(2)]), Skeleton(Cache("sys_header_results"), [Place(2), Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_header_results", 2])], -1))
add(Clause(3, "sys_header_results", [Place(0), Place(1)], [Skeleton(Cache("ir_object_keys"), [Place(0), Place(2)]), Skeleton(Cache("sys_header_results"), [Place(2), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_header_results", 3])], -1))
add(Clause(0, "sys_header_results", ["[]", NotImplemented, "[]"], [], -1))
add(Clause(5, "sys_header_results", [Skeleton(".", [Place(0), Place(1)]), Place(2), Skeleton(".", [Skeleton("-", [Place(0), Place(3)]), Place(4)])], [Skeleton(Cache("ir_object_current"), [Place(2), Place(0), Place(3)]), Skeleton(Cache("sys_header_results"), [Place(1), Place(2), Place(4)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_opts", 3])], -1))
add(Clause(1, "sys_write_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(6, "sys_write_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_opt"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_write_opts"), [Place(2), Place(5), Place(4)])], 0))
add(Clause(2, "sys_write_opts", ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_write_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_opt", 3])], -1))
add(Clause(1, "sys_write_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(5, "sys_write_opt", [Skeleton("variable_names", [Place(1)]), Skeleton("h", [NotImplemented, Place(2), Place(3), Place(4)]), Skeleton("h", [Place(1), Place(2), Place(3), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_write_opt", [Skeleton("anonymous", [Place(1)]), Skeleton("h", [Place(2), NotImplemented, Place(3), Place(4)]), Skeleton("h", [Place(2), Place(1), Place(3), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(7, "sys_write_opt", [Skeleton("quoted", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), Place(5)]), Skeleton("h", [Place(2), Place(3), Place(6), Place(5)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 1, Place(4), Place(6)])], 0))
add(Clause(7, "sys_write_opt", [Skeleton("ignore_ops", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), Place(5)]), Skeleton("h", [Place(2), Place(3), Place(6), Place(5)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 2, Place(4), Place(6)])], 0))
add(Clause(7, "sys_write_opt", [Skeleton("numbervars", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), Place(5)]), Skeleton("h", [Place(2), Place(3), Place(6), Place(5)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 8, Place(4), Place(6)])], 0))
add(Clause(5, "sys_write_opt", [Skeleton("priority", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), NotImplemented]), Skeleton("h", [Place(2), Place(3), Place(4), Place(1)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(7, "sys_write_opt", [Skeleton("format", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), Place(5)]), Skeleton("h", [Place(2), Place(3), Place(6), Place(5)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 4, Place(4), Place(6)])], 0))
add(Clause(7, "sys_write_opt", [Skeleton("colorize", [Place(1)]), Skeleton("h", [Place(2), Place(3), Place(4), Place(5)]), Skeleton("h", [Place(2), Place(3), Place(6), Place(5)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 16, Place(4), Place(6)])], 0))
add(Clause(1, "sys_write_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["write_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_opts", 3])], -1))
add(Clause(1, "sys_read_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(6, "sys_read_opts", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_read_opt"), [Place(1), Place(3), Place(5)]), Skeleton(Cache("sys_read_opts"), [Place(2), Place(5), Place(4)])], 0))
add(Clause(2, "sys_read_opts", ["[]", Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(1, "sys_read_opts", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("type_error", ["list", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_opt", 3])], -1))
add(Clause(1, "sys_read_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(2, "sys_read_opt", [Skeleton("variable_names", [NotImplemented]), Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_read_opt", [Skeleton("singletons", [NotImplemented]), Place(1), Place(1)], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_read_opt", [Skeleton("priority", [Place(1)]), Skeleton("z", [NotImplemented, Place(2)]), Skeleton("z", [Place(1), Place(2)])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(5, "sys_read_opt", [Skeleton("end_of_file", [Place(1)]), Skeleton("z", [Place(2), Place(3)]), Skeleton("z", [Place(2), Place(4)])], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_opt_boolean"), [Place(1), 1, Place(3), Place(4)])], 0))
add(Clause(1, "sys_read_opt", [Place(0), NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["read_option", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_results", 2])], -1))
add(Clause(3, "sys_read_results", [Skeleton(".", [Place(0), Place(1)]), Place(2)], [Skeleton(Cache("sys_read_result"), [Place(0), Place(2)]), Skeleton(Cache("sys_read_results"), [Place(1), Place(2)])], -1))
add(Clause(0, "sys_read_results", ["[]", NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_result", 2])], -1))
add(Clause(2, "sys_read_result", [Skeleton("variable_names", [Place(0)]), Skeleton("s", [Place(1), NotImplemented])], [Skeleton(Cache("reverse"), [Place(1), Place(0)])], -1))
add(Clause(2, "sys_read_result", [Skeleton("singletons", [Place(0)]), Skeleton("s", [NotImplemented, Place(1)])], [Skeleton(Cache("reverse"), [Place(1), Place(0)])], -1))
add(Clause(0, "sys_read_result", [Skeleton("priority", [NotImplemented]), NotImplemented], [], -1))
add(Clause(0, "sys_read_result", [Skeleton("end_of_file", [NotImplemented]), NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_opt_boolean", 4])], -1))
add(Clause(1, "sys_opt_boolean", [Place(0), NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("var"), [Place(0)]), Skeleton(Cache("throw"), [Skeleton("error", ["instantiation_error", NotImplemented])])], -1))
add(Clause(4, "sys_opt_boolean", ["true", Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("\\/"), [Place(2), Place(1)])])], 0))
add(Clause(4, "sys_opt_boolean", ["false", Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("/\\"), [Place(2), Skeleton(Cache("\\"), [Place(1)])])])], 0))
add(Clause(1, "sys_opt_boolean", [Place(0), NotImplemented, NotImplemented, NotImplemented], [Skeleton(Cache("throw"), [Skeleton("error", [Skeleton("domain_error", ["boolean", Place(0)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_atom", 1])], -1))
add(Clause(3, "sys_proper_atom", [Skeleton(".", [Place(0), Place(1)])], [Skeleton(Cache("sys_code_class"), [Place(0), Place(2)]), Skeleton(Cache("sys_proper_atom"), [Place(2), Skeleton(".", [Place(0), Place(1)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_atom", 2])], -1))
add(Clause(1, "sys_proper_atom", ["is_ident", Skeleton(".", [NotImplemented, Place(0)])], [Skeleton(Cache("sys_proper_atom_name"), [Place(0)])], -1))
add(Clause(1, "sys_proper_atom", ["is_graphic", Frozen(".", [46, "[]"])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(1, "sys_proper_atom", ["is_graphic", Skeleton(".", [47, Skeleton(".", [42, NotImplemented])])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(1, "sys_proper_atom", ["is_graphic", Skeleton(".", [NotImplemented, Place(0)])], [Skeleton(Cache("sys_proper_atom_graphic"), [Place(0)])], -1))
add(Clause(1, "sys_proper_atom", ["is_solo", Frozen(".", [39, "[]"])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(1, "sys_proper_atom", ["is_solo", Frozen(".", [96, "[]"])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(1, "sys_proper_atom", ["is_solo", Frozen(".", [34, "[]"])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(1, "sys_proper_atom", ["is_solo", Frozen(".", [37, "[]"])], [Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0))
add(Clause(0, "sys_proper_atom", ["is_solo", Skeleton(".", [NotImplemented, "[]"])], [], -1))
add(Clause(1, "sys_proper_atom", ["is_punct", Frozen(".", [91, Frozen(".", [93, "[]"])])], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_proper_atom", ["is_punct", Frozen(".", [123, Frozen(".", [125, "[]"])])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_atom_name", 1])], -1))
add(Clause(4, "sys_proper_atom_name", [Skeleton(".", [Place(1), Place(2)])], [Skeleton(Cache("sys_code_class"), [Place(1), Place(3)]), Skeleton(Cache("sys_name_class"), [Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_proper_atom_name"), [Place(2)])], 0))
add(Clause(0, "sys_proper_atom_name", ["[]"], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_atom_graphic", 1])], -1))
add(Clause(3, "sys_proper_atom_graphic", [Skeleton(".", [Place(1), Place(2)])], [Skeleton(Cache("sys_code_class"), [Place(1), "is_graphic"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_proper_atom_graphic"), [Place(2)])], 0))
add(Clause(0, "sys_proper_atom_graphic", ["[]"], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_escape_codes", 3])], -1))
add(Clause(6, "sys_escape_codes", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_code_class"), [Place(0), Place(4)]), Skeleton(Cache("sys_escape_code"), [Place(4), Place(0), Place(2), Place(5)]), Skeleton(Cache("sys_escape_codes"), [Place(1), Place(5), Place(3)])], -1))
add(Clause(1, "sys_escape_codes", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_escape_code", 4])], -1))
add(Clause(5, "sys_escape_code", ["is_cntrl", Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_is_escape"), [Place(4), Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [92, Skeleton(".", [Place(4), Place(3)])])])], 0))
add(Clause(4, "sys_escape_code", ["is_cntrl", Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_escape_code2"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(4, "sys_escape_code", ["is_solo", Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_is_meta"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [92, Skeleton(".", [Place(1), Place(3)])])])], 0))
add(Clause(4, "sys_escape_code", ["is_graphic", Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_is_meta"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [92, Skeleton(".", [Place(1), Place(3)])])])], 0))
add(Clause(4, "sys_escape_code", ["is_invalid", Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_escape_code2"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(2, "sys_escape_code", [NotImplemented, Place(0), Skeleton(".", [Place(0), Place(1)]), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_escape_code2", 3])], -1))
add(Clause(8, "sys_escape_code2", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=<"), [Place(1), 511]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_integer"), [Place(4), 8, Place(1)]), Skeleton(Cache("atom_codes"), [Place(4), Place(5)]), Skeleton(Cache("="), [Place(2), Skeleton(".", [92, Place(6)])]), Skeleton(Cache("sys_escape_codes2"), [Place(5), Place(6), Place(7)]), Skeleton(Cache("="), [Place(7), Skeleton(".", [92, Place(3)])])], 0))
add(Clause(7, "sys_escape_code2", [Place(0), Place(1), Place(2)], [Skeleton(Cache("atom_integer"), [Place(3), 16, Place(0)]), Skeleton(Cache("atom_codes"), [Place(3), Place(4)]), Skeleton(Cache("="), [Place(1), Skeleton(".", [92, Skeleton(".", [120, Place(5)])])]), Skeleton(Cache("sys_escape_codes2"), [Place(4), Place(5), Place(6)]), Skeleton(Cache("="), [Place(6), Skeleton(".", [92, Place(2)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_escape_codes2", 3])], -1))
add(Clause(6, "sys_escape_codes2", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Skeleton(".", [Place(1), Place(5)])]), Skeleton(Cache("sys_escape_codes2"), [Place(2), Place(5), Place(4)])], 0))
add(Clause(1, "sys_escape_codes2", ["[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_numbervars_name", 2])], -1))
add(Clause(4, "sys_numbervars_name", [Place(1), Place(2)], [Skeleton(Cache("<"), [Place(1), 26]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(1), 65])]), Skeleton(Cache("char_code"), [Place(2), Place(3)])], 0))
add(Clause(6, "sys_numbervars_name", [Place(0), Place(1)], [Skeleton(Cache("is"), [Place(2), Skeleton(Cache("+"), [Skeleton(Cache("rem"), [Place(0), 26]), 65])]), Skeleton(Cache("char_code"), [Place(3), Place(2)]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("+"), [Skeleton(Cache("//"), [Place(0), 26]), 1])]), Skeleton(Cache("atom_integer"), [Place(5), 10, Place(4)]), Skeleton(Cache("atom_concat"), [Place(3), Place(5), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_multifile_safe"), ["strings", 3])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["strings", 3])], -1))
add(Clause(0, "strings", ["syntax_error.illegal_number", "de", "Keine Nummer."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_date", "de", "Kein Datum."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_layout", "de", "Unerlaubtes Druckbildzeichen in Zeichenkette."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_unicode", "de", "Unerlaubtes Unicodezeichen im Text."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_escape", "de", "Unerlaubte Steuersequenz in Zeichenkette."], [], -1))
add(Clause(0, "strings", ["syntax_error.unbalanced_escape", "de", "Steuersequenz nicht abgeschlossen."], [], -1))
add(Clause(0, "strings", ["syntax_error.end_of_file_in_block_comment", "de", "Blockkommentar nicht geschlossen."], [], -1))
add(Clause(0, "strings", ["syntax_error.singleton_var", "de", "Alleinstehende Variable(n) ~q."], [], -1))
add(Clause(0, "strings", ["syntax_error.multiton_var", "de", "Mehrfache markierte Variable(n) ~q."], [], -1))
add(Clause(0, "strings", ["syntax_error.bracket_balance", "de", "Rechte eckige Klammer (\"]\") fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.brace_balance", "de", "Rechte geschweifte Klammer (\"}\") fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.parenthesis_balance", "de", "Rechte runde Klammer (\")\") fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.end_of_clause_expected", "de", "Überflüssiges Token."], [], -1))
add(Clause(0, "strings", ["syntax_error.operator_clash", "de", "Runde Klammer (\"(\") vor Operator fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.cannot_start_term", "de", "Term fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.doubling_missing", "de", "Anführungszeichen nicht zweifach."], [], -1))
add(Clause(0, "strings", ["syntax_error.unbalanced_quoted", "de", "Zeichenkette nicht abgeschlossen."], [], -1))
add(Clause(0, "strings", ["syntax_error.missing_char", "de", "Zeichen fehlt."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_number", "", "Not a number."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_date", "", "Not a date."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_layout", "", "Illegal layout character in string."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_unicode", "", "Illegal Unicode character in text."], [], -1))
add(Clause(0, "strings", ["syntax_error.illegal_escape", "", "Illegal escape sequence in string."], [], -1))
add(Clause(0, "strings", ["syntax_error.unbalanced_escape", "", "Escape sequence not closed."], [], -1))
add(Clause(0, "strings", ["syntax_error.end_of_file_in_block_comment", "", "Block comment not closed."], [], -1))
add(Clause(0, "strings", ["syntax_error.singleton_var", "", "Singleton variable(s) ~q."], [], -1))
add(Clause(0, "strings", ["syntax_error.multiton_var", "", "Multiton marked variable(s) ~q."], [], -1))
add(Clause(0, "strings", ["syntax_error.bracket_balance", "", "Right bracket (\"]\") missing."], [], -1))
add(Clause(0, "strings", ["syntax_error.brace_balance", "", "Right brace (\"}\") missing."], [], -1))
add(Clause(0, "strings", ["syntax_error.parenthesis_balance", "", "Right parenthesis (\")\") missing."], [], -1))
add(Clause(0, "strings", ["syntax_error.end_of_clause_expected", "", "Superfluous token."], [], -1))
add(Clause(0, "strings", ["syntax_error.operator_clash", "", "Parenthesis (\"(\") before operator missing."], [], -1))
add(Clause(0, "strings", ["syntax_error.cannot_start_term", "", "Term missing."], [], -1))
add(Clause(0, "strings", ["syntax_error.doubling_missing", "", "Quote not doubled."], [], -1))
add(Clause(0, "strings", ["syntax_error.unbalanced_quoted", "", "String not closed."], [], -1))
add(Clause(0, "strings", ["syntax_error.missing_char", "", "Character missing."], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["write_term", 3])], -1))
add(Clause(7, "write_term", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_write_opts"), [Place(2), Frozen("h", ["[]", "[]", 0, 1200]), Skeleton("h", [Place(3), Place(4), Place(5), Place(6)])]), Skeleton(Cache("ir_object_set"), [Place(0), "last", -1]), Skeleton(Cache("sys_write_priority"), [Place(1), Skeleton("w", [1, Place(6), 0]), Skeleton("v", [Place(0), Place(5), Place(3), Place(4)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_priority", 3])], -1))
add(Clause(5, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("ir_is_site"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("ir_site_name"), [Place(1), Place(4)]), Skeleton(Cache("sys_write_priority"), [Place(4), Place(2), Place(3)])], 0))
add(Clause(4, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_var"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(4, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("number"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_number"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(4, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_atom"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(5, "sys_write_priority", [Skeleton("$VAR", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_current_flags"), [Place(3), Place(4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(4), 8]), 0]), Skeleton(Cache("integer"), [Place(1)]), Skeleton(Cache(">="), [Place(1), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_numbervars"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(5, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_flags"), [Place(3), Place(4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(4), 2]), 0]), Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_compound"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(6, "sys_write_priority", [Skeleton(".", [Place(1), Place(2)]), Skeleton("w", [NotImplemented, NotImplemented, Place(3)]), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(4), Place(5)]), Skeleton(Cache("put_atom"), [Place(5), "["]), Skeleton(Cache("sys_write_priority"), [Place(1), Skeleton("w", [1, 999, Place(3)]), Place(4)]), Skeleton(Cache("sys_write_list"), [Place(2), Place(3), Place(4)]), Skeleton(Cache("put_atom"), [Place(5), "]"])], 0))
add(Clause(5, "sys_write_priority", [Skeleton("{}", [Place(1)]), Skeleton("w", [NotImplemented, NotImplemented, Place(2)]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(4)]), Skeleton(Cache("put_atom"), [Place(4), "{"]), Skeleton(Cache("sys_write_priority"), [Place(1), Skeleton("w", [1, 1200, Place(2)]), Place(3)]), Skeleton(Cache("put_atom"), [Place(4), "}"])], 0))
add(Clause(9, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("functor"), [Place(1), Place(4), 1]), Skeleton(Cache("sys_op"), [Place(4), Place(5), Place(6), Place(7), NotImplemented]), Skeleton(Cache("sys_is_prefix"), [Place(5), Place(8)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_prefix"), [Place(1), Place(2), Place(3), Place(6), Place(7), Place(8)])], 0))
add(Clause(9, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("functor"), [Place(1), Place(4), 1]), Skeleton(Cache("sys_op"), [Place(4), Place(5), Place(6), Place(7), NotImplemented]), Skeleton(Cache("sys_is_postfix"), [Place(5), Place(8)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_postfix"), [Place(1), Place(2), Place(3), Place(6), Place(7), Place(8)])], 0))
add(Clause(10, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("functor"), [Place(1), Place(4), 2]), Skeleton(Cache("sys_op"), [Place(4), Place(5), Place(6), Place(7), NotImplemented]), Skeleton(Cache("sys_is_infix"), [Place(5), Place(8), Place(9)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_infix"), [Place(1), Place(2), Place(3), Place(6), Place(7), Place(8), Place(9)])], 0))
add(Clause(4, "sys_write_priority", [Place(1), Place(2), Place(3)], [Skeleton(Cache("compound"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_compound"), [Place(1), Place(2), Place(3)])], 0))
add(Clause(3, "sys_write_priority", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_write_exotic"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_number", 3])], -1))
add(Clause(7, "sys_write_number", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("float"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_number"), [Place(4), Place(1)]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(5)]), Skeleton(Cache("sys_safe_space"), [Place(5), Place(4), Place(2)]), Skeleton(Cache("sys_current_flags"), [Place(3), Place(6)]), Skeleton(Cache("sys_print_atom"), [Place(5), Place(4), Place(6)])], 0))
add(Clause(7, "sys_write_number", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("integer"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_integer"), [Place(4), 10, Place(1)]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(5)]), Skeleton(Cache("sys_safe_space"), [Place(5), Place(4), Place(2)]), Skeleton(Cache("sys_current_flags"), [Place(3), Place(6)]), Skeleton(Cache("sys_print_atom"), [Place(5), Place(4), Place(6)])], 0))
add(Clause(4, "sys_write_number", [-math.inf, Skeleton("w", [Place(1), NotImplemented, NotImplemented]), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(3)]), Skeleton(Cache("put_atom"), [Place(3), "-"]), Skeleton(Cache("sys_put_exotic"), [math.inf, Place(1), Place(2)])], 0))
add(Clause(4, "sys_write_number", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_exotic"), [Place(1), Place(2), Place(3)])], 0))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_atom", 3])], -1))
add(Clause(6, "sys_write_atom", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("sys_op"), [Place(1), Place(4), NotImplemented, NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_prefix"), [Place(4), NotImplemented]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(5)]), Skeleton(Cache("sys_put_lparen"), [Place(5), 1, 0, 1200, Place(2), NotImplemented]), Skeleton(Cache("sys_put_ident"), [Place(1), 0, Place(3), NotImplemented]), Skeleton(Cache("put_atom"), [Place(5), ")"])], 0))
add(Clause(3, "sys_write_atom", [Place(0), Skeleton("w", [Place(1), NotImplemented, NotImplemented]), Place(2)], [Skeleton(Cache("sys_put_ident"), [Place(0), Place(1), Place(2), NotImplemented])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_exotic", 3])], -1))
add(Clause(3, "sys_write_exotic", [Place(0), Skeleton("w", [Place(1), NotImplemented, NotImplemented]), Place(2)], [Skeleton(Cache("sys_put_exotic"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_numbervars", 3])], -1))
add(Clause(6, "sys_write_numbervars", [Place(0), Skeleton("w", [Place(1), NotImplemented, NotImplemented]), Place(2)], [Skeleton(Cache("sys_numbervars_name"), [Place(0), Place(3)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(4)]), Skeleton(Cache("sys_safe_space"), [Place(4), Place(3), Place(1)]), Skeleton(Cache("sys_current_flags"), [Place(2), Place(5)]), Skeleton(Cache("sys_print_atom"), [Place(4), Place(3), Place(5)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_prefix", 6])], -1))
add(Clause(18, "sys_write_prefix", [Place(0), Skeleton("w", [Place(1), Place(2), Place(3)]), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(8), Skeleton(".", [Place(9), "[]"])])]), Skeleton(Cache("sys_current_stream"), [Place(4), Place(10)]), Skeleton(Cache("sys_current_flags"), [Place(4), Place(11)]), Skeleton(Cache("sys_put_lparen"), [Place(10), Place(7), Place(2), Place(5), Place(1), Place(12)]), Skeleton(Cache("sys_put_adjust"), [Place(3), Place(11), Place(6), Place(13)]), Skeleton(Cache("sys_oper_minus"), [Place(8), Place(12), Place(14)]), Skeleton(Cache("sys_put_ident"), [Place(8), Place(12), Place(4), NotImplemented]), Skeleton(Cache("sys_put_rspace"), [Place(10), Place(6), Place(14), Place(15)]), Skeleton(Cache("is"), [Place(16), Skeleton(Cache("-"), [Place(5), Place(7)])]), Skeleton(Cache("is"), [Place(17), Skeleton(Cache("/\\"), [Place(15), Frozen(Cache("\\"), [8])])]), Skeleton(Cache("sys_write_priority"), [Place(9), Skeleton("w", [Place(17), Place(16), Place(13)]), Place(4)]), Skeleton(Cache("sys_put_rparen"), [Place(10), Place(7), Place(2), Place(5), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_postfix", 6])], -1))
add(Clause(15, "sys_write_postfix", [Place(0), Skeleton("w", [Place(1), Place(2), Place(3)]), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(8), Skeleton(".", [Place(9), "[]"])])]), Skeleton(Cache("sys_current_stream"), [Place(4), Place(10)]), Skeleton(Cache("sys_put_lparen"), [Place(10), 1, Place(2), Place(5), Place(1), Place(11)]), Skeleton(Cache("sys_oper_escape"), [Place(8), Place(11), Place(12)]), Skeleton(Cache("sys_oper_side"), [Place(7), Place(12), Place(13)]), Skeleton(Cache("is"), [Place(14), Skeleton(Cache("-"), [Place(5), Place(7)])]), Skeleton(Cache("sys_write_priority"), [Place(9), Skeleton("w", [Place(13), Place(14), Place(3)]), Place(4)]), Skeleton(Cache("sys_put_lspace"), [Place(10), Place(6)]), Skeleton(Cache("sys_write_oper"), [Place(8), Place(4), NotImplemented]), Skeleton(Cache("sys_put_rparen"), [Place(10), 1, Place(2), Place(5), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_infix", 7])], -1))
add(Clause(22, "sys_write_infix", [Place(0), Skeleton("w", [Place(1), Place(2), Place(3)]), Place(4), Place(5), Place(6), Place(7), Place(8)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(9), Skeleton(".", [Place(10), Skeleton(".", [Place(11), "[]"])])])]), Skeleton(Cache("sys_current_stream"), [Place(4), Place(12)]), Skeleton(Cache("sys_current_flags"), [Place(4), Place(13)]), Skeleton(Cache("sys_put_lparen"), [Place(12), Place(8), Place(2), Place(5), Place(1), Place(14)]), Skeleton(Cache("sys_put_indent"), [Place(12), Place(3), Place(13), Place(6), Place(8), Place(2), Place(5), Place(1), Place(15)]), Skeleton(Cache("sys_oper_escape"), [Place(9), Place(14), Place(16)]), Skeleton(Cache("sys_oper_side"), [Place(7), Place(16), Place(17)]), Skeleton(Cache("is"), [Place(18), Skeleton(Cache("-"), [Place(5), Place(7)])]), Skeleton(Cache("sys_write_priority"), [Place(10), Skeleton("w", [Place(17), Place(18), Place(15)]), Place(4)]), Skeleton(Cache("sys_put_lformat"), [Place(12), Place(15), Place(13), Place(6)]), Skeleton(Cache("sys_write_oper"), [Place(9), Place(4), Place(19)]), Skeleton(Cache("sys_put_rformat"), [Place(12), Place(15), Place(13), Place(6), Place(19), Place(14)]), Skeleton(Cache("is"), [Place(20), Skeleton(Cache("-"), [Place(5), Place(8)])]), Skeleton(Cache("is"), [Place(21), Skeleton(Cache("/\\"), [Place(14), Frozen(Cache("\\"), [14])])]), Skeleton(Cache("sys_write_priority"), [Place(11), Skeleton("w", [Place(21), Place(20), Place(15)]), Place(4)]), Skeleton(Cache("sys_put_rparen"), [Place(12), Place(8), Place(2), Place(5), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_oper", 3])], -1))
add(Clause(3, "sys_write_oper", [",", Place(1), ","], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(1), Place(2)]), Skeleton(Cache("put_atom"), [Place(2), ","])], 0))
add(Clause(3, "sys_write_oper", ["|", Place(1), "|"], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(1), Place(2)]), Skeleton(Cache("put_atom"), [Place(2), "|"])], 0))
add(Clause(3, "sys_write_oper", [".", Place(1), "."], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(1), Place(2)]), Skeleton(Cache("put_atom"), [Place(2), "."])], 0))
add(Clause(3, "sys_write_oper", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_put_ident"), [Place(0), 0, Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_list", 3])], -1))
add(Clause(5, "sys_write_list", [Place(1), Place(2), Place(3)], [Skeleton(Cache("var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(4)]), Skeleton(Cache("put_atom"), [Place(4), "|"]), Skeleton(Cache("sys_write_priority"), [Place(1), Skeleton("w", [1, 999, Place(2)]), Place(3)])], 0))
add(Clause(6, "sys_write_list", [Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_stream"), [Place(4), Place(5)]), Skeleton(Cache("put_atom"), [Place(5), ", "]), Skeleton(Cache("sys_write_priority"), [Place(1), Skeleton("w", [1, 999, Place(3)]), Place(4)]), Skeleton(Cache("sys_write_list"), [Place(2), Place(3), Place(4)])], 0))
add(Clause(1, "sys_write_list", ["[]", NotImplemented, NotImplemented], [Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "sys_write_list", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_current_stream"), [Place(2), Place(3)]), Skeleton(Cache("put_atom"), [Place(3), "|"]), Skeleton(Cache("sys_write_priority"), [Place(0), Skeleton("w", [1, 999, Place(1)]), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_compound", 3])], -1))
add(Clause(8, "sys_write_compound", [Place(0), Skeleton("w", [Place(1), NotImplemented, Place(2)]), Place(3)], [Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(4), Skeleton(".", [Place(5), Place(6)])])]), Skeleton(Cache("sys_current_stream"), [Place(3), Place(7)]), Skeleton(Cache("sys_put_symbol"), [Place(4), Place(1), Place(3)]), Skeleton(Cache("put_atom"), [Place(7), "("]), Skeleton(Cache("sys_write_priority"), [Place(5), Skeleton("w", [1, 999, Place(2)]), Place(3)]), Skeleton(Cache("sys_write_args"), [Place(6), Place(2), Place(3)]), Skeleton(Cache("put_atom"), [Place(7), ")"])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_symbol", 3])], -1))
add(Clause(4, "sys_put_symbol", [Place(1), Place(2), Place(3)], [Skeleton(Cache("atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_ident"), [Place(1), Place(2), Place(3), NotImplemented])], 0))
add(Clause(3, "sys_put_symbol", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_put_exotic"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_args", 3])], -1))
add(Clause(5, "sys_write_args", [Skeleton(".", [Place(0), Place(1)]), Place(2), Place(3)], [Skeleton(Cache("sys_current_stream"), [Place(3), Place(4)]), Skeleton(Cache("put_atom"), [Place(4), ", "]), Skeleton(Cache("sys_write_priority"), [Place(0), Skeleton("w", [1, 999, Place(2)]), Place(3)]), Skeleton(Cache("sys_write_args"), [Place(1), Place(2), Place(3)])], -1))
add(Clause(0, "sys_write_args", ["[]", NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_var", 3])], -1))
add(Clause(6, "sys_write_var", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("sys_current_names"), [Place(3), Place(4)]), Skeleton(Cache("sys_find_var"), [Place(1), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_name"), [Place(5), Place(2), Place(3)])], 0))
add(Clause(5, "sys_write_var", [Place(1), Skeleton("w", [Place(2), NotImplemented, NotImplemented]), Place(3)], [Skeleton(Cache("sys_current_anons"), [Place(3), Place(4)]), Skeleton(Cache("sys_find_sing"), [Place(1), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_write_name"), ["_", Place(2), Place(3)])], 0))
add(Clause(8, "sys_write_var", [Place(0), Skeleton("w", [Place(1), NotImplemented, NotImplemented]), Place(2)], [Skeleton(Cache("term_hash"), [Place(0), Place(3)]), Skeleton(Cache("atom_integer"), [Place(4), 10, Place(3)]), Skeleton(Cache("atom_concat"), ["_", Place(4), Place(5)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(6)]), Skeleton(Cache("sys_safe_space"), [Place(6), Place(5), Place(1)]), Skeleton(Cache("sys_current_flags"), [Place(2), Place(7)]), Skeleton(Cache("sys_print_atom"), [Place(6), Place(5), Place(7)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_find_var", 3])], -1))
add(Clause(5, "sys_find_var", [Place(1), Place(2), Place(3)], [Skeleton(Cache("member"), [Skeleton("=", [Place(3), Place(4)]), Place(2)]), Skeleton(Cache("=="), [Place(1), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_find_sing", 2])], -1))
add(Clause(4, "sys_find_sing", [Place(1), Place(2)], [Skeleton(Cache("member"), [Place(3), Place(2)]), Skeleton(Cache("=="), [Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_write_name", 3])], -1))
add(Clause(6, "sys_write_name", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_current_flags"), [Place(2), Place(3)]), Skeleton(Cache("sys_var_quoted"), [Place(0), Place(3), Place(4)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(5)]), Skeleton(Cache("sys_safe_space"), [Place(5), Place(4), Place(1)]), Skeleton(Cache("sys_print_atom"), [Place(5), Place(4), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_var_quoted", 3])], -1))
add(Clause(6, "sys_var_quoted", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("atom_codes"), [Place(1), Place(4)]), Skeleton(make_defined([Clause(2, "", [Place(1)], [Skeleton(Cache("sys_proper_var"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented], [], -1)]), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_escape_codes"), [Place(4), Place(5), Frozen(".", [96, "[]"])]), Skeleton(Cache("atom_codes"), [Place(3), Skeleton(".", [96, Place(5)])])], 0))
add(Clause(1, "sys_var_quoted", [Place(0), NotImplemented, Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_var", 1])], -1))
add(Clause(3, "sys_proper_var", [Skeleton(".", [Place(0), Place(1)])], [Skeleton(Cache("sys_code_class"), [Place(0), Place(2)]), Skeleton(Cache("sys_proper_var"), [Place(2), Skeleton(".", [Place(0), Place(1)])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_proper_var", 2])], -1))
add(Clause(1, "sys_proper_var", ["is_upper", Skeleton(".", [NotImplemented, Place(0)])], [Skeleton(Cache("sys_proper_atom_name"), [Place(0)])], -1))
add(Clause(1, "sys_proper_var", ["is_score", Skeleton(".", [NotImplemented, Place(0)])], [Skeleton(Cache("sys_proper_atom_name"), [Place(0)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_adjust", 4])], -1))
add(Clause(3, "sys_put_adjust", [Place(1), Place(2), NotImplemented, Place(1)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 4]), 0]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "sys_put_adjust", [Place(1), NotImplemented, Place(2), Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 12]), 12]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(1), 3])])], 0))
add(Clause(1, "sys_put_adjust", [Place(0), NotImplemented, NotImplemented, Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_indent", 9])], -1))
add(Clause(3, "sys_put_indent", [NotImplemented, Place(1), Place(2), NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(1)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 4]), 0]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(3, "sys_put_indent", [NotImplemented, Place(1), NotImplemented, Place(2), NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(1)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 12]), 0]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(4, "sys_put_indent", [NotImplemented, Place(1), NotImplemented, Place(2), NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 12]), 12]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("+"), [Place(1), 3])])], 0))
add(Clause(8, "sys_put_indent", [Place(1), Place(2), NotImplemented, NotImplemented, Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("sys_needs_paren"), [Place(3), Place(4), Place(5), Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("tab"), [Place(1), 2]), Skeleton(Cache("is"), [Place(7), Skeleton(Cache("+"), [Place(2), 3])])], 0))
add(Clause(1, "sys_put_indent", [NotImplemented, Place(0), NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_lparen", 6])], -1))
add(Clause(7, "sys_put_lparen", [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("sys_needs_paren"), [Place(2), Place(3), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_lparen2"), [Place(1), Place(5), Place(6)])], 0))
add(Clause(1, "sys_put_lparen", [NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_lparen2", 3])], -1))
add(Clause(4, "sys_put_lparen2", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " ("]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("\\/"), [Skeleton(Cache("/\\"), [Place(2), Frozen(Cache("\\"), [6])]), 1])])], 0))
add(Clause(3, "sys_put_lparen2", [Place(0), Place(1), Place(2)], [Skeleton(Cache("put_atom"), [Place(0), "("]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("\\/"), [Place(1), 1])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_rparen", 5])], -1))
add(Clause(6, "sys_put_rparen", [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("sys_needs_paren"), [Place(2), Place(3), Place(4), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), ")"])], 0))
add(Clause(0, "sys_put_rparen", [NotImplemented, NotImplemented, NotImplemented, NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_needs_paren", 4])], -1))
add(Clause(3, "sys_needs_paren", [NotImplemented, Place(1), Place(2), NotImplemented], [Skeleton(Cache("<"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_needs_paren", [0, Place(0), Place(0), Place(1)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(1), 8]), 0])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_lformat", 4])], -1))
add(Clause(4, "sys_put_lformat", [Place(1), NotImplemented, Place(2), Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 4]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_lspace"), [Place(1), Place(3)])], 0))
add(Clause(3, "sys_put_lformat", [Place(1), NotImplemented, NotImplemented, Place(2)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 12]), 8]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_lspace"), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_put_lformat", [Place(0), Place(1), NotImplemented, NotImplemented], [Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Place(1), 3])]), Skeleton(Cache("nl"), [Place(0)]), Skeleton(Cache("tab"), [Place(0), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_rformat", 6])], -1))
add(Clause(5, "sys_put_rformat", [Place(1), NotImplemented, Place(2), Place(3), NotImplemented, Place(4)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 4]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_rspace"), [Place(1), Place(3), Place(4), NotImplemented])], 0))
add(Clause(4, "sys_put_rformat", [Place(1), NotImplemented, NotImplemented, Place(2), NotImplemented, Place(3)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 12]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_put_rspace"), [Place(1), Place(2), Place(3), NotImplemented])], 0))
add(Clause(4, "sys_put_rformat", [Place(1), Place(2), NotImplemented, Place(3), NotImplemented, NotImplemented], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(3), 12]), 8]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("nl"), [Place(1)]), Skeleton(Cache("tab"), [Place(1), Place(2)])], 0))
add(Clause(4, "sys_put_rformat", [Place(0), NotImplemented, NotImplemented, NotImplemented, Place(1), NotImplemented], [Skeleton(Cache("atom_length"), [Place(1), Place(2)]), Skeleton(Cache("is"), [Place(3), Skeleton(Cache("-"), [3, Place(2)])]), Skeleton(Cache("tab"), [Place(0), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_lspace", 2])], -1))
add(Clause(3, "sys_put_lspace", [Place(1), Place(2)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 2]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "])], 0))
add(Clause(0, "sys_put_lspace", [NotImplemented, NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_rspace", 4])], -1))
add(Clause(5, "sys_put_rspace", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("=:="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("put_atom"), [Place(1), " "]), Skeleton(Cache("is"), [Place(4), Skeleton(Cache("/\\"), [Place(3), Frozen(Cache("\\"), [6])])])], 0))
add(Clause(2, "sys_put_rspace", [NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("is"), [Place(1), Skeleton(Cache("\\/"), [Place(0), 2])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_oper_side", 3])], -1))
add(Clause(3, "sys_oper_side", [0, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("\\/"), [Place(1), 8])])], 0))
add(Clause(2, "sys_oper_side", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("is"), [Place(1), Skeleton(Cache("/\\"), [Place(0), Frozen(Cache("\\"), [8])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_oper_minus", 3])], -1))
add(Clause(3, "sys_oper_minus", ["-", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("\\/"), [Place(1), 4])])], 0))
add(Clause(2, "sys_oper_minus", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("is"), [Place(1), Skeleton(Cache("/\\"), [Place(0), Frozen(Cache("\\"), [4])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_oper_escape", 3])], -1))
add(Clause(3, "sys_oper_escape", [",", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("\\/"), [Place(1), 1])])], 0))
add(Clause(3, "sys_oper_escape", ["|", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("\\/"), [Place(1), 1])])], 0))
add(Clause(2, "sys_oper_escape", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("is"), [Place(1), Skeleton(Cache("/\\"), [Place(0), Frozen(Cache("\\"), [1])])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_stream", 2])], -1))
add(Clause(1, "sys_current_stream", [Skeleton("v", [Place(0), NotImplemented, NotImplemented, NotImplemented]), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_flags", 2])], -1))
add(Clause(1, "sys_current_flags", [Skeleton("v", [NotImplemented, Place(0), NotImplemented, NotImplemented]), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_names", 2])], -1))
add(Clause(1, "sys_current_names", [Skeleton("v", [NotImplemented, NotImplemented, Place(0), NotImplemented]), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_anons", 2])], -1))
add(Clause(1, "sys_current_anons", [Skeleton("v", [NotImplemented, NotImplemented, NotImplemented, Place(0)]), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_ident", 4])], -1))
add(Clause(6, "sys_put_ident", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_flags"), [Place(2), Place(4)]), Skeleton(Cache("sys_atom_quoted"), [Place(0), Place(4), Place(3)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(5)]), Skeleton(Cache("sys_safe_space"), [Place(5), Place(3), Place(1)]), Skeleton(Cache("sys_print_atom"), [Place(5), Place(3), Place(4)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_atom_quoted", 3])], -1))
add(Clause(6, "sys_atom_quoted", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("atom_codes"), [Place(1), Place(4)]), Skeleton(make_defined([Clause(2, "", [Place(1)], [Skeleton(Cache("sys_proper_atom"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Cache("fail")], 0), Clause(0, "", [NotImplemented], [], -1)]), [Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_escape_codes"), [Place(4), Place(5), Frozen(".", [39, "[]"])]), Skeleton(Cache("atom_codes"), [Place(3), Skeleton(".", [39, Place(5)])])], 0))
add(Clause(1, "sys_atom_quoted", [Place(0), NotImplemented, Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_put_exotic", 3])], -1))
add(Clause(7, "sys_put_exotic", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_current_flags"), [Place(2), Place(3)]), Skeleton(Cache("sys_unconvert_exotic"), [Place(4), Place(0)]), Skeleton(Cache("sys_exotic_quoted"), [Place(4), Place(3), Place(5)]), Skeleton(Cache("sys_current_stream"), [Place(2), Place(6)]), Skeleton(Cache("sys_safe_space"), [Place(6), Place(5), Place(1)]), Skeleton(Cache("sys_print_atom"), [Place(6), Place(5), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_unconvert_exotic", 2])], -1))
add(Clause(3, "sys_unconvert_exotic", [Place(1), Place(2)], [Skeleton(Cache("sys_atom_exotic"), [Place(1), Place(2)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(2, "sys_unconvert_exotic", ["Special", Place(1)], [Skeleton(Cache("number"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)])], 0))
add(Clause(0, "sys_unconvert_exotic", ["Reference", NotImplemented], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_exotic_quoted", 3])], -1))
add(Clause(4, "sys_exotic_quoted", [Place(1), Place(2), Place(3)], [Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(2), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("atom_concat"), ["0r", Place(1), Place(3)])], 0))
add(Clause(1, "sys_exotic_quoted", [Place(0), NotImplemented, Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_term", 4])], -1))
add(Clause(9, "sys_read_term", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_read_opts"), [Place(2), Frozen("z", [1200, 0]), Skeleton("z", [Place(4), Place(5)])]), Skeleton(Cache("sys_next_token"), [Skeleton("t", ["-", Place(5), Skeleton("r", [Place(1), Place(0)]), Frozen("s", ["[]", "[]"])]), Place(6)]), Skeleton(Cache("sys_read_optional"), [Place(7), Place(4), Place(6), Skeleton("t", [NotImplemented, NotImplemented, NotImplemented, Place(8)])]), Skeleton(Cache("sys_read_results"), [Place(2), Place(8)]), Skeleton(Cache("="), [Place(3), Place(7)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_optional", 4])], -1))
add(Clause(4, "sys_read_optional", ["end_of_file", NotImplemented, Place(1), Place(2)], [Skeleton(Cache("sys_current_token"), ["end_of_file", Place(1), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(3), Place(2)])], 0))
add(Clause(5, "sys_read_optional", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_read_priority"), [Place(0), Place(1), Place(2), Place(4)]), Skeleton(Cache("sys_read_end_of_term"), [Place(4), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_end_of_term", 2])], -1))
add(Clause(5, "sys_read_end_of_term", [Place(1), Place(2)], [Skeleton(Cache("sys_current_options"), [Place(3), Place(1), Place(4)]), Skeleton(Cache("=\\="), [Skeleton(Cache("/\\"), [Place(3), 1]), 0]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_read_end"), ["end_of_file", Place(4), Place(2)])], 0))
add(Clause(2, "sys_read_end_of_term", [Place(0), Place(1)], [Skeleton(Cache("sys_read_end"), [".", Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_priority", 4])], -1))
add(Clause(11, "sys_read_priority", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_token"), [Place(4), Place(2), Place(5)]), Skeleton(Cache("sys_read_factor"), [Place(4), Place(6), Place(1), Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_current_token"), [Place(9), Place(8), Place(10)]), Skeleton(Cache("sys_read_secondary"), [Place(9), Place(6), Place(0), Place(1), Place(7), Place(10), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_secondary", 7])], -1))
add(Clause(8, "sys_read_secondary", [Skeleton("atom", [Place(1)]), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_read_infix"), [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)])], 0))
add(Clause(8, "sys_read_secondary", [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("="), [Place(1), ","]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_read_infix"), [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)])], 0))
add(Clause(8, "sys_read_secondary", [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("="), [Place(1), "|"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_read_infix"), [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)])], 0))
add(Clause(2, "sys_read_secondary", [NotImplemented, Place(0), Place(0), NotImplemented, NotImplemented, Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_infix", 7])], -1))
add(Clause(20, "sys_read_infix", [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("sys_op"), [Place(1), Place(8), Place(9), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_infix"), [Place(8), Place(10), Place(11)]), Skeleton(Cache(">="), [Place(4), Place(9)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(6), Place(12)]), Skeleton(make_defined([Clause(6, "", [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("<"), [Skeleton(Cache("-"), [Place(1), Place(2)]), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["operator_clash"]), NotImplemented]), Place(4), Place(5)])], 0), Clause(2, "", [NotImplemented, NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(9), Place(10), Place(5), Place(12), Place(13)]), Skeleton(Cache("is"), [Place(14), Skeleton(Cache("-"), [Place(9), Place(11)])]), Skeleton(Cache("sys_read_priority"), [Place(15), Place(14), Place(13), Place(16)]), Skeleton(Cache("=.."), [Place(17), Skeleton(".", [Place(1), Skeleton(".", [Place(2), Skeleton(".", [Place(15), "[]"])])])]), Skeleton(Cache("sys_current_token"), [Place(18), Place(16), Place(19)]), Skeleton(Cache("sys_read_secondary"), [Place(18), Place(17), Place(3), Place(4), Place(9), Place(19), Place(7)])], 0))
add(Clause(16, "sys_read_infix", [Place(1), Place(2), Place(3), Place(4), Place(5), Place(6), Place(7)], [Skeleton(Cache("sys_op"), [Place(1), Place(8), Place(9), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_postfix"), [Place(8), Place(10)]), Skeleton(Cache(">="), [Place(4), Place(9)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(6), Place(11)]), Skeleton(make_defined([Clause(6, "", [Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("<"), [Skeleton(Cache("-"), [Place(1), Place(2)]), Place(3)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["operator_clash"]), NotImplemented]), Place(4), Place(5)])], 0), Clause(2, "", [NotImplemented, NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(9), Place(10), Place(5), Place(11), Place(12)]), Skeleton(Cache("=.."), [Place(13), Skeleton(".", [Place(1), Skeleton(".", [Place(2), "[]"])])]), Skeleton(Cache("sys_current_token"), [Place(14), Place(12), Place(15)]), Skeleton(Cache("sys_read_secondary"), [Place(14), Place(13), Place(3), Place(4), Place(9), Place(15), Place(7)])], 0))
add(Clause(2, "sys_read_infix", [NotImplemented, Place(0), Place(0), NotImplemented, NotImplemented, Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_lookup_var", 4])], -1))
add(Clause(7, "sys_lookup_var", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("sys_current_vars"), [Place(5), Place(3), Place(6)]), Skeleton(Cache("member"), [Skeleton("=", [Place(1), Place(2)]), Place(5)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_remove_anon"), [Place(1), Place(6), Place(4)])], 0))
add(Clause(9, "sys_lookup_var", [Place(0), Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_vars"), [Place(4), Place(2), Place(5)]), Skeleton(Cache("sys_set_vars"), [Skeleton(".", [Skeleton("=", [Place(0), Place(1)]), Place(4)]), Place(5), Place(6)]), Skeleton(Cache("sys_current_sings"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_set_sings"), [Skeleton(".", [Skeleton("=", [Place(0), Place(1)]), Place(7)]), Place(8), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_remove_anon", 3])], -1))
add(Clause(7, "sys_remove_anon", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_sings"), [Place(4), Place(2), Place(5)]), Skeleton(Cache("select"), [Skeleton("=", [Place(1), NotImplemented]), Place(4), Place(6)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_set_sings"), [Place(6), Place(5), Place(3)])], 0))
add(Clause(1, "sys_remove_anon", [NotImplemented, Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_token", 3])], -1))
add(Clause(4, "sys_current_token", [Place(0), Skeleton("t", [Place(0), Place(1), Place(2), Place(3)]), Skeleton("t", [Place(0), Place(1), Place(2), Place(3)])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_options", 3])], -1))
add(Clause(4, "sys_current_options", [Place(0), Skeleton("t", [Place(1), Place(0), Place(2), Place(3)]), Skeleton("t", [Place(1), Place(0), Place(2), Place(3)])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_reach_code", 3])], -1))
add(Clause(5, "sys_reach_code", [Place(0), Skeleton("t", [Place(1), Place(2), Skeleton("r", [Place(3), Place(0)]), Place(4)]), Skeleton("t", [Place(1), Place(2), Skeleton("r", [Place(3), Place(0)]), Place(4)])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_vars", 3])], -1))
add(Clause(5, "sys_current_vars", [Place(0), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(0), Place(4)])]), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(0), Place(4)])])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_set_vars", 3])], -1))
add(Clause(5, "sys_set_vars", [Place(0), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [NotImplemented, Place(4)])]), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(0), Place(4)])])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_current_sings", 3])], -1))
add(Clause(5, "sys_current_sings", [Place(0), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(4), Place(0)])]), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(4), Place(0)])])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_set_sings", 3])], -1))
add(Clause(5, "sys_set_sings", [Place(0), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(4), NotImplemented])]), Skeleton("t", [Place(1), Place(2), Place(3), Skeleton("s", [Place(4), Place(0)])])], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_factor", 6])], -1))
add(Clause(10, "sys_read_factor", [Skeleton("atom", [Place(1)]), Place(2), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_reach_code"), [Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_next_token"), [Place(8), Place(9)]), Skeleton(Cache("sys_read_atom"), [Place(7), Place(1), Place(2), Place(3), Place(4), Place(9), Place(6)])], 0))
add(Clause(3, "sys_read_factor", ["anon", NotImplemented, NotImplemented, 0, Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(1), Place(2)])], 0))
add(Clause(6, "sys_read_factor", [Skeleton("var", [Place(1)]), Place(2), NotImplemented, 0, Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_lookup_var"), [Place(1), Place(2), Place(3), Place(5)]), Skeleton(Cache("sys_next_token"), [Place(5), Place(4)])], 0))
add(Clause(9, "sys_read_factor", ["[", Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(4), Place(6)]), Skeleton(Cache("sys_current_token"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_read_list"), [Place(7), Place(1), Place(2), Place(3), Place(8), Place(5)])], 0))
add(Clause(9, "sys_read_factor", ["{", Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(4), Place(6)]), Skeleton(Cache("sys_current_token"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_read_set"), [Place(7), Place(1), Place(2), Place(3), Place(8), Place(5)])], 0))
add(Clause(7, "sys_read_factor", ["(", Place(1), NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(2), Place(4)]), Skeleton(Cache("sys_read_priority"), [Place(1), 1200, Place(4), Place(5)]), Skeleton(Cache("sys_read_end"), [")", Place(5), Place(6)]), Skeleton(Cache("sys_next_token"), [Place(6), Place(3)])], 0))
add(Clause(4, "sys_read_factor", [Skeleton("const", [Place(1)]), Place(1), NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(2), Place(3)])], 0))
add(Clause(2, "sys_read_factor", [NotImplemented, NotImplemented, NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["cannot_start_term"]), NotImplemented]), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_atom", 7])], -1))
add(Clause(13, "sys_read_atom", [40, Place(1), Place(2), NotImplemented, 0, Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(3), Place(5)]), Skeleton(Cache("sys_read_priority"), [Place(6), 999, Place(5), Place(7)]), Skeleton(Cache("sys_current_token"), [Place(8), Place(7), Place(9)]), Skeleton(Cache("sys_read_args"), [Place(8), Place(10), Place(9), Place(11)]), Skeleton(Cache("sys_read_end"), [")", Place(11), Place(12)]), Skeleton(Cache("=.."), [Place(2), Skeleton(".", [Place(1), Skeleton(".", [Place(6), Place(10)])])]), Skeleton(Cache("sys_next_token"), [Place(12), Place(4)])], 0))
add(Clause(11, "sys_read_atom", [Place(1), "-", Place(2), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("sys_code_class"), [Place(1), "is_digit"]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_token"), [Place(7), Place(5), Place(8)]), Skeleton(Cache("sys_read_factor"), [Place(7), Place(9), Place(3), Place(4), Place(8), Place(10)]), Skeleton(Cache("sys_read_neg"), [Place(9), Place(2), Place(10), Place(6)])], 0))
add(Clause(12, "sys_read_atom", [NotImplemented, Place(1), Place(2), Place(3), Place(4), Place(5), Place(6)], [Skeleton(Cache("sys_op"), [Place(1), Place(7), Place(8), NotImplemented, NotImplemented]), Skeleton(Cache("sys_is_prefix"), [Place(7), Place(9)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_current_token"), [Place(10), Place(5), Place(11)]), Skeleton(Cache("sys_read_prefix"), [Place(10), Place(2), Place(1), Place(3), Place(8), Place(9), Place(4), Place(11), Place(6)])], 0))
add(Clause(2, "sys_read_atom", [NotImplemented, Place(0), Place(0), NotImplemented, 0, Place(1), Place(1)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_prefix", 9])], -1))
add(Clause(4, "sys_read_prefix", [",", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_read_prefix", ["|", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_read_prefix", [")", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_read_prefix", ["]", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_read_prefix", ["}", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_read_prefix", [".", Place(1), Place(1), NotImplemented, NotImplemented, NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(11, "sys_read_prefix", [NotImplemented, Place(0), Place(1), Place(2), Place(3), Place(4), Place(3), Place(5), Place(6)], [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("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["operator_clash"]), NotImplemented]), Place(3), Place(4)])], 0), Clause(2, "", [NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("="), [Place(0), Place(1)])], -1)]), [Place(2), Place(3), Place(5), Place(7)]), Skeleton(Cache("is"), [Place(8), Skeleton(Cache("-"), [Place(3), Place(4)])]), Skeleton(Cache("sys_read_priority"), [Place(9), Place(8), Place(7), Place(10)]), Skeleton(Cache("=.."), [Place(0), Skeleton(".", [Place(1), Skeleton(".", [Place(9), "[]"])])]), Skeleton(Cache("="), [Place(10), Place(6)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_neg", 4])], -1))
add(Clause(5, "sys_read_neg", [Place(1), Place(2), Place(3), Place(4)], [Skeleton(Cache("number"), [Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("is"), [Place(2), Skeleton(Cache("-"), [Place(1)])]), Skeleton(Cache("="), [Place(3), Place(4)])], 0))
add(Clause(2, "sys_read_neg", [NotImplemented, NotImplemented, Place(0), Place(1)], [Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["illegal_number"]), NotImplemented]), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_args", 4])], -1))
add(Clause(9, "sys_read_args", [",", Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(3), Place(5)]), Skeleton(Cache("sys_read_priority"), [Place(1), 999, Place(5), Place(6)]), Skeleton(Cache("sys_current_token"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_read_args"), [Place(7), Place(2), Place(8), Place(4)])], 0))
add(Clause(1, "sys_read_args", [NotImplemented, "[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_list", 6])], -1))
add(Clause(9, "sys_read_list", ["]", Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_reach_code"), [Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_next_token"), [Place(7), Place(8)]), Skeleton(Cache("sys_read_atom"), [Place(6), "[]", Place(1), Place(2), Place(3), Place(8), Place(5)])], 0))
add(Clause(9, "sys_read_list", [NotImplemented, Skeleton(".", [Place(0), Place(1)]), NotImplemented, 0, Place(2), Place(3)], [Skeleton(Cache("sys_read_priority"), [Place(0), 999, Place(2), Place(4)]), Skeleton(Cache("sys_current_token"), [Place(5), Place(4), Place(6)]), Skeleton(Cache("sys_read_rest"), [Place(5), Place(1), Place(6), Place(7)]), Skeleton(Cache("sys_read_end"), ["]", Place(7), Place(8)]), Skeleton(Cache("sys_next_token"), [Place(8), Place(3)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_rest", 4])], -1))
add(Clause(9, "sys_read_rest", [",", Skeleton(".", [Place(1), Place(2)]), Place(3), Place(4)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(3), Place(5)]), Skeleton(Cache("sys_read_priority"), [Place(1), 999, Place(5), Place(6)]), Skeleton(Cache("sys_current_token"), [Place(7), Place(6), Place(8)]), Skeleton(Cache("sys_read_rest"), [Place(7), Place(2), Place(8), Place(4)])], 0))
add(Clause(5, "sys_read_rest", ["|", Place(1), Place(2), Place(3)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_next_token"), [Place(2), Place(4)]), Skeleton(Cache("sys_read_priority"), [Place(1), 999, Place(4), Place(3)])], 0))
add(Clause(1, "sys_read_rest", [NotImplemented, "[]", Place(0), Place(0)], [], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_set", 6])], -1))
add(Clause(9, "sys_read_set", ["}", Place(1), Place(2), Place(3), Place(4), Place(5)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_reach_code"), [Place(6), Place(4), Place(7)]), Skeleton(Cache("sys_next_token"), [Place(7), Place(8)]), Skeleton(Cache("sys_read_atom"), [Place(6), "{}", Place(1), Place(2), Place(3), Place(8), Place(5)])], 0))
add(Clause(5, "sys_read_set", [NotImplemented, Skeleton("{}", [Place(0)]), NotImplemented, 0, Place(1), Place(2)], [Skeleton(Cache("sys_read_priority"), [Place(0), 1200, Place(1), Place(3)]), Skeleton(Cache("sys_read_end"), ["}", Place(3), Place(4)]), Skeleton(Cache("sys_next_token"), [Place(4), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_read_end", 3])], -1))
add(Clause(5, "sys_read_end", [Place(1), Place(2), Place(3)], [Skeleton(Cache("sys_current_token"), [Place(1), Place(2), Place(4)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(4), Place(3)])], 0))
add(Clause(3, "sys_read_end", [".", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["end_of_clause_expected"]), NotImplemented]), Place(1), Place(2)])], 0))
add(Clause(3, "sys_read_end", ["end_of_file", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["end_of_clause_expected"]), NotImplemented]), Place(1), Place(2)])], 0))
add(Clause(3, "sys_read_end", [")", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["parenthesis_balance"]), NotImplemented]), Place(1), Place(2)])], 0))
add(Clause(3, "sys_read_end", ["}", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["brace_balance"]), NotImplemented]), Place(1), Place(2)])], 0))
add(Clause(2, "sys_read_end", ["]", Place(0), Place(1)], [Skeleton(Cache("sys_sync_throw"), [Skeleton("error", [Frozen("syntax_error", ["bracket_balance"]), NotImplemented]), Place(0), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_next_token", 2])], -1))
add(Clause(8, "sys_next_token", [Skeleton("t", [NotImplemented, Place(0), Skeleton("r", [Place(1), Place(2)]), Place(3)]), Skeleton("t", [Place(4), Place(0), Skeleton("r", [Place(1), Place(5)]), Place(3)])], [Skeleton(Cache("sys_get_token"), [Place(6), Skeleton("-", [Place(1), Place(2)]), Skeleton("-", [NotImplemented, Place(5)])]), Skeleton(Cache("sys_trap"), [Skeleton("sys_convert_token", [Place(6), Place(4)]), Place(7), Skeleton("sys_sync_raise", [Place(7), Skeleton("t", [Place(6), Place(0), Skeleton("r", [Place(1), Place(5)]), Place(3)]), NotImplemented])])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_sync_throw", 3])], -1))
add(Clause(3, "sys_sync_throw", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_fill_line"), [Place(0)]), Skeleton(Cache("sys_fill_stack"), [Place(0)]), Skeleton(Cache("sys_sync_raise"), [Place(0), Place(1), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_sync_raise", 3])], -1))
add(Clause(6, "sys_sync_raise", [Place(0), Place(1), Place(2)], [Skeleton(Cache("sys_current_token"), [Place(3), Place(1), Place(4)]), Skeleton(Cache("sys_sync_tokens"), [Place(3), Place(4), Place(5)]), Skeleton(Cache("sys_raise"), [Place(0)]), Skeleton(Cache("="), [Place(5), Place(2)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_sync_tokens", 3])], -1))
add(Clause(4, "sys_sync_tokens", [Skeleton("single", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("member"), [-1, Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_sync_tokens", [Skeleton("codes", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("member"), [-1, Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_sync_tokens", [Skeleton("back", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("member"), [-1, Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(4, "sys_sync_tokens", [Skeleton("code", [Place(1)]), Place(2), Place(3)], [Skeleton(Cache("member"), [-1, Place(1)]), Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(2), Place(3)])], 0))
add(Clause(3, "sys_sync_tokens", [".", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(3, "sys_sync_tokens", ["end_of_file", Place(1), Place(2)], [Skeleton(Cache("$CUT"), [Place(0)]), Skeleton(Cache("="), [Place(1), Place(2)])], 0))
add(Clause(5, "sys_sync_tokens", [NotImplemented, Place(0), Place(1)], [Skeleton(Cache("sys_sync_token"), [Place(0), Place(2)]), Skeleton(Cache("sys_current_token"), [Place(3), Place(2), Place(4)]), Skeleton(Cache("sys_sync_tokens"), [Place(3), Place(4), Place(1)])], -1))
run(Goal(0, [Frozen(Cache("sys_usage_predicate"), ["sys_sync_token", 2])], -1))
add(Clause(6, "sys_sync_token", [Skeleton("t", [NotImplemented, Place(0), Skeleton("r", [Place(1), Place(2)]), Place(3)]), Skeleton("t", [Place(4), Place(0), Skeleton("r", [Place(1), Place(5)]), Place(3)])], [Skeleton(Cache("sys_get_token"), [Place(4), Skeleton("-", [Place(1), Place(2)]), Skeleton("-", [NotImplemented, Place(5)])])], -1))
