Some abstractions for use by FoL knowledge bases that use the models in SCFirstOrderLogic.
Get Started
$ dotnet add package SCFirstOrderLogic.Inference.AbstractionsReadme
Some abstractions for use by FoL knowledge bases that use the models in SCFirstOrderLogic package.
Full documentation can be found as part of the documentation for the SCFirstOrderLogic package, here.