giles be2000a048 IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1 ...

Adds 6 new built-in predicates to the Prolog runtime and 24 tests covering
term<->atom conversion (bidirectional), output capture, format directives (~w/~a/~d/~n/~~).
456/456 tests passing.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-04-25 13:00:42 +00:00

..

tests

IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1

2026-04-25 13:00:42 +00:00

conformance.sh

IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1

2026-04-25 13:00:42 +00:00

parser.sx

prolog: operator-table parser + < > =< >= built-ins, 19 tests

2026-04-25 06:57:48 +00:00

query.sx

prolog-query SX API: pl-load + pl-query-all + pl-query-one + pl-query (+16 tests)

2026-04-25 09:58:56 +00:00

runtime.sx

IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1

2026-04-25 13:00:42 +00:00

scoreboard.json

IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1

2026-04-25 13:00:42 +00:00

scoreboard.md

IO predicates: term_to_atom/2, term_string/2, with_output_to/2, format/1,2, writeln/1

2026-04-25 13:00:42 +00:00

tokenizer.sx

Recover agent-loop progress: lua/prolog/forth/erlang/haskell phases 1-2

2026-04-24 16:03:00 +00:00