codemirror-lang-swipl 0.0.0-stage → 0.1.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (C) 2026 by Johannes Schuster <johannes.c.schuster@proton.me>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

package/NOTICE

@@ -0,0 +1,42 @@
+lang-prolog is licensed under the MIT licence in LICENSE.
+
+The operator and built-in predicate tables (spec/prolog/ops.json,
+spec/prolog/builtins.json and the generated src/tables.ts of codemirror-lang-swipl)
+are read from SWI-Prolog by gen/tables.mjs; spec/prolog/SOURCE records the version.
+SWI-Prolog is covered by the Simplified BSD licence:
+
+    Copyright (c) 1985-2025, University of Amsterdam
+                             VU University Amsterdam
+                             CWI, Amsterdam
+                             SWI-Prolog Solutions b.v.
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+
+        -- https://github.com/SWI-Prolog/swipl/blob/V10.0.2/LICENSE
+
+The tests read SWI-Prolog's own library as a corpus at test time; it is not part of
+this repository or the package.

package/README.md

@@ -1,3 +1,57 @@
-# Temporary Holding Version
+# codemirror-lang-swipl
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+[SWI-Prolog](https://www.swi-prolog.org) language support for
+[CodeMirror 6](https://codemirror.net/): a Lezer parser for SWI-Prolog 7+ syntax, with
+highlighting, indentation, folding and completion of built-in predicates.
+
+```js
+import {EditorView, basicSetup} from "codemirror"
+import {prolog} from "codemirror-lang-swipl"
+
+new EditorView({extensions: [basicSetup, prolog()], parent: document.body})
+```
+
+`prolog()` returns the `LanguageSupport`; `prologLanguage` is the `LRLanguage`.
+
+## What it parses
+
+The operator and built-in tables come from SWI-Prolog 10.0.2 (see `spec/prolog/SOURCE`
+in the repository).
+
+**Operators are not parsed.** Prolog programs change the operator table at run time with
+`op/3`, so no fixed grammar can build the right term for every program. This parser
+reads tokens and the structure that does not depend on operators: clauses and their
+end, the neck (`:-`, `-->`), compound terms, lists, curly terms, dicts and parentheses.
+Between those, terms are flat sequences: `X is A + B` is `Variable Operator Variable
+SymbolAtom Variable`. Operators declared in the edited file still tokenise; they are
+just not highlighted as operators.
+
+Each clause is a `Directive`, `Rule` or `Fact` ending in `End`. The name of a clause's
+head is in `HeadFunctor` (after an optional `Module:`), the name of every other compound
+in `Functor`, followed by `ArgList`. Names are told apart by the tables: `Operator`
+(alphanumeric operators such as `is`, `mod`), `Control` (`->`, `\+`, `call`, `true`,
+...), `DirectiveName` (`dynamic`, `use_module`, ...), `Builtin` (other built-in
+predicates, by name only), and plain `Atom`. `f(` is a compound and `t{` a dict, `f (`
+and `t {` are not, as in SWI-Prolog. Block comments nest, as in SWI-Prolog.
+
+The parser is more lenient than SWI-Prolog: it accepts some input that SWI-Prolog
+rejects (`X(a)`, digits out of range for their radix, unknown escapes). It only
+recognises ASCII digits in numbers, and a digit group split by a comment
+(`1_000_/*c*/000`) is not one number to it.
+
+The tests check every token class and clause kind, and parse the `.pl` files of
+SWI-Prolog's own library: each file that SWI-Prolog's reader accepts must parse without
+error nodes and into as many clauses as SWI-Prolog reads terms. Exceptions are listed in
+`test/KNOWN.md`.
+
+## Files
+
+Generated by `pnpm generate` (`gen/tables.mjs` in the repository) from a run of the
+pinned `swipl`: `src/tables.ts`, and in the repository `spec/prolog/ops.json`,
+`spec/prolog/builtins.json` and `spec/prolog/SOURCE`.
+
+Hand-written: `src/prolog.grammar`, `src/tokens.js` (the tokenizer for names, symbol
+characters, clause ends, nested comments and quasi-quotations), `src/highlight.ts`,
+`src/index.ts`, the tests, and in the repository `spec/prolog/control.json` (the control
+constructs and directive names, which `pnpm generate` checks against the generated
+tables) and `tools/`.

package/dist/highlight.d.ts

@@ -0,0 +1,2 @@
+import type { NodePropSource } from "@lezer/common";
+export declare const prologHighlighting: NodePropSource;

package/dist/index.cjs

@@ -0,0 +1,222 @@
+'use strict';
+
+var lr = require('@lezer/lr');
+var highlight = require('@lezer/highlight');
+var language = require('@codemirror/language');
+var autocomplete = require('@codemirror/autocomplete');
+
+// This file was generated by lezer-generator. You probably shouldn't edit it.
+const BlockComment = 1,
+  End = 2,
+  Neck = 3,
+  Colon = 4,
+  Control = 5,
+  SymbolAtom = 6,
+  Atom = 7,
+  Operator = 8,
+  DirectiveName = 9,
+  Builtin = 10,
+  Variable = 11,
+  Anonymous = 12,
+  QuasiQuotation = 13,
+  CallOpen = 14,
+  DictOpen = 15;
+
+// Generated by gen/tables.mjs from spec/prolog/*.json (SWI-Prolog version 10.0.2). Do not edit.
+const operators = ["as", "discontiguous", "div", "dynamic", "initialization", "is", "meta_predicate", "mod", "module_transparent", "multifile", "public", "rdiv", "rem", "table", "thread_initialization", "thread_local", "volatile", "xor"];
+const control = ["!", ",", ";", "->", "*->", "\\+", "call", "catch", "throw", "true", "fail", "false"];
+const directives = ["discontiguous", "dynamic", "ensure_loaded", "initialization", "license", "meta_predicate", "module", "module_transparent", "multifile", "op", "public", "reexport", "set_prolog_flag", "table", "thread_local", "use_foreign_library", "use_module", "volatile"];
+const builtins = [["!", 0], ["*->", 2], [",", 2], ["->", 2], [".", 3], [":<", 2], [";", 2], ["<", 2], ["<meta-call>", 1], ["=", 2], ["=..", 2], ["=:=", 2], ["=<", 2], ["==", 2], ["=@=", 2], ["=\\=", 2], [">", 2], [">:<", 2], [">=", 2], ["?=", 2], ["@", 2], ["@<", 2], ["@=<", 2], ["@>", 2], ["@>=", 2], ["[|]", 2], ["\\+", 1], ["\\=", 2], ["\\==", 2], ["\\=@=", 2], ["abolish", 1], ["abolish", 2], ["abolish_all_tables", 0], ["abolish_module_tables", 1], ["abolish_monotonic_tables", 0], ["abolish_nonincremental_tables", 0], ["abolish_nonincremental_tables", 1], ["abolish_private_tables", 0], ["abolish_shared_tables", 0], ["abolish_table_subgoals", 1], ["abort", 0], ["absolute_file_name", 2], ["absolute_file_name", 3], ["access_file", 2], ["acyclic_term", 1], ["add_import_module", 3], ["answer_count_restraint", 0], ["append", 1], ["apply", 2], ["arg", 3], ["assert", 1], ["assert", 2], ["asserta", 1], ["asserta", 2], ["assertz", 1], ["assertz", 2], ["at_end_of_stream", 0], ["at_end_of_stream", 1], ["at_halt", 1], ["atom", 1], ["atom_chars", 2], ["atom_codes", 2], ["atom_concat", 3], ["atom_length", 2], ["atom_number", 2], ["atom_prefix", 2], ["atom_string", 2], ["atom_to_term", 3], ["atomic", 1], ["atomic_concat", 3], ["atomic_list_concat", 2], ["atomic_list_concat", 3], ["atomics_to_string", 2], ["atomics_to_string", 3], ["attach_packs", 0], ["attach_packs", 1], ["attach_packs", 2], ["attvar", 1], ["autoload", 1], ["autoload", 2], ["autoload_call", 1], ["autoload_path", 1], ["b_getval", 2], ["b_set_dict", 3], ["b_setval", 2], ["bagof", 3], ["between", 3], ["blob", 2], ["bounded_number", 3], ["break", 0], ["byte_count", 2], ["call", 1], ["call", 2], ["call", 3], ["call", 4], ["call", 5], ["call", 6], ["call", 7], ["call", 8], ["call_cleanup", 2], ["call_continuation", 1], ["call_dcg", 3], ["call_residue_vars", 2], ["call_shared_object_function", 2], ["call_with_depth_limit", 3], ["call_with_inference_limit", 3], ["callable", 1], ["cancel_halt", 1], ["catch", 3], ["catch_with_backtrace", 3], ["char_code", 2], ["char_conversion", 2], ["char_type", 2], ["character_count", 2], ["clause", 2], ["clause", 3], ["clause_property", 2], ["close", 1], ["close", 2], ["close_shared_object", 1], ["code_type", 2], ["collation_key", 2], ["compare", 3], ["compile_aux_clauses", 1], ["compile_predicates", 1], ["compiling", 0], ["compound", 1], ["compound_name_arguments", 3], ["compound_name_arity", 3], ["consult", 1], ["context_module", 1], ["copy_predicate_clauses", 2], ["copy_stream_data", 2], ["copy_stream_data", 3], ["copy_term", 2], ["copy_term", 3], ["copy_term", 4], ["copy_term_nat", 2], ["copy_term_nat", 4], ["create_prolog_flag", 3], ["current_arithmetic_function", 1], ["current_atom", 1], ["current_blob", 2], ["current_char_conversion", 2], ["current_engine", 1], ["current_flag", 1], ["current_format_predicate", 2], ["current_functor", 2], ["current_input", 1], ["current_key", 1], ["current_locale", 1], ["current_module", 1], ["current_op", 3], ["current_output", 1], ["current_predicate", 1], ["current_predicate", 2], ["current_prolog_flag", 2], ["current_resource", 2], ["current_signal", 3], ["current_table", 2], ["current_transaction", 1], ["current_trie", 1], ["cyclic_term", 1], ["date_time_stamp", 2], ["dcg_translate_rule", 2], ["dcg_translate_rule", 4], ["debug_reset_from_class", 0], ["default_module", 2], ["del_attr", 2], ["del_attrs", 1], ["del_dict", 4], ["delete_directory", 1], ["delete_file", 1], ["delete_import_module", 2], ["det", 1], ["deterministic", 1], ["dict_create", 3], ["dict_pairs", 3], ["dict_same_keys", 2], ["directory_files", 2], ["discontiguous", 1], ["divmod", 4], ["downcase_atom", 2], ["duplicate_term", 2], ["dwim_match", 2], ["dwim_match", 3], ["dwim_predicate", 2], ["dynamic", 1], ["dynamic", 2], ["engine_create", 3], ["engine_create", 4], ["engine_destroy", 1], ["engine_fetch", 1], ["engine_next", 2], ["engine_next_reified", 2], ["engine_post", 2], ["engine_post", 3], ["engine_self", 1], ["engine_yield", 1], ["ensure_loaded", 1], ["erase", 1], ["exists_directory", 1], ["exists_file", 1], ["exists_source", 1], ["exists_source", 2], ["expand_file_name", 2], ["expand_file_search_path", 2], ["expand_goal", 2], ["expand_goal", 4], ["expand_term", 2], ["expand_term", 4], ["export", 1], ["fail", 0], ["false", 0], ["fast_read", 2], ["fast_term_serialized", 2], ["fast_write", 2], ["file_base_name", 2], ["file_directory_name", 2], ["file_name_extension", 3], ["fill_buffer", 1], ["findall", 3], ["findall", 4], ["findnsols", 4], ["findnsols", 5], ["flag", 3], ["float", 1], ["float_class", 2], ["float_parts", 4], ["flush_output", 0], ["flush_output", 1], ["forall", 2], ["format", 1], ["format", 2], ["format", 3], ["format_predicate", 2], ["format_time", 3], ["format_time", 4], ["freeze", 2], ["frozen", 2], ["functor", 3], ["functor", 4], ["garbage_collect", 0], ["garbage_collect_atoms", 0], ["garbage_collect_clauses", 0], ["gc_file_search_cache", 1], ["get", 1], ["get", 2], ["get0", 1], ["get0", 2], ["get_attr", 3], ["get_attrs", 2], ["get_byte", 1], ["get_byte", 2], ["get_char", 1], ["get_char", 2], ["get_code", 1], ["get_code", 2], ["get_dict", 3], ["get_dict", 5], ["get_flag", 2], ["get_single_char", 1], ["get_string_code", 3], ["get_time", 1], ["getenv", 2], ["ground", 1], ["halt", 0], ["halt", 1], ["ignore", 1], ["import", 1], ["import_module", 2], ["initialization", 1], ["initialization", 2], ["initialize", 0], ["instance", 2], ["integer", 1], ["is", 2], ["is_absolute_file_name", 1], ["is_dict", 1], ["is_dict", 2], ["is_engine", 1], ["is_list", 1], ["is_message_queue", 1], ["is_most_general_term", 1], ["is_stream", 1], ["is_thread", 1], ["is_trie", 1], ["keysort", 2], ["known_licenses", 0], ["leash", 1], ["length", 2], ["license", 0], ["license", 1], ["license", 2], ["line_count", 2], ["line_position", 2], ["load_files", 1], ["load_files", 2], ["locale_create", 3], ["locale_destroy", 1], ["locale_property", 2], ["make_directory", 1], ["make_library_index", 1], ["make_library_index", 2], ["malloc_property", 1], ["memberchk", 2], ["message_queue_create", 1], ["message_queue_create", 2], ["message_queue_destroy", 1], ["message_queue_property", 2], ["message_queue_set", 2], ["message_to_string", 2], ["meta_predicate", 1], ["mode", 1], ["module", 1], ["module_property", 2], ["module_transparent", 1], ["msort", 2], ["multifile", 1], ["mutex_create", 1], ["mutex_create", 2], ["mutex_destroy", 1], ["mutex_lock", 1], ["mutex_property", 2], ["mutex_statistics", 0], ["mutex_trylock", 1], ["mutex_unlock", 1], ["mutex_unlock_all", 0], ["name", 2], ["nb_current", 2], ["nb_delete", 1], ["nb_getval", 2], ["nb_link_dict", 3], ["nb_linkarg", 3], ["nb_linkval", 2], ["nb_set_dict", 3], ["nb_setarg", 3], ["nb_setval", 2], ["nl", 0], ["nl", 1], ["non_terminal", 1], ["nonground", 2], ["nonvar", 1], ["noprofile", 1], ["noprotocol", 0], ["normalize_space", 2], ["not", 1], ["not_exists", 1], ["notrace", 0], ["notrace", 1], ["nth_clause", 3], ["nth_integer_root_and_remainder", 4], ["number", 1], ["number_chars", 2], ["number_codes", 2], ["number_string", 2], ["numbervars", 3], ["numbervars", 4], ["on_signal", 3], ["once", 1], ["op", 3], ["open", 3], ["open", 4], ["open_null_stream", 1], ["open_resource", 2], ["open_resource", 3], ["open_shared_object", 2], ["open_shared_object", 3], ["open_string", 2], ["pack_attach", 2], ["peek_byte", 1], ["peek_byte", 2], ["peek_char", 1], ["peek_char", 2], ["peek_code", 1], ["peek_code", 2], ["peek_string", 3], ["phrase", 2], ["phrase", 3], ["plus", 3], ["predicate_property", 2], ["print", 1], ["print", 2], ["print_message", 2], ["print_message_lines", 3], ["print_toplevel_variables", 0], ["profiler", 2], ["prolog", 0], ["prolog_alert_signal", 2], ["prolog_choice_attribute", 3], ["prolog_current_choice", 1], ["prolog_current_frame", 1], ["prolog_cut_to", 1], ["prolog_debug", 1], ["prolog_frame_attribute", 3], ["prolog_interrupt", 0], ["prolog_listen", 2], ["prolog_listen", 3], ["prolog_load_context", 2], ["prolog_nodebug", 1], ["prolog_skip_level", 2], ["prolog_stack_property", 2], ["prolog_to_os_filename", 2], ["prolog_unlisten", 2], ["prompt", 2], ["prompt1", 1], ["protocol", 1], ["protocola", 1], ["protocolling", 1], ["public", 1], ["put", 1], ["put", 2], ["put_attr", 3], ["put_attrs", 2], ["put_byte", 1], ["put_byte", 2], ["put_char", 1], ["put_char", 2], ["put_code", 1], ["put_code", 2], ["put_dict", 3], ["put_dict", 4], ["qcompile", 1], ["qcompile", 2], ["radial_restraint", 0], ["random_property", 1], ["rational", 1], ["rational", 3], ["read", 1], ["read", 2], ["read_clause", 3], ["read_link", 3], ["read_pending_chars", 3], ["read_pending_codes", 3], ["read_string", 3], ["read_string", 5], ["read_term", 2], ["read_term", 3], ["read_term_from_atom", 3], ["read_term_with_history", 2], ["recorda", 2], ["recorda", 3], ["recorded", 2], ["recorded", 3], ["recordz", 2], ["recordz", 3], ["redefine_system_predicate", 1], ["reexport", 1], ["reexport", 2], ["register_iri_scheme", 3], ["reload_library_index", 0], ["rename_file", 2], ["repeat", 0], ["require", 1], ["reset", 3], ["reset_profiler", 0], ["residual_goals", 1], ["retract", 1], ["retractall", 1], ["rule", 2], ["rule", 3], ["same_file", 2], ["same_term", 2], ["see", 1], ["seeing", 1], ["seek", 4], ["seen", 0], ["select_dict", 3], ["set_end_of_stream", 1], ["set_flag", 2], ["set_input", 1], ["set_locale", 1], ["set_malloc", 1], ["set_module", 1], ["set_output", 1], ["set_prolog_IO", 3], ["set_prolog_flag", 2], ["set_prolog_gc_thread", 1], ["set_prolog_stack", 2], ["set_random", 1], ["set_stream", 2], ["set_stream_position", 2], ["set_system_IO", 3], ["set_thread", 2], ["setarg", 3], ["setenv", 2], ["setlocale", 3], ["setof", 3], ["setup_call_catcher_cleanup", 4], ["setup_call_cleanup", 3], ["shell", 1], ["shell", 2], ["shift", 1], ["shift_for_copy", 1], ["sig_atomic", 1], ["sig_block", 1], ["sig_pending", 1], ["sig_remove", 2], ["sig_unblock", 1], ["size_abstract_term", 3], ["size_file", 2], ["skip", 1], ["skip", 2], ["sleep", 1], ["snapshot", 1], ["sort", 2], ["sort", 4], ["source_file", 1], ["source_file", 2], ["source_file_property", 2], ["source_location", 2], ["split_string", 4], ["stamp_date_time", 3], ["start_abstract_tabling", 3], ["start_moded_tabling", 5], ["start_subsumptive_tabling", 3], ["start_tabling", 3], ["statistics", 2], ["stream_pair", 3], ["stream_position_data", 3], ["stream_property", 2], ["string", 1], ["string_bytes", 3], ["string_chars", 2], ["string_code", 3], ["string_codes", 2], ["string_concat", 3], ["string_length", 2], ["string_lower", 2], ["string_upper", 2], ["strip_module", 3], ["style_check", 1], ["sub_atom", 5], ["sub_atom_icasechk", 3], ["sub_string", 5], ["subsumes_term", 2], ["succ", 2], ["tab", 1], ["tab", 2], ["table", 1], ["tabled_call", 1], ["tell", 1], ["telling", 1], ["term_attvars", 2], ["term_expansion", 2], ["term_hash", 2], ["term_hash", 4], ["term_singletons", 2], ["term_string", 2], ["term_string", 3], ["term_to_atom", 2], ["term_variables", 2], ["term_variables", 3], ["text_to_string", 2], ["thread_affinity", 3], ["thread_create", 2], ["thread_create", 3], ["thread_detach", 1], ["thread_exit", 1], ["thread_get_message", 1], ["thread_get_message", 2], ["thread_get_message", 3], ["thread_idle", 2], ["thread_initialization", 1], ["thread_join", 1], ["thread_join", 2], ["thread_local", 1], ["thread_peek_message", 1], ["thread_peek_message", 2], ["thread_property", 2], ["thread_self", 1], ["thread_send_message", 2], ["thread_send_message", 3], ["thread_setconcurrency", 2], ["thread_signal", 2], ["thread_statistics", 3], ["thread_update", 2], ["thread_wait", 2], ["throw", 1], ["time_file", 2], ["tmp_file", 2], ["tmp_file_stream", 3], ["tnot", 1], ["told", 0], ["trace", 0], ["tracing", 0], ["transaction", 1], ["transaction", 2], ["transaction", 3], ["transaction_updates", 1], ["trie_delete", 3], ["trie_destroy", 1], ["trie_gen", 2], ["trie_gen", 3], ["trie_insert", 2], ["trie_insert", 3], ["trie_insert", 4], ["trie_lookup", 3], ["trie_new", 1], ["trie_property", 2], ["trie_term", 2], ["trie_update", 3], ["trim_heap", 0], ["trim_stacks", 0], ["true", 0], ["tty_get_capability", 3], ["tty_goto", 2], ["tty_put", 2], ["tty_size", 2], ["ttyflush", 0], ["undefined", 0], ["undo", 1], ["unifiable", 3], ["unify_with_occurs_check", 2], ["unload_file", 1], ["unsetenv", 1], ["untable", 1], ["unwrap_predicate", 2], ["upcase_atom", 2], ["use_foreign_library", 1], ["use_foreign_library", 2], ["use_module", 1], ["use_module", 2], ["var", 1], ["var_number", 2], ["var_property", 2], ["variant_hash", 2], ["variant_sha1", 2], ["verbose_expansion", 1], ["version", 0], ["version", 1], ["visible", 1], ["volatile", 1], ["wait_for_input", 3], ["wildcard_match", 2], ["wildcard_match", 3], ["win_rename_file", 2], ["with_mutex", 2], ["with_output_to", 2], ["with_tty_raw", 1], ["working_directory", 2], ["write", 1], ["write", 2], ["write_canonical", 1], ["write_canonical", 2], ["write_length", 3], ["write_term", 2], ["write_term", 3], ["writeln", 1], ["writeln", 2], ["writeq", 1], ["writeq", 2], ["zip_clone", 2], ["zip_close_", 2], ["zip_file_info_", 3], ["zip_lock", 1], ["zip_open_stream", 3], ["zip_unlock", 1], ["zipper_goto", 2], ["zipper_open_current", 3], ["zipper_open_new_file_in_zip", 4]];
+
+const controlNames = new Set(control);
+const directiveNames = new Set(directives);
+const operatorNames = new Set(operators);
+const builtinNames = new Set(builtins.map(([name]) => name));
+const necks = new Set([":-", "-->", "?-"]);
+
+// The character classes of SWI-Prolog's reader (manual section "Unicode Prolog source"):
+// identifiers are ID_Start ID_Continue*, variables start with an uppercase letter or `_`,
+// non-ASCII symbols and punctuation glue like the ASCII symbol characters.
+const symbolChar = /^(?:[#$&*+\-./:<=>?@^~\\]|(?![\0-\x7f])[\p{S}\p{P}])$/u;
+const nameStart = /^[\p{ID_Start}_]$/u;
+const nameChar = /^\p{ID_Continue}$/u;
+const variableStart = /^[\p{Lu}\p{Lt}_]$/u;
+const layout = /^\s$/u;
+
+const chr = (input, offset) => {
+  const code = input.peek(offset);
+  if (code < 0) return ""
+  if (code >= 0xd800 && code < 0xdc00) {
+    const low = input.peek(offset + 1);
+    if (low >= 0xdc00 && low < 0xe000) return String.fromCharCode(code, low)
+  }
+  return String.fromCharCode(code)
+};
+
+// The character before `(` or `{`: `f(` is a compound and `t{` a dict, `f (` and `t {`
+// are not.
+const before = input => String.fromCharCode(input.peek(-1));
+const endsTag = c => c == "'" || nameChar.test(c);
+
+function scan(input, text, test) {
+  let c;
+  while ((c = chr(input, text.length)) && test.test(c)) text += c;
+  return text
+}
+
+function nameKind(text) {
+  if (controlNames.has(text)) return Control
+  if (directiveNames.has(text)) return DirectiveName
+  if (operatorNames.has(text)) return Operator
+  if (builtinNames.has(text)) return Builtin
+  return Atom
+}
+
+function symbolKind(text) {
+  if (necks.has(text)) return Neck
+  if (text == ":") return Colon
+  if (controlNames.has(text)) return Control
+  return SymbolAtom
+}
+
+// SWI-Prolog nests block comments.
+function blockComment(input) {
+  let depth = 0;
+  for (let i = 0; ; i++) {
+    const c = input.peek(i);
+    if (c < 0) return input.acceptToken(BlockComment, i)
+    if (c == 47 /* / */ && input.peek(i + 1) == 42 /* * */) { depth++; i++; }
+    else if (c == 42 && input.peek(i + 1) == 47) {
+      i++;
+      if (--depth == 0) return input.acceptToken(BlockComment, i + 1)
+    }
+  }
+}
+
+function quasiQuotation(input) {
+  for (let i = 2; ; i++) {
+    const c = input.peek(i);
+    if (c < 0) return input.acceptToken(QuasiQuotation, i)
+    if (c == 124 /* | */ && input.peek(i + 1) == 125 /* } */) return input.acceptToken(QuasiQuotation, i + 2)
+  }
+}
+
+const prologTokens = new lr.ExternalTokenizer((input, stack) => {
+  const next = input.next;
+  if (next == 47 && input.peek(1) == 42) return blockComment(input)
+  if (next == 40 /* ( */) {
+    const c = before(input);
+    if ((endsTag(c) || symbolChar.test(c)) && stack.canShift(CallOpen)) input.acceptToken(CallOpen, 1);
+    return
+  }
+  if (next == 123 /* { */) {
+    if (input.peek(1) == 124) return quasiQuotation(input)
+    if (endsTag(before(input)) && stack.canShift(DictOpen)) input.acceptToken(DictOpen, 1);
+    return
+  }
+  const first = chr(input, 0);
+  if (symbolChar.test(first)) {
+    const text = scan(input, "", symbolChar);
+    if (text == ".") {
+      const after = chr(input, 1);
+      if (!after || after == "%" || layout.test(after)) return input.acceptToken(End, 1)
+    }
+    return input.acceptToken(symbolKind(text), text.length)
+  }
+  if (nameStart.test(first)) {
+    const text = scan(input, first, nameChar);
+    if (text == "_") return input.acceptToken(Anonymous, 1)
+    return input.acceptToken(variableStart.test(first) ? Variable : nameKind(text), text.length)
+  }
+}, {contextual: true});
+
+// This file was generated by lezer-generator. You probably shouldn't edit it.
+const parser = lr.LRParser.deserialize({
+  version: 14,
+  states: "(|Q]QROOOOQP'#Da'#DaO!sQRO'#DbOOQP'#Db'#DbO&QQRO'#CzO&XQRO'#C}O&`QRO'#DPO(TQRO'#DVOOQP'#Dc'#DcO([QRO'#CnOOQP'#De'#DeO(cQRO'#DdO(fQRO'#DdO(pQRO'#DWOOQP'#D_'#D_OOQP'#DX'#DXQ]QROOO(xQRO,59lO)PQRO'#CqOOQP'#DZ'#DZO*yQRO,59fO+QQRO'#CpOOQP,59f,59fOOQP'#D`'#D`O+VQRO,59iOOQP,59i,59iO+^QRO,59kOOQP,59k,59kO`QRO,5:OOOQP'#DY'#DYO+eQRO,59YOOQP,59Y,59YO+lQRO'#CsO+sQRO,5:OO+sQRO,5:OO+}QRO,59pOOQP,59r,59rOOQP-E7V-E7VO,UQRO1G/WOOQP1G/W1G/WOOQP-E7X-E7XOOQP1G/Q1G/QOOQP,59[,59[OOQP1G/T1G/TOOQP1G/V1G/VO,]QRO'#DVO,dQRO1G/jO,gQRO1G/jOOQP-E7W-E7WOOQP1G.t1G.tO,qQRO,59_OOQP,59_,59_O,gQRO1G/jO,xQRO1G/[OOQP1G/[1G/[OOQP7+$r7+$rO-PQRO7+%UO-PQRO7+%UOOQP1G.y1G.yOOQP7+$v7+$vO-ZQRO<<Hp",
+  stateData: "-e~O!QOS`OSPOS~ORXOSWOTPOUPOVPOWPOXPOYPOZQO[QO]ROcPOhROiROjROkROmSOpTOrUOuWOvWOwWO~O_aOQ!UXR!UXS!UXT!UXU!UXV!UXW!UXX!UXY!UXZ!UX[!UX]!UXc!UXh!UXi!UXj!UXk!UXm!UXp!UXr!UXu!UXv!UXw!UXl!UXo!UXf!UX~ORcOSWOTPOUPOVPOWPOXPOYPOZQO[QO]ROcPOhROiROjROkROmSOpTOrUOuWOvWOwWO~OlfO~P$jOoiO~P$jOfkO~P$jO_aOQyXRyXTyXUyXVyXWyXXyXYyXZyX[yX]yX^yXcyXhyXiyXjyXkyXmyXpyXryXuyXvyXwyX~OSlO~P&gOQoO~P`O^pOQ!WXR!WX~P`OQtORsO~OowO~P$jO_aOR!SXS!SXT!SXU!SXV!SXW!SXX!SXY!SXZ!SX[!SX]!SX^eXc!SXh!SXi!SXj!SXk!SXl!SXm!SXp!SXr!SXu!SXv!SXw!SXo!SXf!SXQ!SX~OlyO~P$jO^pO~Oo{O~P$jOf|O~P$jOQ!RO~P`Of!TO~P$jOQ!WaR!Wa~P`OQ!WO~P`Oo!XO~P$jOSyX~P&gO^pOQ!WiR!Wi~P`Of![O~P$jOQ!]O~P`OQ!WqR!Wq~P`OQ!WyR!Wy~P`O",
+  goto: "'`!YPPPPPPPPPPPPPPPPPP!ZP!_!yP#ePPPPPP#nPP#nP#n#nPPP!Z$_!Z$f$l%YPPP%p%t&b#n#n'T'XT^O`!RgSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^!ReSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^QrZQzeR!Z!OUYO`l!RgSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^SZO`R!OlQ`ORu`QnXSqZ[[!Qnq!U!V!Y!^Q!UrQ!VsS!Y!O!PR!^!ZQdSQhTQjUQvaYxdhjv!SR!SpT_O`dcSTUadhjpv!SmmXZ[nqrs!O!P!U!V!Y!Z!^SVO`!QbSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^R}lT]O`S[O`R!Pl",
+  nodeNames: "⚠ BlockComment End Neck Colon Control SymbolAtom Atom Operator DirectiveName Builtin Variable Anonymous QuasiQuotation CallOpen DictOpen LineComment Program Directive QuotedAtom Compound Functor ) ArgList Number String BackquoteString ! ] [ List } { Curly ( Parenthesized Dict , ; | Rule HeadFunctor Fact",
+  maxTerm: 55,
+  nodeProps: [
+    ["closedBy", -2,14,34,")",-2,15,32,"}",29,"]"],
+    ["openedBy", 22,"(",28,"[",31,"{"]
+  ],
+  skippedNodes: [0,1,16],
+  repeatNodeCount: 3,
+  tokenData: ";P~RqXY#YYZ#Y[]#Y]^#Ypq#Yqr$Zrs$`uv&Pwx&hxy(Xyz(^|}(c!Q!R(h!R!S5P!S!T7a!T!U8O!U![5k!]!^8p!}#O8u#P#Q8z#S#T9P#j#k#Y#o#p:p#p#q:u#q#r:z$f$g#Y#BY#BZ#Y$IS$I_#Y$I|$I}#Y$I}$JO#Y$JT$JU#Y$KV$KW#Y&FU&FV#Y~#_^!Q~XY#YYZ#Y[]#Y]^#Ypq#Y#j#k#Y$f$g#Y#BY#BZ#Y$IS$I_#Y$I|$I}#Y$I}$JO#Y$JT$JU#Y$KV$KW#Y&FU&FV#Y~$`Ok~~$cVOr$`rs$xs#O$`#O#P%Q#P;'S$`;'S;=`%y<%lO$`~$}Pi~rs$`~%TRO;'S$`;'S;=`%^;=`O$`~%aWOr$`rs$xs#O$`#O#P%Q#P;'S$`;'S;=`%y;=`<%l$`<%lO$`~%|P;=`<%l$`~&US`~OY&PZ;'S&P;'S;=`&b<%lO&P~&eP;=`<%l&P~&kVOw&hwx'Qx#O&h#O#P'Y#P;'S&h;'S;=`(R<%lO&h~'VPc~wx&h~']RO;'S&h;'S;=`'f;=`O&h~'iWOw&hwx'Qx#O&h#O#P'Y#P;'S&h;'S;=`(R;=`<%l&h<%lO&h~(UP;=`<%l&h~(^Or~~(cOf~~(hOu~~(mZh~pq)`wx-P!O!P*Q!Q![)f!g!h*l#R#S+u#U#V2V#X#Y*l#c#d3T#f#g,X#l#m3x~)cP!Q![)f~)kVh~pq)`!O!P*Q!Q![)f!g!h*l#R#S+u#X#Y*l#f#g,X~*TP!Q![*W~*]Th~!Q![*W!g!h*l!k!l+W!p!q+i#X#Y*l~*oR{|*x}!O*x!Q![+O~*{P!Q![+O~+TPh~!Q![+O~+ZP#b#c+^~+aP#Y#Z+d~+iOh~~+lP#T#U+o~+rP!p!q+d~+xTXY+uYZ+u]^+upq+u!Q![)f~,[P!Q![,_~,dRh~pq,X!Q![,_#R#S,m~,pTXY,mYZ,m]^,mpq,m!Q![,_~-SVOw+dwx-ix#O+d#O#P-q#P;'S+d;'S;=`2P<%lO+d~-nPh~wx+d~-tZO!Q+d!Q!Y.g!Y!w+d!w!x.r!x#i+d#i#j0x#j#l+d#l#m1W#m;'S+d;'S;=`1w;=`O+d~.lQh~!Q!Y.g#O#P+d~.wRh~!Q![/Q!c!i/Q#T#Z/Q~/TR!Q![/^!c!i/^#T#Z/^~/aR!Q![/j!c!i/j#T#Z/j~/mR!Q![/v!c!i/v#T#Z/v~/yR!Q![0S!c!i0S#T#Z0S~0VR!Q![0`!c!i0`#T#Z0`~0cR!Q![0l!c!i0l#T#Z0l~0oR!Q![+d!c!i+d#T#Z+d~0}Rh~!Q![0S!c!i0S#T#Z0S~1]Rh~!Q![1f!c!i1f#T#Z1f~1kSh~!Q![1f!c!i1f#O#P+d#T#Z1f~1|Ph~;=`<%l+d~2SP;=`<%l+d~2YQ!Q!R2`!R!S2`~2eRh~!Q!R2`!R!S2`#R#S2n~2qUXY2nYZ2n]^2npq2n!Q!R2`!R!S2`~3WP!Q!Y3Z~3`Qh~!Q!Y3Z#R#S3f~3iTXY3fYZ3f]^3fpq3f!Q!Y3Z~3{R!Q![4U!c!i4U#T#Z4U~4ZSh~!Q![4U!c!i4U#R#S4g#T#Z4U~4jVXY4gYZ4g]^4gpq4g!Q![4U!c!i4U#T#Z4U~5UVh~pq)`!O!P*Q!Q![5k!g!h*l#R#S+u#X#Y*l#f#g,X~5pWh~pq)`wx6Y!O!P*Q!Q![)f!g!h*l#R#S+u#X#Y*l#f#g,X~6]R!Q![6f!c!}6f#T#o6f~6kSh~!Q![6f!c!}6f#R#S6w#T#o6f~6zVXY6wYZ6w]^6wpq6w!Q![6f!c!}6f#T#o6f~7fWh~pq)`wx6Y!O!P*Q!Q![5k!g!h*l#R#S+u#X#Y*l#f#g,X~8TXh~pq)`wx6Y!O!P*Q!Q!X5k!X![)f!g!h*l#R#S+u#X#Y*l#f#g,X~8uOv~~8zOm~~9POl~~9SVO#O9P#O#P9i#P#S9P#S#T:b#T;'S9P;'S;=`:j<%lO9P~9lRO;'S9P;'S;=`9u;=`O9P~9xWO#O9P#O#P9i#P#S9P#S#T:b#T;'S9P;'S;=`:j;=`<%l9P<%lO9P~:gPj~#S#T9P~:mP;=`<%l9P~:uOp~~:zOw~~;POo~",
+  tokenizers: [prologTokens, 0],
+  topRules: {"Program":[0,17]},
+  tokenPrec: 0
+});
+
+const prologHighlighting = highlight.styleTags({
+    Variable: highlight.tags.variableName,
+    Anonymous: highlight.tags.special(highlight.tags.variableName),
+    "Atom QuotedAtom": highlight.tags.atom,
+    Number: highlight.tags.number,
+    String: highlight.tags.string,
+    "BackquoteString QuasiQuotation": highlight.tags.special(highlight.tags.string),
+    LineComment: highlight.tags.lineComment,
+    BlockComment: highlight.tags.blockComment,
+    Neck: highlight.tags.definitionOperator,
+    End: highlight.tags.punctuation,
+    Operator: highlight.tags.operatorKeyword,
+    SymbolAtom: highlight.tags.operator,
+    'Control "!" ";"': highlight.tags.controlKeyword,
+    DirectiveName: highlight.tags.definitionKeyword,
+    Builtin: highlight.tags.standard(highlight.tags.variableName),
+    "HeadFunctor/Atom HeadFunctor/QuotedAtom HeadFunctor/Operator HeadFunctor/Control HeadFunctor/DirectiveName HeadFunctor/Builtin HeadFunctor/SymbolAtom": highlight.tags.definition(highlight.tags.function(highlight.tags.variableName)),
+    "Functor/Atom Functor/QuotedAtom Functor/SymbolAtom": highlight.tags.function(highlight.tags.variableName),
+    "Functor/Builtin": highlight.tags.standard(highlight.tags.function(highlight.tags.variableName)),
+    '"(" ")" CallOpen': highlight.tags.paren,
+    '"[" "]"': highlight.tags.squareBracket,
+    '"{" "}" DictOpen': highlight.tags.brace,
+    '"," "|" Colon': highlight.tags.separator,
+});
+
+const clauses = "Directive Rule Fact";
+// Folds a clause from the end of its first line's construct (the neck, or the head of a
+// fact) to its end token.
+function foldClause(node) {
+    var _a;
+    const end = node.lastChild, from = ((_a = node.getChild("Neck")) !== null && _a !== void 0 ? _a : node.firstChild).to;
+    return (end === null || end === void 0 ? void 0 : end.name) == "End" && end.from > from ? { from, to: end.from } : null;
+}
+// SWI-Prolog's layout of if-then-else: `->`, `*->`, `;`, `|` and `)` line up with the
+// opening parenthesis, the goals one unit further in.
+function parenthesized(cx) {
+    const column = cx.column(cx.node.from);
+    return /^\s*(->|\*->|;|\||\))/.test(cx.textAfter) ? column : column + cx.unit;
+}
+const prologLanguage = language.LRLanguage.define({
+    name: "prolog",
+    parser: parser.configure({
+        props: [
+            prologHighlighting,
+            language.indentNodeProp.add({
+                [clauses]: language.continuedIndent(),
+                Parenthesized: parenthesized,
+                ArgList: language.delimitedIndent({ closing: ")" }),
+                List: language.delimitedIndent({ closing: "]" }),
+                "Curly Dict": language.delimitedIndent({ closing: "}" }),
+            }),
+            language.foldNodeProp.add({
+                [clauses]: foldClause,
+                BlockComment: node => ({ from: node.from + 2, to: node.to - 2 }),
+            }),
+        ],
+    }),
+    languageData: {
+        commentTokens: { line: "%", block: { open: "/*", close: "*/" } },
+        closeBrackets: { brackets: ["(", "[", "{", "'", '"', "`"] },
+    },
+});
+const builtinCompletion = autocomplete.ifNotIn(["LineComment", "BlockComment", "QuotedAtom", "String", "BackquoteString", "QuasiQuotation"], autocomplete.completeFromList(builtins.map(([label, arity]) => ({ label, detail: `/${arity}`, type: "function" }))));
+/// SWI-Prolog language support for CodeMirror, with completion of built-in predicates.
+function prolog() {
+    return new language.LanguageSupport(prologLanguage, prologLanguage.data.of({ autocomplete: builtinCompletion }));
+}
+
+exports.prolog = prolog;
+exports.prologLanguage = prologLanguage;

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+import { LRLanguage, LanguageSupport } from "@codemirror/language";
+export declare const prologLanguage: LRLanguage;
+export declare function prolog(): LanguageSupport;

package/dist/index.js

@@ -0,0 +1,219 @@
+import { ExternalTokenizer, LRParser } from '@lezer/lr';
+import { styleTags, tags } from '@lezer/highlight';
+import { LRLanguage, indentNodeProp, delimitedIndent, continuedIndent, foldNodeProp, LanguageSupport } from '@codemirror/language';
+import { ifNotIn, completeFromList } from '@codemirror/autocomplete';
+
+// This file was generated by lezer-generator. You probably shouldn't edit it.
+const BlockComment = 1,
+  End = 2,
+  Neck = 3,
+  Colon = 4,
+  Control = 5,
+  SymbolAtom = 6,
+  Atom = 7,
+  Operator = 8,
+  DirectiveName = 9,
+  Builtin = 10,
+  Variable = 11,
+  Anonymous = 12,
+  QuasiQuotation = 13,
+  CallOpen = 14,
+  DictOpen = 15;
+
+// Generated by gen/tables.mjs from spec/prolog/*.json (SWI-Prolog version 10.0.2). Do not edit.
+const operators = ["as", "discontiguous", "div", "dynamic", "initialization", "is", "meta_predicate", "mod", "module_transparent", "multifile", "public", "rdiv", "rem", "table", "thread_initialization", "thread_local", "volatile", "xor"];
+const control = ["!", ",", ";", "->", "*->", "\\+", "call", "catch", "throw", "true", "fail", "false"];
+const directives = ["discontiguous", "dynamic", "ensure_loaded", "initialization", "license", "meta_predicate", "module", "module_transparent", "multifile", "op", "public", "reexport", "set_prolog_flag", "table", "thread_local", "use_foreign_library", "use_module", "volatile"];
+const builtins = [["!", 0], ["*->", 2], [",", 2], ["->", 2], [".", 3], [":<", 2], [";", 2], ["<", 2], ["<meta-call>", 1], ["=", 2], ["=..", 2], ["=:=", 2], ["=<", 2], ["==", 2], ["=@=", 2], ["=\\=", 2], [">", 2], [">:<", 2], [">=", 2], ["?=", 2], ["@", 2], ["@<", 2], ["@=<", 2], ["@>", 2], ["@>=", 2], ["[|]", 2], ["\\+", 1], ["\\=", 2], ["\\==", 2], ["\\=@=", 2], ["abolish", 1], ["abolish", 2], ["abolish_all_tables", 0], ["abolish_module_tables", 1], ["abolish_monotonic_tables", 0], ["abolish_nonincremental_tables", 0], ["abolish_nonincremental_tables", 1], ["abolish_private_tables", 0], ["abolish_shared_tables", 0], ["abolish_table_subgoals", 1], ["abort", 0], ["absolute_file_name", 2], ["absolute_file_name", 3], ["access_file", 2], ["acyclic_term", 1], ["add_import_module", 3], ["answer_count_restraint", 0], ["append", 1], ["apply", 2], ["arg", 3], ["assert", 1], ["assert", 2], ["asserta", 1], ["asserta", 2], ["assertz", 1], ["assertz", 2], ["at_end_of_stream", 0], ["at_end_of_stream", 1], ["at_halt", 1], ["atom", 1], ["atom_chars", 2], ["atom_codes", 2], ["atom_concat", 3], ["atom_length", 2], ["atom_number", 2], ["atom_prefix", 2], ["atom_string", 2], ["atom_to_term", 3], ["atomic", 1], ["atomic_concat", 3], ["atomic_list_concat", 2], ["atomic_list_concat", 3], ["atomics_to_string", 2], ["atomics_to_string", 3], ["attach_packs", 0], ["attach_packs", 1], ["attach_packs", 2], ["attvar", 1], ["autoload", 1], ["autoload", 2], ["autoload_call", 1], ["autoload_path", 1], ["b_getval", 2], ["b_set_dict", 3], ["b_setval", 2], ["bagof", 3], ["between", 3], ["blob", 2], ["bounded_number", 3], ["break", 0], ["byte_count", 2], ["call", 1], ["call", 2], ["call", 3], ["call", 4], ["call", 5], ["call", 6], ["call", 7], ["call", 8], ["call_cleanup", 2], ["call_continuation", 1], ["call_dcg", 3], ["call_residue_vars", 2], ["call_shared_object_function", 2], ["call_with_depth_limit", 3], ["call_with_inference_limit", 3], ["callable", 1], ["cancel_halt", 1], ["catch", 3], ["catch_with_backtrace", 3], ["char_code", 2], ["char_conversion", 2], ["char_type", 2], ["character_count", 2], ["clause", 2], ["clause", 3], ["clause_property", 2], ["close", 1], ["close", 2], ["close_shared_object", 1], ["code_type", 2], ["collation_key", 2], ["compare", 3], ["compile_aux_clauses", 1], ["compile_predicates", 1], ["compiling", 0], ["compound", 1], ["compound_name_arguments", 3], ["compound_name_arity", 3], ["consult", 1], ["context_module", 1], ["copy_predicate_clauses", 2], ["copy_stream_data", 2], ["copy_stream_data", 3], ["copy_term", 2], ["copy_term", 3], ["copy_term", 4], ["copy_term_nat", 2], ["copy_term_nat", 4], ["create_prolog_flag", 3], ["current_arithmetic_function", 1], ["current_atom", 1], ["current_blob", 2], ["current_char_conversion", 2], ["current_engine", 1], ["current_flag", 1], ["current_format_predicate", 2], ["current_functor", 2], ["current_input", 1], ["current_key", 1], ["current_locale", 1], ["current_module", 1], ["current_op", 3], ["current_output", 1], ["current_predicate", 1], ["current_predicate", 2], ["current_prolog_flag", 2], ["current_resource", 2], ["current_signal", 3], ["current_table", 2], ["current_transaction", 1], ["current_trie", 1], ["cyclic_term", 1], ["date_time_stamp", 2], ["dcg_translate_rule", 2], ["dcg_translate_rule", 4], ["debug_reset_from_class", 0], ["default_module", 2], ["del_attr", 2], ["del_attrs", 1], ["del_dict", 4], ["delete_directory", 1], ["delete_file", 1], ["delete_import_module", 2], ["det", 1], ["deterministic", 1], ["dict_create", 3], ["dict_pairs", 3], ["dict_same_keys", 2], ["directory_files", 2], ["discontiguous", 1], ["divmod", 4], ["downcase_atom", 2], ["duplicate_term", 2], ["dwim_match", 2], ["dwim_match", 3], ["dwim_predicate", 2], ["dynamic", 1], ["dynamic", 2], ["engine_create", 3], ["engine_create", 4], ["engine_destroy", 1], ["engine_fetch", 1], ["engine_next", 2], ["engine_next_reified", 2], ["engine_post", 2], ["engine_post", 3], ["engine_self", 1], ["engine_yield", 1], ["ensure_loaded", 1], ["erase", 1], ["exists_directory", 1], ["exists_file", 1], ["exists_source", 1], ["exists_source", 2], ["expand_file_name", 2], ["expand_file_search_path", 2], ["expand_goal", 2], ["expand_goal", 4], ["expand_term", 2], ["expand_term", 4], ["export", 1], ["fail", 0], ["false", 0], ["fast_read", 2], ["fast_term_serialized", 2], ["fast_write", 2], ["file_base_name", 2], ["file_directory_name", 2], ["file_name_extension", 3], ["fill_buffer", 1], ["findall", 3], ["findall", 4], ["findnsols", 4], ["findnsols", 5], ["flag", 3], ["float", 1], ["float_class", 2], ["float_parts", 4], ["flush_output", 0], ["flush_output", 1], ["forall", 2], ["format", 1], ["format", 2], ["format", 3], ["format_predicate", 2], ["format_time", 3], ["format_time", 4], ["freeze", 2], ["frozen", 2], ["functor", 3], ["functor", 4], ["garbage_collect", 0], ["garbage_collect_atoms", 0], ["garbage_collect_clauses", 0], ["gc_file_search_cache", 1], ["get", 1], ["get", 2], ["get0", 1], ["get0", 2], ["get_attr", 3], ["get_attrs", 2], ["get_byte", 1], ["get_byte", 2], ["get_char", 1], ["get_char", 2], ["get_code", 1], ["get_code", 2], ["get_dict", 3], ["get_dict", 5], ["get_flag", 2], ["get_single_char", 1], ["get_string_code", 3], ["get_time", 1], ["getenv", 2], ["ground", 1], ["halt", 0], ["halt", 1], ["ignore", 1], ["import", 1], ["import_module", 2], ["initialization", 1], ["initialization", 2], ["initialize", 0], ["instance", 2], ["integer", 1], ["is", 2], ["is_absolute_file_name", 1], ["is_dict", 1], ["is_dict", 2], ["is_engine", 1], ["is_list", 1], ["is_message_queue", 1], ["is_most_general_term", 1], ["is_stream", 1], ["is_thread", 1], ["is_trie", 1], ["keysort", 2], ["known_licenses", 0], ["leash", 1], ["length", 2], ["license", 0], ["license", 1], ["license", 2], ["line_count", 2], ["line_position", 2], ["load_files", 1], ["load_files", 2], ["locale_create", 3], ["locale_destroy", 1], ["locale_property", 2], ["make_directory", 1], ["make_library_index", 1], ["make_library_index", 2], ["malloc_property", 1], ["memberchk", 2], ["message_queue_create", 1], ["message_queue_create", 2], ["message_queue_destroy", 1], ["message_queue_property", 2], ["message_queue_set", 2], ["message_to_string", 2], ["meta_predicate", 1], ["mode", 1], ["module", 1], ["module_property", 2], ["module_transparent", 1], ["msort", 2], ["multifile", 1], ["mutex_create", 1], ["mutex_create", 2], ["mutex_destroy", 1], ["mutex_lock", 1], ["mutex_property", 2], ["mutex_statistics", 0], ["mutex_trylock", 1], ["mutex_unlock", 1], ["mutex_unlock_all", 0], ["name", 2], ["nb_current", 2], ["nb_delete", 1], ["nb_getval", 2], ["nb_link_dict", 3], ["nb_linkarg", 3], ["nb_linkval", 2], ["nb_set_dict", 3], ["nb_setarg", 3], ["nb_setval", 2], ["nl", 0], ["nl", 1], ["non_terminal", 1], ["nonground", 2], ["nonvar", 1], ["noprofile", 1], ["noprotocol", 0], ["normalize_space", 2], ["not", 1], ["not_exists", 1], ["notrace", 0], ["notrace", 1], ["nth_clause", 3], ["nth_integer_root_and_remainder", 4], ["number", 1], ["number_chars", 2], ["number_codes", 2], ["number_string", 2], ["numbervars", 3], ["numbervars", 4], ["on_signal", 3], ["once", 1], ["op", 3], ["open", 3], ["open", 4], ["open_null_stream", 1], ["open_resource", 2], ["open_resource", 3], ["open_shared_object", 2], ["open_shared_object", 3], ["open_string", 2], ["pack_attach", 2], ["peek_byte", 1], ["peek_byte", 2], ["peek_char", 1], ["peek_char", 2], ["peek_code", 1], ["peek_code", 2], ["peek_string", 3], ["phrase", 2], ["phrase", 3], ["plus", 3], ["predicate_property", 2], ["print", 1], ["print", 2], ["print_message", 2], ["print_message_lines", 3], ["print_toplevel_variables", 0], ["profiler", 2], ["prolog", 0], ["prolog_alert_signal", 2], ["prolog_choice_attribute", 3], ["prolog_current_choice", 1], ["prolog_current_frame", 1], ["prolog_cut_to", 1], ["prolog_debug", 1], ["prolog_frame_attribute", 3], ["prolog_interrupt", 0], ["prolog_listen", 2], ["prolog_listen", 3], ["prolog_load_context", 2], ["prolog_nodebug", 1], ["prolog_skip_level", 2], ["prolog_stack_property", 2], ["prolog_to_os_filename", 2], ["prolog_unlisten", 2], ["prompt", 2], ["prompt1", 1], ["protocol", 1], ["protocola", 1], ["protocolling", 1], ["public", 1], ["put", 1], ["put", 2], ["put_attr", 3], ["put_attrs", 2], ["put_byte", 1], ["put_byte", 2], ["put_char", 1], ["put_char", 2], ["put_code", 1], ["put_code", 2], ["put_dict", 3], ["put_dict", 4], ["qcompile", 1], ["qcompile", 2], ["radial_restraint", 0], ["random_property", 1], ["rational", 1], ["rational", 3], ["read", 1], ["read", 2], ["read_clause", 3], ["read_link", 3], ["read_pending_chars", 3], ["read_pending_codes", 3], ["read_string", 3], ["read_string", 5], ["read_term", 2], ["read_term", 3], ["read_term_from_atom", 3], ["read_term_with_history", 2], ["recorda", 2], ["recorda", 3], ["recorded", 2], ["recorded", 3], ["recordz", 2], ["recordz", 3], ["redefine_system_predicate", 1], ["reexport", 1], ["reexport", 2], ["register_iri_scheme", 3], ["reload_library_index", 0], ["rename_file", 2], ["repeat", 0], ["require", 1], ["reset", 3], ["reset_profiler", 0], ["residual_goals", 1], ["retract", 1], ["retractall", 1], ["rule", 2], ["rule", 3], ["same_file", 2], ["same_term", 2], ["see", 1], ["seeing", 1], ["seek", 4], ["seen", 0], ["select_dict", 3], ["set_end_of_stream", 1], ["set_flag", 2], ["set_input", 1], ["set_locale", 1], ["set_malloc", 1], ["set_module", 1], ["set_output", 1], ["set_prolog_IO", 3], ["set_prolog_flag", 2], ["set_prolog_gc_thread", 1], ["set_prolog_stack", 2], ["set_random", 1], ["set_stream", 2], ["set_stream_position", 2], ["set_system_IO", 3], ["set_thread", 2], ["setarg", 3], ["setenv", 2], ["setlocale", 3], ["setof", 3], ["setup_call_catcher_cleanup", 4], ["setup_call_cleanup", 3], ["shell", 1], ["shell", 2], ["shift", 1], ["shift_for_copy", 1], ["sig_atomic", 1], ["sig_block", 1], ["sig_pending", 1], ["sig_remove", 2], ["sig_unblock", 1], ["size_abstract_term", 3], ["size_file", 2], ["skip", 1], ["skip", 2], ["sleep", 1], ["snapshot", 1], ["sort", 2], ["sort", 4], ["source_file", 1], ["source_file", 2], ["source_file_property", 2], ["source_location", 2], ["split_string", 4], ["stamp_date_time", 3], ["start_abstract_tabling", 3], ["start_moded_tabling", 5], ["start_subsumptive_tabling", 3], ["start_tabling", 3], ["statistics", 2], ["stream_pair", 3], ["stream_position_data", 3], ["stream_property", 2], ["string", 1], ["string_bytes", 3], ["string_chars", 2], ["string_code", 3], ["string_codes", 2], ["string_concat", 3], ["string_length", 2], ["string_lower", 2], ["string_upper", 2], ["strip_module", 3], ["style_check", 1], ["sub_atom", 5], ["sub_atom_icasechk", 3], ["sub_string", 5], ["subsumes_term", 2], ["succ", 2], ["tab", 1], ["tab", 2], ["table", 1], ["tabled_call", 1], ["tell", 1], ["telling", 1], ["term_attvars", 2], ["term_expansion", 2], ["term_hash", 2], ["term_hash", 4], ["term_singletons", 2], ["term_string", 2], ["term_string", 3], ["term_to_atom", 2], ["term_variables", 2], ["term_variables", 3], ["text_to_string", 2], ["thread_affinity", 3], ["thread_create", 2], ["thread_create", 3], ["thread_detach", 1], ["thread_exit", 1], ["thread_get_message", 1], ["thread_get_message", 2], ["thread_get_message", 3], ["thread_idle", 2], ["thread_initialization", 1], ["thread_join", 1], ["thread_join", 2], ["thread_local", 1], ["thread_peek_message", 1], ["thread_peek_message", 2], ["thread_property", 2], ["thread_self", 1], ["thread_send_message", 2], ["thread_send_message", 3], ["thread_setconcurrency", 2], ["thread_signal", 2], ["thread_statistics", 3], ["thread_update", 2], ["thread_wait", 2], ["throw", 1], ["time_file", 2], ["tmp_file", 2], ["tmp_file_stream", 3], ["tnot", 1], ["told", 0], ["trace", 0], ["tracing", 0], ["transaction", 1], ["transaction", 2], ["transaction", 3], ["transaction_updates", 1], ["trie_delete", 3], ["trie_destroy", 1], ["trie_gen", 2], ["trie_gen", 3], ["trie_insert", 2], ["trie_insert", 3], ["trie_insert", 4], ["trie_lookup", 3], ["trie_new", 1], ["trie_property", 2], ["trie_term", 2], ["trie_update", 3], ["trim_heap", 0], ["trim_stacks", 0], ["true", 0], ["tty_get_capability", 3], ["tty_goto", 2], ["tty_put", 2], ["tty_size", 2], ["ttyflush", 0], ["undefined", 0], ["undo", 1], ["unifiable", 3], ["unify_with_occurs_check", 2], ["unload_file", 1], ["unsetenv", 1], ["untable", 1], ["unwrap_predicate", 2], ["upcase_atom", 2], ["use_foreign_library", 1], ["use_foreign_library", 2], ["use_module", 1], ["use_module", 2], ["var", 1], ["var_number", 2], ["var_property", 2], ["variant_hash", 2], ["variant_sha1", 2], ["verbose_expansion", 1], ["version", 0], ["version", 1], ["visible", 1], ["volatile", 1], ["wait_for_input", 3], ["wildcard_match", 2], ["wildcard_match", 3], ["win_rename_file", 2], ["with_mutex", 2], ["with_output_to", 2], ["with_tty_raw", 1], ["working_directory", 2], ["write", 1], ["write", 2], ["write_canonical", 1], ["write_canonical", 2], ["write_length", 3], ["write_term", 2], ["write_term", 3], ["writeln", 1], ["writeln", 2], ["writeq", 1], ["writeq", 2], ["zip_clone", 2], ["zip_close_", 2], ["zip_file_info_", 3], ["zip_lock", 1], ["zip_open_stream", 3], ["zip_unlock", 1], ["zipper_goto", 2], ["zipper_open_current", 3], ["zipper_open_new_file_in_zip", 4]];
+
+const controlNames = new Set(control);
+const directiveNames = new Set(directives);
+const operatorNames = new Set(operators);
+const builtinNames = new Set(builtins.map(([name]) => name));
+const necks = new Set([":-", "-->", "?-"]);
+
+// The character classes of SWI-Prolog's reader (manual section "Unicode Prolog source"):
+// identifiers are ID_Start ID_Continue*, variables start with an uppercase letter or `_`,
+// non-ASCII symbols and punctuation glue like the ASCII symbol characters.
+const symbolChar = /^(?:[#$&*+\-./:<=>?@^~\\]|(?![\0-\x7f])[\p{S}\p{P}])$/u;
+const nameStart = /^[\p{ID_Start}_]$/u;
+const nameChar = /^\p{ID_Continue}$/u;
+const variableStart = /^[\p{Lu}\p{Lt}_]$/u;
+const layout = /^\s$/u;
+
+const chr = (input, offset) => {
+  const code = input.peek(offset);
+  if (code < 0) return ""
+  if (code >= 0xd800 && code < 0xdc00) {
+    const low = input.peek(offset + 1);
+    if (low >= 0xdc00 && low < 0xe000) return String.fromCharCode(code, low)
+  }
+  return String.fromCharCode(code)
+};
+
+// The character before `(` or `{`: `f(` is a compound and `t{` a dict, `f (` and `t {`
+// are not.
+const before = input => String.fromCharCode(input.peek(-1));
+const endsTag = c => c == "'" || nameChar.test(c);
+
+function scan(input, text, test) {
+  let c;
+  while ((c = chr(input, text.length)) && test.test(c)) text += c;
+  return text
+}
+
+function nameKind(text) {
+  if (controlNames.has(text)) return Control
+  if (directiveNames.has(text)) return DirectiveName
+  if (operatorNames.has(text)) return Operator
+  if (builtinNames.has(text)) return Builtin
+  return Atom
+}
+
+function symbolKind(text) {
+  if (necks.has(text)) return Neck
+  if (text == ":") return Colon
+  if (controlNames.has(text)) return Control
+  return SymbolAtom
+}
+
+// SWI-Prolog nests block comments.
+function blockComment(input) {
+  let depth = 0;
+  for (let i = 0; ; i++) {
+    const c = input.peek(i);
+    if (c < 0) return input.acceptToken(BlockComment, i)
+    if (c == 47 /* / */ && input.peek(i + 1) == 42 /* * */) { depth++; i++; }
+    else if (c == 42 && input.peek(i + 1) == 47) {
+      i++;
+      if (--depth == 0) return input.acceptToken(BlockComment, i + 1)
+    }
+  }
+}
+
+function quasiQuotation(input) {
+  for (let i = 2; ; i++) {
+    const c = input.peek(i);
+    if (c < 0) return input.acceptToken(QuasiQuotation, i)
+    if (c == 124 /* | */ && input.peek(i + 1) == 125 /* } */) return input.acceptToken(QuasiQuotation, i + 2)
+  }
+}
+
+const prologTokens = new ExternalTokenizer((input, stack) => {
+  const next = input.next;
+  if (next == 47 && input.peek(1) == 42) return blockComment(input)
+  if (next == 40 /* ( */) {
+    const c = before(input);
+    if ((endsTag(c) || symbolChar.test(c)) && stack.canShift(CallOpen)) input.acceptToken(CallOpen, 1);
+    return
+  }
+  if (next == 123 /* { */) {
+    if (input.peek(1) == 124) return quasiQuotation(input)
+    if (endsTag(before(input)) && stack.canShift(DictOpen)) input.acceptToken(DictOpen, 1);
+    return
+  }
+  const first = chr(input, 0);
+  if (symbolChar.test(first)) {
+    const text = scan(input, "", symbolChar);
+    if (text == ".") {
+      const after = chr(input, 1);
+      if (!after || after == "%" || layout.test(after)) return input.acceptToken(End, 1)
+    }
+    return input.acceptToken(symbolKind(text), text.length)
+  }
+  if (nameStart.test(first)) {
+    const text = scan(input, first, nameChar);
+    if (text == "_") return input.acceptToken(Anonymous, 1)
+    return input.acceptToken(variableStart.test(first) ? Variable : nameKind(text), text.length)
+  }
+}, {contextual: true});
+
+// This file was generated by lezer-generator. You probably shouldn't edit it.
+const parser = LRParser.deserialize({
+  version: 14,
+  states: "(|Q]QROOOOQP'#Da'#DaO!sQRO'#DbOOQP'#Db'#DbO&QQRO'#CzO&XQRO'#C}O&`QRO'#DPO(TQRO'#DVOOQP'#Dc'#DcO([QRO'#CnOOQP'#De'#DeO(cQRO'#DdO(fQRO'#DdO(pQRO'#DWOOQP'#D_'#D_OOQP'#DX'#DXQ]QROOO(xQRO,59lO)PQRO'#CqOOQP'#DZ'#DZO*yQRO,59fO+QQRO'#CpOOQP,59f,59fOOQP'#D`'#D`O+VQRO,59iOOQP,59i,59iO+^QRO,59kOOQP,59k,59kO`QRO,5:OOOQP'#DY'#DYO+eQRO,59YOOQP,59Y,59YO+lQRO'#CsO+sQRO,5:OO+sQRO,5:OO+}QRO,59pOOQP,59r,59rOOQP-E7V-E7VO,UQRO1G/WOOQP1G/W1G/WOOQP-E7X-E7XOOQP1G/Q1G/QOOQP,59[,59[OOQP1G/T1G/TOOQP1G/V1G/VO,]QRO'#DVO,dQRO1G/jO,gQRO1G/jOOQP-E7W-E7WOOQP1G.t1G.tO,qQRO,59_OOQP,59_,59_O,gQRO1G/jO,xQRO1G/[OOQP1G/[1G/[OOQP7+$r7+$rO-PQRO7+%UO-PQRO7+%UOOQP1G.y1G.yOOQP7+$v7+$vO-ZQRO<<Hp",
+  stateData: "-e~O!QOS`OSPOS~ORXOSWOTPOUPOVPOWPOXPOYPOZQO[QO]ROcPOhROiROjROkROmSOpTOrUOuWOvWOwWO~O_aOQ!UXR!UXS!UXT!UXU!UXV!UXW!UXX!UXY!UXZ!UX[!UX]!UXc!UXh!UXi!UXj!UXk!UXm!UXp!UXr!UXu!UXv!UXw!UXl!UXo!UXf!UX~ORcOSWOTPOUPOVPOWPOXPOYPOZQO[QO]ROcPOhROiROjROkROmSOpTOrUOuWOvWOwWO~OlfO~P$jOoiO~P$jOfkO~P$jO_aOQyXRyXTyXUyXVyXWyXXyXYyXZyX[yX]yX^yXcyXhyXiyXjyXkyXmyXpyXryXuyXvyXwyX~OSlO~P&gOQoO~P`O^pOQ!WXR!WX~P`OQtORsO~OowO~P$jO_aOR!SXS!SXT!SXU!SXV!SXW!SXX!SXY!SXZ!SX[!SX]!SX^eXc!SXh!SXi!SXj!SXk!SXl!SXm!SXp!SXr!SXu!SXv!SXw!SXo!SXf!SXQ!SX~OlyO~P$jO^pO~Oo{O~P$jOf|O~P$jOQ!RO~P`Of!TO~P$jOQ!WaR!Wa~P`OQ!WO~P`Oo!XO~P$jOSyX~P&gO^pOQ!WiR!Wi~P`Of![O~P$jOQ!]O~P`OQ!WqR!Wq~P`OQ!WyR!Wy~P`O",
+  goto: "'`!YPPPPPPPPPPPPPPPPPP!ZP!_!yP#ePPPPPP#nPP#nP#n#nPPP!Z$_!Z$f$l%YPPP%p%t&b#n#n'T'XT^O`!RgSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^!ReSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^QrZQzeR!Z!OUYO`l!RgSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^SZO`R!OlQ`ORu`QnXSqZ[[!Qnq!U!V!Y!^Q!UrQ!VsS!Y!O!PR!^!ZQdSQhTQjUQvaYxdhjv!SR!SpT_O`dcSTUadhjpv!SmmXZ[nqrs!O!P!U!V!Y!Z!^SVO`!QbSTUXZ[adhjnpqrsv!O!P!S!U!V!Y!Z!^R}lT]O`S[O`R!Pl",
+  nodeNames: "⚠ BlockComment End Neck Colon Control SymbolAtom Atom Operator DirectiveName Builtin Variable Anonymous QuasiQuotation CallOpen DictOpen LineComment Program Directive QuotedAtom Compound Functor ) ArgList Number String BackquoteString ! ] [ List } { Curly ( Parenthesized Dict , ; | Rule HeadFunctor Fact",
+  maxTerm: 55,
+  nodeProps: [
+    ["closedBy", -2,14,34,")",-2,15,32,"}",29,"]"],
+    ["openedBy", 22,"(",28,"[",31,"{"]
+  ],
+  skippedNodes: [0,1,16],
+  repeatNodeCount: 3,
+  tokenData: ";P~RqXY#YYZ#Y[]#Y]^#Ypq#Yqr$Zrs$`uv&Pwx&hxy(Xyz(^|}(c!Q!R(h!R!S5P!S!T7a!T!U8O!U![5k!]!^8p!}#O8u#P#Q8z#S#T9P#j#k#Y#o#p:p#p#q:u#q#r:z$f$g#Y#BY#BZ#Y$IS$I_#Y$I|$I}#Y$I}$JO#Y$JT$JU#Y$KV$KW#Y&FU&FV#Y~#_^!Q~XY#YYZ#Y[]#Y]^#Ypq#Y#j#k#Y$f$g#Y#BY#BZ#Y$IS$I_#Y$I|$I}#Y$I}$JO#Y$JT$JU#Y$KV$KW#Y&FU&FV#Y~$`Ok~~$cVOr$`rs$xs#O$`#O#P%Q#P;'S$`;'S;=`%y<%lO$`~$}Pi~rs$`~%TRO;'S$`;'S;=`%^;=`O$`~%aWOr$`rs$xs#O$`#O#P%Q#P;'S$`;'S;=`%y;=`<%l$`<%lO$`~%|P;=`<%l$`~&US`~OY&PZ;'S&P;'S;=`&b<%lO&P~&eP;=`<%l&P~&kVOw&hwx'Qx#O&h#O#P'Y#P;'S&h;'S;=`(R<%lO&h~'VPc~wx&h~']RO;'S&h;'S;=`'f;=`O&h~'iWOw&hwx'Qx#O&h#O#P'Y#P;'S&h;'S;=`(R;=`<%l&h<%lO&h~(UP;=`<%l&h~(^Or~~(cOf~~(hOu~~(mZh~pq)`wx-P!O!P*Q!Q![)f!g!h*l#R#S+u#U#V2V#X#Y*l#c#d3T#f#g,X#l#m3x~)cP!Q![)f~)kVh~pq)`!O!P*Q!Q![)f!g!h*l#R#S+u#X#Y*l#f#g,X~*TP!Q![*W~*]Th~!Q![*W!g!h*l!k!l+W!p!q+i#X#Y*l~*oR{|*x}!O*x!Q![+O~*{P!Q![+O~+TPh~!Q![+O~+ZP#b#c+^~+aP#Y#Z+d~+iOh~~+lP#T#U+o~+rP!p!q+d~+xTXY+uYZ+u]^+upq+u!Q![)f~,[P!Q![,_~,dRh~pq,X!Q![,_#R#S,m~,pTXY,mYZ,m]^,mpq,m!Q![,_~-SVOw+dwx-ix#O+d#O#P-q#P;'S+d;'S;=`2P<%lO+d~-nPh~wx+d~-tZO!Q+d!Q!Y.g!Y!w+d!w!x.r!x#i+d#i#j0x#j#l+d#l#m1W#m;'S+d;'S;=`1w;=`O+d~.lQh~!Q!Y.g#O#P+d~.wRh~!Q![/Q!c!i/Q#T#Z/Q~/TR!Q![/^!c!i/^#T#Z/^~/aR!Q![/j!c!i/j#T#Z/j~/mR!Q![/v!c!i/v#T#Z/v~/yR!Q![0S!c!i0S#T#Z0S~0VR!Q![0`!c!i0`#T#Z0`~0cR!Q![0l!c!i0l#T#Z0l~0oR!Q![+d!c!i+d#T#Z+d~0}Rh~!Q![0S!c!i0S#T#Z0S~1]Rh~!Q![1f!c!i1f#T#Z1f~1kSh~!Q![1f!c!i1f#O#P+d#T#Z1f~1|Ph~;=`<%l+d~2SP;=`<%l+d~2YQ!Q!R2`!R!S2`~2eRh~!Q!R2`!R!S2`#R#S2n~2qUXY2nYZ2n]^2npq2n!Q!R2`!R!S2`~3WP!Q!Y3Z~3`Qh~!Q!Y3Z#R#S3f~3iTXY3fYZ3f]^3fpq3f!Q!Y3Z~3{R!Q![4U!c!i4U#T#Z4U~4ZSh~!Q![4U!c!i4U#R#S4g#T#Z4U~4jVXY4gYZ4g]^4gpq4g!Q![4U!c!i4U#T#Z4U~5UVh~pq)`!O!P*Q!Q![5k!g!h*l#R#S+u#X#Y*l#f#g,X~5pWh~pq)`wx6Y!O!P*Q!Q![)f!g!h*l#R#S+u#X#Y*l#f#g,X~6]R!Q![6f!c!}6f#T#o6f~6kSh~!Q![6f!c!}6f#R#S6w#T#o6f~6zVXY6wYZ6w]^6wpq6w!Q![6f!c!}6f#T#o6f~7fWh~pq)`wx6Y!O!P*Q!Q![5k!g!h*l#R#S+u#X#Y*l#f#g,X~8TXh~pq)`wx6Y!O!P*Q!Q!X5k!X![)f!g!h*l#R#S+u#X#Y*l#f#g,X~8uOv~~8zOm~~9POl~~9SVO#O9P#O#P9i#P#S9P#S#T:b#T;'S9P;'S;=`:j<%lO9P~9lRO;'S9P;'S;=`9u;=`O9P~9xWO#O9P#O#P9i#P#S9P#S#T:b#T;'S9P;'S;=`:j;=`<%l9P<%lO9P~:gPj~#S#T9P~:mP;=`<%l9P~:uOp~~:zOw~~;POo~",
+  tokenizers: [prologTokens, 0],
+  topRules: {"Program":[0,17]},
+  tokenPrec: 0
+});
+
+const prologHighlighting = styleTags({
+    Variable: tags.variableName,
+    Anonymous: tags.special(tags.variableName),
+    "Atom QuotedAtom": tags.atom,
+    Number: tags.number,
+    String: tags.string,
+    "BackquoteString QuasiQuotation": tags.special(tags.string),
+    LineComment: tags.lineComment,
+    BlockComment: tags.blockComment,
+    Neck: tags.definitionOperator,
+    End: tags.punctuation,
+    Operator: tags.operatorKeyword,
+    SymbolAtom: tags.operator,
+    'Control "!" ";"': tags.controlKeyword,
+    DirectiveName: tags.definitionKeyword,
+    Builtin: tags.standard(tags.variableName),
+    "HeadFunctor/Atom HeadFunctor/QuotedAtom HeadFunctor/Operator HeadFunctor/Control HeadFunctor/DirectiveName HeadFunctor/Builtin HeadFunctor/SymbolAtom": tags.definition(tags.function(tags.variableName)),
+    "Functor/Atom Functor/QuotedAtom Functor/SymbolAtom": tags.function(tags.variableName),
+    "Functor/Builtin": tags.standard(tags.function(tags.variableName)),
+    '"(" ")" CallOpen': tags.paren,
+    '"[" "]"': tags.squareBracket,
+    '"{" "}" DictOpen': tags.brace,
+    '"," "|" Colon': tags.separator,
+});
+
+const clauses = "Directive Rule Fact";
+// Folds a clause from the end of its first line's construct (the neck, or the head of a
+// fact) to its end token.
+function foldClause(node) {
+    var _a;
+    const end = node.lastChild, from = ((_a = node.getChild("Neck")) !== null && _a !== void 0 ? _a : node.firstChild).to;
+    return (end === null || end === void 0 ? void 0 : end.name) == "End" && end.from > from ? { from, to: end.from } : null;
+}
+// SWI-Prolog's layout of if-then-else: `->`, `*->`, `;`, `|` and `)` line up with the
+// opening parenthesis, the goals one unit further in.
+function parenthesized(cx) {
+    const column = cx.column(cx.node.from);
+    return /^\s*(->|\*->|;|\||\))/.test(cx.textAfter) ? column : column + cx.unit;
+}
+const prologLanguage = LRLanguage.define({
+    name: "prolog",
+    parser: parser.configure({
+        props: [
+            prologHighlighting,
+            indentNodeProp.add({
+                [clauses]: continuedIndent(),
+                Parenthesized: parenthesized,
+                ArgList: delimitedIndent({ closing: ")" }),
+                List: delimitedIndent({ closing: "]" }),
+                "Curly Dict": delimitedIndent({ closing: "}" }),
+            }),
+            foldNodeProp.add({
+                [clauses]: foldClause,
+                BlockComment: node => ({ from: node.from + 2, to: node.to - 2 }),
+            }),
+        ],
+    }),
+    languageData: {
+        commentTokens: { line: "%", block: { open: "/*", close: "*/" } },
+        closeBrackets: { brackets: ["(", "[", "{", "'", '"', "`"] },
+    },
+});
+const builtinCompletion = ifNotIn(["LineComment", "BlockComment", "QuotedAtom", "String", "BackquoteString", "QuasiQuotation"], completeFromList(builtins.map(([label, arity]) => ({ label, detail: `/${arity}`, type: "function" }))));
+/// SWI-Prolog language support for CodeMirror, with completion of built-in predicates.
+function prolog() {
+    return new LanguageSupport(prologLanguage, prologLanguage.data.of({ autocomplete: builtinCompletion }));
+}
+
+export { prolog, prologLanguage };

package/dist/tables.d.ts

@@ -0,0 +1,4 @@
+export declare const operators: string[];
+export declare const control: string[];
+export declare const directives: string[];
+export declare const builtins: [string, number][];

package/package.json

@@ -1,6 +1,48 @@
 {
   "name": "codemirror-lang-swipl",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+  "version": "0.1.1",
+  "keywords": [
+    "codemirror",
+    "lezer",
+    "prolog",
+    "swi-prolog"
+  ],
+  "description": "SWI-Prolog language support for CodeMirror",
+  "scripts": {
+    "test": "mocha test/*.js",
+    "build": "rollup -c && tsc -p tsconfig.json --declaration --emitDeclarationOnly --outDir dist",
+    "prepare": "pnpm run build"
+  },
+  "type": "module",
+  "main": "dist/index.cjs",
+  "module": "dist/index.js",
+  "exports": {
+    "import": "./dist/index.js",
+    "require": "./dist/index.cjs"
+  },
+  "types": "dist/index.d.ts",
+  "sideEffects": false,
+  "dependencies": {
+    "@codemirror/autocomplete": "^6.0.0",
+    "@codemirror/language": "^6.0.0",
+    "@lezer/common": "^1.5.3",
+    "@lezer/highlight": "^1.0.0",
+    "@lezer/lr": "^1.0.0"
+  },
+  "devDependencies": {
+    "@codemirror/state": "^6.0.0",
+    "@lezer/generator": "^1.0.0",
+    "@rollup/plugin-typescript": "^12.1.4",
+    "@types/node": "^26.0.0",
+    "mocha": "^11.7.1",
+    "rollup": "^4.45.1",
+    "tslib": "^2.8.1",
+    "typescript": "^5.8.3"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/jcschuster/lang-prolog.git",
+    "directory": "packages/codemirror-lang-swipl"
+  },
+  "license": "MIT"
+}