giles 1819156d1e prolog: cross-validate compiler vs interpreter (+17)

2026-04-25 18:32:36 +00:00

..

tests

prolog: cross-validate compiler vs interpreter (+17)

2026-04-25 18:32:36 +00:00

compiler.sx

prolog: cross-validate compiler vs interpreter (+17)

2026-04-25 18:32:36 +00:00

conformance.sh

prolog: cross-validate compiler vs interpreter (+17)

2026-04-25 18:32:36 +00:00

parser.sx

Add :- to op table (prec 1200 xfx); enable assert/asserta/assertz with rule terms

2026-04-25 13:22:09 +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

prolog: compile clauses to SX closures (+17)

2026-04-25 18:08:27 +00:00

scoreboard.json

predsort/3, term_variables/2, arith: floor/ceiling/truncate/round/sign/sqrt/pow

2026-04-25 14:13:12 +00:00

scoreboard.md

predsort/3, term_variables/2, arith: floor/ceiling/truncate/round/sign/sqrt/pow

2026-04-25 14:13:12 +00:00

tokenizer.sx

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

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