[−][src]Crate mini_kanren
Rust implementation of the miniKANREN relational logic language.
Re-exports
pub use prelude::*; |
Modules
core | Core data structures and logic algorithms |
database | A simple relational database |
goals | Library of goals |
prelude | |
testing |
Macros
conda | Creates a goal that succeeds if any of its lines succeeds. Only the first line that succeeds can contribute values. |
conde | Creates a goal that succeeds if any of its lines succeeds. Every successful line contributes one or more values. |
condu |
|
conj | Creates a goal that succeeds if all of its subgoals succeed |
db_facts | Insert facts into databases. |
db_rel | Defines a database relation. |
defrel | Define a relation. A relation is a function that creates a goal. |
disj | Creates a goal that succeeds if any of its subgoals succeeds |
fresh | Bind fresh variables with scope inside the body of |
list | Constructs a cons list. |
run | Run one or more goals. |
substitution | Construct a substitution |