sim-lib-logic-0.1.2
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

sim-lib-logic 0.1.2

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

Crate
Source
Builds
Feature flags

..
tests
all_solutions.rs
arith.rs
builtins.rs
capabilities.rs
clause.rs
codec.rs
constraints.rs
cut.rs
db.rs
env.rs
error.rs
lib.rs
lisp.rs
lisp_runtime.rs
lists.rs
model.rs
naf.rs
policy.rs
query.rs
shapes.rs
stream.rs
tests.rs
unify.rs