Skip to content

v0.4.2 — Interactive Euclid-IR REPL

Choose a tag to compare

View all tags
@meob meob released this 16 Aug 06:57
· 49 commits to main since this release
v0.4.2
4356983

What's new

Added

  • Interactive Euclid-IR REPL — euclid-cli with no subcommand opens a swipl/psql-style shell: facts and rules accumulate in a session knowledge base across ? query lines, multi-line rules continue after IF/AND (continuation prompt ... > ), and : meta-commands cover the remaining tools (:check, :kb, :load <file>, :explain [query], :diagnose <query> [why|why_not|what_needs], :what-if <mods>, :reset, :quit). Piped input runs the same loop as a batch script without prompts; -f/--knowledge seed the session (preload fallback when empty). Docs: README "Via CLI" and docs/CLI.md.

Full changelog: CHANGELOG.md

Assets 2
Loading