SCFirstOrderLogic (nuget): Basic but fully functional and documented first-order logic implementations. Includes multiple ways to write sentences, as well as simple but extensible chaining and resolution knowledge base implementations that allow for proof tree retrieval.
Keywords: first|order|predicate|logic|inference|engine|knowledge|base|linq