NucleoidAI/Nucleoid

Combines declarative logic programming with dynamic knowledge graphs that unify logic and data statements, automatically tracking relationships and re-evaluating conclusions as new information arrives. Built on IPL-inspired syntax, it enables both fast contextual reasoning and deliberate logical deduction, with full transparency into the decision-making process. Designed to integrate neural network outputs with symbolic reasoning, making it suitable for LLM-based systems requiring explainable, adaptive inference.

728 stars. Actively maintained with 3 commits in the last 30 days.