Crate fall[−][src]
An easily embeddable, futures-friendly logic engine.
If you want to understand more about this implementation, see How to replace failure by a list of successes by Philip Wadler. This code does not follow that paper exactly (since we can encounter errors during resolution), but the general approach is the same.
Modules
util |
Miscellaneous utilities. |
Structs
Clause |
A single rule or fact. |
Env |
An execution environment. |
Lit |
A literal value, e.g. |
Rules |
A collection of rules or facts (as clauses). |
Subst |
A substitution. |
Enums
LoadError |
An error loading a file. |
ResolutionError |
An error during resolution. |
Term |
A term, e.g. |