/chaining

MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.

Primary LanguageShellGNU General Public License v3.0GPL-3.0

Chaining MeTTa Module

MeTTa module that should eventually contain various flavors of backward and forward chaining, as well as converters between these flavors.

For now it only contains a number of experiments under experimental.