PLN is a high-level symbolic reasoning system that performs reasoning under uncertainty and produces derivations in real-time. It provides a comprehensive framework for semantic reasoning, encompassing deductive, inductive, and abductive forms of inference.
Githup repos with code and documentation: