Popular GitHub Repositories for Logic Programming

The OpenCog (hyper-)graph database and graph rewriting system

Deep Learning and Logical Reasoning from Data and Knowledge

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Implementation for the Neural Logic Machines (NLM).

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

A rule-driven comprehensive AI toolkit emphasizing simultaneous support for multimodal machine learning and the ability to construct cross-platform robots using logic.（规则驱动式的综合性人工智能工具库，强调同时支持多模态机器学习和利用逻辑构建跨平台机器人的能力）

Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)

Implementation of Retrieval Augmented Generation model in typescript with Gemini LLM

An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.

LiFR, the Lighweight Fuzzy semantic Reasoner.

Unity components of SymOntoClay Engine. SymOntoClay Engine is a hybrid language with logic programming and fuzzy logic for defining game characters behavior.

The intelligent research assistant.

A planetary rover simulation that focuses on a multi-agent system that mines resources and returns them to base. Created using Java and Agentspeak.

Crazy Stackers IA is an automatic solver for the Crazy Stackers game, created using the libGDX framework and leveraging the DLV2 logic programming system. This project aims to provide an efficient solution to the game using advanced AI techniques.