Changelog

v0.4.1 - 2024-12-23

Thanks to @dcz-self again for a bunch of contributions!

Changes:

Addition of ScopedPrettifier as convenience wrapper to prettify solutions associated with UniverseQuerys (#31)
Addition of a few helpful clone instances (#33, #34)

v0.4.0 - 2024-12-01

Many thanks to @dcz-self for a bunch of contributions!

New features:

The textual language now supports line comments with % (#26)
VarScopes now provide additional functions to inspect the variables in the scope (#23)
TextualUniverse is now captured immutably by prepared queries, so that multiple queries can be run concurrently against the universe (#27)

Breaking changes:

SolutionIter now returns Solutions rather than Vec<_>s, making it easier to relate goal variables to solution terms (#25)
The concrete symbol storage used by e.g. the parser and some resolvers is now abstracted behind a SymbolStorage trait (as part of the works for #27)

v0.3.0 - 2024-11-24

New features:

Named variables and wildcards (#14)
Integer arithmetic (see logru::resolver::arithmetic module) (#18)
Extensibility through custom predicate resolvers (see Resolver trait and the REPL example) (#17 and #19)
Cut (#20)

Major breaking changes:

Numeric variable naming is no longer supported.
Struct CompiledRuleDb is now called RuleSet.
Module solver is now called search.
The Universe type is now roughly subsumed by the SymbolStore and RuleResolver types.
The NamedUniverse type has been absorbed by SymbolStore, which now provides allocating symbol IDs and naming them in one.

Bug fixes:

Occurs check did not follow bound variables (fixed in #16)

v0.2.0 - 2021-10-13

Initial release