sim-lib-logic 0.1.3

Logic programming facts, queries, unification, and backtracking for SIM.
Documentation

sim-lib-logic

Logic programming facts, queries, unification, and backtracking for SIM.

Package Metadata

  • Manifest: crates/sim-lib-logic/Cargo.toml
  • Publish: true
  • Targets: custom-build, lib

Crate Documentation

Logic behavior for the SIM runtime: clauses, unification, and queries.