Module ai_kit::core
[−]
[src]
The core module contains the core data structures and traits used by all other modules.
Structs
| Bindings |
Bindings is used for storing variables and operating on variables and their bindings. |
Traits
| BindingsValue |
A type must implement BindingsValue in order to be used as the value for some variable. |
| Operation |
A type that implements Operation constructs new Unifys from existing Unifys that match it's input patterns. |
| Unify |
A type must implement the Unify trait for it to be unifiable - this only requirement for a data structure that the algorithms in this library operate on. |