Skip to content

Initial Release
Compare
Choose a tag to compare
@fatho fatho released this 13 Oct 12:09
· 73 commits to main since this release
v0.2.0
db56398

This release is the first version of this crate that has been pushed to crates.io: https://crates.io/crates/logru

It features:

  • A small and fast solver core implementing depth-first search.
  • A textual language for logic terms inspired by Prolog.
  • A few examples on how to use the library, including a small REPL for interactively exploring a set of rules.
Assets 2
Loading