eyeprolog 1.5.6 → 1.5.8

package/README.md

@@ -57,10 +57,12 @@ printf 'human(socrates).\nmortal(X) :- human(X).\n' |
 ```
 
 ## Eyelet forward rules (`:+`)
-Normal mode executes top-level `Conclusion :+ Premise` rules through the bundled Prolog `library(eyelet)` driver when no explicit `-g/--goal` is supplied. `true :+ Goal` prints answers and `false :+ Goal` emits a `fuse/1`; JavaScript `run()` follows the same rule. The module exports `:+`, `stable/1`, and `becomes/2`, and implements rule selection, fixed-point rounds, skolemization, state replacement, and duplicate suppression in Prolog. JavaScript only loads the driver and provides private mutability/output adapters. Strict ISO mode disables this extension.
+Normal mode executes top-level `Conclusion :+ Premise` rules through the bundled Prolog `library(eyelet)` driver when no explicit `-g/--goal` is supplied. `true :+ Goal` prints answers and `false :+ Goal` emits a `fuse/1`; JavaScript `run()` follows the same rule. The module exports `:+`, `stable/1`, and `becomes/2`, and implements rule selection, fixed-point rounds, skolemization, state replacement, and duplicate suppression in Prolog. JavaScript retains only syntax recognition, static dependency/autoload planning, driver bootstrap, and private mutability/output adapters; it does not implement the fixed-point semantics. Strict ISO mode disables this extension.
 
 Bundled `src/lib/` predicates autoload in files, CLI/API goals, and the REPL; use `--no-autoload` to require explicit imports, and explicitly import libraries that introduce operators before using their syntax. See [*The Art of EyeProlog*](the-art-of-eyeprolog.md) for the full semantics.
 
+The Trealla/Scryer compatibility surface now also includes chars-based term I/O and Base64 helpers, rational-form conversion in `library(arithmetic)`, `sleep/1`, the shared `library(iso_ext)` control/term re-exports, and focused `library(files)` and `library(os)` modules. Filesystem and OS side effects require Node; browser calls report an unavailable host resource instead. Non-integral `number_to_rational/2` results are represented structurally as `rdiv(Numerator,Denominator)` until rational numbers become processor numeric values.
+
 ## Links
 
 - [The Art of EyeProlog](https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog) — complete reference

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.6",
+  "version": "1.5.8",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

package/src/ARCHITECTURE.md

@@ -16,7 +16,7 @@ higher-level frontends.
    iterators and registers the normal-profile cleanup controls without making
    `solver.js` depend back on the language registry.
 4. **Language services** — `iso.js`, `iso-arithmetic.js`, `dcg.js`, `atts.js`,
-   `standard-library.js`, and `src/lib/`.
+   `scryer-compat.js`, `library-host.js`, `standard-library.js`, and `src/lib/`.
 5. **Frontends/tools** — `execute.js`, `repl.js`, `cli.js`, `quads.js`,
    `explain.js`, and the playground worker.
 

package/src/lib/arithmetic.pl

@@ -1,6 +1,12 @@
 /** Integer arithmetic helpers used by Scryer's CLP(Z) source. */
 
-:- module(arithmetic, [lsb/2, msb/2, popcount/2]).
+:- module(arithmetic, [
+    lsb/2,
+    msb/2,
+    number_to_rational/2,
+    popcount/2,
+    rational_numerator_denominator/3
+]).
 
 :- use_module(library(error), [must_be/2, domain_error/3]).
 
@@ -34,3 +40,13 @@ arithmetic__popcount(X, Count0, Count) :-
     Count1 is Count0 + Bit,
     X1 is X >> 1,
     arithmetic__popcount(X1, Count1, Count).
+
+
+% Rational-form compatibility. EyeProlog currently has integer and float
+% processor values; non-integral results are represented canonically as the
+% ordinary term rdiv(Numerator, Denominator).
+number_to_rational(Number, Rational) :-
+    eyeprolog__number_to_rational(Number, Rational).
+
+rational_numerator_denominator(Rational, Numerator, Denominator) :-
+    eyeprolog__rational_numerator_denominator(Rational, Numerator, Denominator).

package/src/lib/charsio.pl

@@ -4,7 +4,11 @@
     char_type/2,
     get_line_to_chars/3,
     get_single_char/1,
-    get_n_chars/3
+    get_n_chars/3,
+    read_from_chars/2,
+    read_term_from_chars/3,
+    write_term_to_chars/3,
+    chars_base64/3
 ]).
 
 :- use_module(library(error), [can_be/2]).
@@ -47,3 +51,16 @@ charsio__to_eof(Stream, Chars) :-
     (   Char == end_of_file -> Chars = []
     ;   Chars = [Char|Rest], charsio__to_eof(Stream, Rest)
     ).
+
+
+read_from_chars(Chars, Term) :-
+    eyeprolog__read_from_chars(Chars, Term).
+
+read_term_from_chars(Chars, Term, Options) :-
+    eyeprolog__read_term_from_chars(Chars, Term, Options).
+
+write_term_to_chars(Term, Options, Chars) :-
+    eyeprolog__write_term_to_chars(Term, Options, Chars).
+
+chars_base64(Chars, Base64, Options) :-
+    eyeprolog__chars_base64(Chars, Base64, Options).

package/src/lib/files.pl

@@ -0,0 +1,53 @@
+/** Trealla/Scryer common filesystem relations.
+
+Paths are represented as lists of characters, matching Scryer's library(files)
+and EyeProlog's default double_quotes=chars profile. The exported surface is the
+intersection currently documented by both Trealla and Scryer.
+*/
+
+:- module(files, [
+    directory_files/2,
+    delete_file/1,
+    rename_file/2,
+    make_directory/1,
+    make_directory_path/1,
+    working_directory/2
+]).
+
+:- use_module(library(error), [can_be/2]).
+
+files__chars([]).
+files__chars([C|Cs]) :- atom(C), atom_length(C, 1), files__chars(Cs).
+
+files__must_be_chars(Term) :-
+    ( var(Term) -> throw(error(instantiation_error, files))
+    ; files__chars(Term) -> true
+    ; throw(error(type_error(list, Term), files))
+    ).
+
+directory_files(Directory, Files) :-
+    files__must_be_chars(Directory),
+    can_be(list, Files),
+    eyeprolog__directory_files(Directory, Files).
+
+delete_file(File) :-
+    files__must_be_chars(File),
+    eyeprolog__delete_file(File).
+
+rename_file(File, Renamed) :-
+    files__must_be_chars(File),
+    files__must_be_chars(Renamed),
+    eyeprolog__rename_file(File, Renamed).
+
+make_directory(Directory) :-
+    files__must_be_chars(Directory),
+    eyeprolog__make_directory(Directory).
+
+make_directory_path(Directory) :-
+    files__must_be_chars(Directory),
+    eyeprolog__make_directory_path(Directory).
+
+working_directory(Directory0, Directory) :-
+    can_be(list, Directory0),
+    can_be(list, Directory),
+    eyeprolog__working_directory(Directory0, Directory).

package/src/lib/iso_ext.pl

@@ -1,10 +1,14 @@
 /** Widely implemented extensions to the ISO Prolog core. */
 
 :- module(iso_ext, [
+    call_cleanup/2,
     call_nth/2,
+    call_residue_vars/2,
     countall/2,
+    copy_term_nat/2,
     forall/2,
     succ/2,
+    setup_call_cleanup/3,
     cfor/3,
     findall/4,
     variant/2,
@@ -12,7 +16,13 @@
     '...'/2
 ]).
 
+:- use_module(library(atts), [call_residue_vars/2]).
+:- use_module(library(terms), [copy_term_nat/2]).
+
+:- meta_predicate(call_cleanup(0, 0)).
 :- meta_predicate(call_nth(0, '?')).
+:- meta_predicate(call_residue_vars(0, '?')).
+:- meta_predicate(setup_call_cleanup(0, 0, 0)).
 :- meta_predicate(countall(0, '?')).
 :- meta_predicate(forall(0, 0)).
 :- meta_predicate(findall('?', 0, '?', '?')).

package/src/lib/os.pl

@@ -0,0 +1,60 @@
+/** Trealla/Scryer common operating-system relations.
+
+Environment keys, values, commands and argv entries are lists of characters,
+matching Scryer's library(os) and EyeProlog's default chars profile.
+*/
+
+:- module(os, [
+    getenv/2,
+    setenv/2,
+    unsetenv/1,
+    shell/1,
+    shell/2,
+    pid/1,
+    raw_argv/1,
+    argv/1
+]).
+
+:- use_module(library(error), [can_be/2]).
+
+os__chars([]).
+os__chars([C|Cs]) :- atom(C), atom_length(C, 1), os__chars(Cs).
+
+os__must_be_chars(Term) :-
+    ( var(Term) -> throw(error(instantiation_error, os))
+    ; os__chars(Term) -> true
+    ; throw(error(type_error(list, Term), os))
+    ).
+
+getenv(Key, Value) :-
+    os__must_be_chars(Key),
+    can_be(list, Value),
+    eyeprolog__getenv(Key, Value).
+
+setenv(Key, Value) :-
+    os__must_be_chars(Key),
+    os__must_be_chars(Value),
+    eyeprolog__setenv(Key, Value).
+
+unsetenv(Key) :-
+    os__must_be_chars(Key),
+    eyeprolog__unsetenv(Key).
+
+shell(Command) :- shell(Command, 0).
+
+shell(Command, Status) :-
+    os__must_be_chars(Command),
+    can_be(integer, Status),
+    eyeprolog__shell(Command, Status).
+
+pid(Pid) :-
+    can_be(integer, Pid),
+    eyeprolog__pid(Pid).
+
+raw_argv(Arguments) :-
+    can_be(list, Arguments),
+    eyeprolog__raw_argv(Arguments).
+
+argv(Arguments) :-
+    can_be(list, Arguments),
+    eyeprolog__argv(Arguments).

package/src/lib/time.pl

@@ -1,16 +1,26 @@
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    format_time//2 is reused from the common Scryer/Trealla library(time),
-   written by Markus Triska.  Only current_time/1's platform adapter is
-   EyeProlog-specific.
+   written by Markus Triska.  current_time/1 and sleep/1 use small
+   EyeProlog host adapters; time/1 and statistics/2 reuse existing runtime
+   services.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 /** Predicates for reasoning about time. */
 
-:- module(time, [current_time/1, format_time//2]).
+:- module(time, [sleep/1, time/1, current_time/1, format_time//2, statistics/2]).
+
+:- meta_predicate(time(0)).
 
 :- use_module(library(dcgs), [seq//1]).
 :- use_module(library(error), [domain_error/3]).
 :- use_module(library(lists), [member/2]).
+:- use_module(library(iso_ext), [time/1]).
+
+sleep(Seconds) :- eyeprolog__sleep(Seconds).
+
+% time/1 is re-exported from library(iso_ext); statistics/2 is a
+% normal-profile runtime predicate. This matches the Scryer module surface
+% without duplicating either implementation.
 
 current_time(T) :-
     eyeprolog__current_time(T).

package/src/library-autoload-index.js

@@ -57,6 +57,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "all_distinct/1": "clpz",
   "append/2": "lists",
   "append/3": "lists",
+  "argv/1": "os",
   "assoc_to_keys/2": "assoc",
   "assoc_to_list/2": "assoc",
   "assoc_to_values/2": "assoc",
@@ -71,6 +72,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "bb_put/2": "debug",
   "becomes/2": "eyelet",
   "between/3": "between",
+  "call_cleanup/2": "iso_ext",
   "call_nth/2": "iso_ext",
   "call_residue_vars/2": "atts",
   "call_with_error_context/2": "error",
@@ -79,6 +81,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "chain/2": "clpz",
   "char_type/2": "charsio",
   "character_si/1": "si",
+  "chars_base64/3": "charsio",
   "chars_si/1": "si",
   "circuit/1": "clpz",
   "clpz_t/2": "clpz",
@@ -100,10 +103,12 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "del_max_assoc/4": "assoc",
   "del_min_assoc/4": "assoc",
   "del_vertices/3": "ugraphs",
+  "delete_file/1": "files",
   "dif_si/2": "si",
   "dif/2": "dif",
   "dif/3": "reif",
   "difference/3": "dates",
+  "directory_files/2": "files",
   "disjoint2/1": "clpz",
   "domain_error/2": "error",
   "domain_error/3": "error",
@@ -138,6 +143,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "get_line_to_chars/3": "charsio",
   "get_n_chars/3": "charsio",
   "get_single_char/1": "charsio",
+  "getenv/2": "os",
   "global_cardinality/2": "clpz",
   "global_cardinality/3": "clpz",
   "group_pairs_by_key/2": "pairs",
@@ -169,6 +175,8 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "lowercase/2": "strings",
   "lsb/2": "arithmetic",
   "lt/2": "comparison",
+  "make_directory_path/1": "files",
+  "make_directory/1": "files",
   "map_assoc/2": "assoc",
   "map_assoc/3": "assoc",
   "map_list_to_pairs/3": "pairs",
@@ -200,6 +208,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "nth1/3": "lists",
   "nth1/4": "lists",
   "number_string/2": "strings",
+  "number_to_rational/2": "arithmetic",
   "numbervars/3": "terms",
   "numlist/2": "between",
   "numlist/3": "between",
@@ -234,6 +243,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "phrase_to_stream/2": "pio",
   "phrase/2": "dcgs",
   "phrase/3": "dcgs",
+  "pid/1": "os",
   "popcount/2": "arithmetic",
   "portray_clause_/3": "format",
   "portray_clause/1": "format",
@@ -245,7 +255,12 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "random_labeling/2": "clpb",
   "random/1": "random",
   "random/3": "random",
+  "rational_numerator_denominator/3": "arithmetic",
+  "raw_argv/1": "os",
   "reachable/3": "ugraphs",
+  "read_from_chars/2": "charsio",
+  "read_term_from_chars/3": "charsio",
+  "rename_file/2": "files",
   "repeat/1": "between",
   "replace/4": "strings",
   "representation_error/1": "error",
@@ -262,11 +277,17 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "serialized/2": "clpz",
   "set_nth0/4": "lists",
   "set_random/1": "random",
+  "setenv/2": "os",
+  "setup_call_cleanup/3": "iso_ext",
+  "shell/1": "os",
+  "shell/2": "os",
+  "sleep/1": "time",
   "slice/4": "lists",
   "smallest_divisor_from/3": "primes",
   "split/3": "strings",
   "stable/1": "eyelet",
   "start_tabling/2": "tabling",
+  "statistics/2": "time",
   "string_concat/3": "strings",
   "substring/4": "strings",
   "succ/2": "iso_ext",
@@ -293,6 +314,7 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "type_error/2": "error",
   "type_error/3": "error",
   "ugraph_union/3": "ugraphs",
+  "unsetenv/1": "os",
   "uppercase/2": "strings",
   "uuid_string/2": "uuid",
   "uuid/3": "uuid",
@@ -304,6 +326,8 @@ export const eyePrologLibraryAutoload = Object.freeze({
   "weighted_maximum/3": "clpb",
   "when_si/2": "si",
   "when/2": "when",
+  "working_directory/2": "files",
+  "write_term_to_chars/3": "charsio",
   "zcompare/3": "clpz"
 });
 
@@ -325,6 +349,7 @@ export const eyePrologLibraryAutoloadModules = Object.freeze([
   "dif",
   "error",
   "eyelet",
+  "files",
   "format",
   "freeze",
   "gensym",
@@ -332,6 +357,7 @@ export const eyePrologLibraryAutoloadModules = Object.freeze([
   "lambda",
   "lists",
   "ordsets",
+  "os",
   "pairs",
   "pio",
   "primes",