PredicateExtensions is a C# utility that will take two Lambda expressions and combine them using .And or .Or extension methods. Expressions be joined at runtime for dynamic LINQ queries. PredicateExtensions can be used with EntityFramework to refactor and create dynamic queries.
Enables the efficient, dynamic composition of query predicates linq expressions supporting the logical operators: AND, OR, NOT.
It can be used with any kind of entity that need to be queried by a linq expression.
Basic but fully functional and documented first-order logic implementations. Includes multiple ways to write sentences, as well as chaining and resolution knowledge base implementations that allow for proof tree retrieval.