2 packages tagged with “quantificational”
Basic but fully functional and documented first-order logic implementations. Includes models for raw and CNF formulas, as well as extensible logic for creating, manipulating, formatting and indexing them.
Some abstractions for use by FoL knowledge bases that use the models in SCFirstOrderLogic.