Popular GitHub Repositories for Prolog

A batteries-included kit for knowledge graphs

Free and open source A.I. system based on Python, TensorFlow and Prolog.

A Knowledge Base System for Cognition-enabled Robots

Tableau-based Theorem Prover for Natural Logic and Language

NephroDoctor: A simple Medical Expert System written in Prolog

MUD Server written in Prolog using Forward chaining

Tartarus is a multi-agent emulator for Static as well as Mobile Agents.

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

?️?️2️⃣️0️⃣️0️⃣️1️⃣️?️ The source repository for the open source AI2001 Artificial Intelligence project.

Argument Mining from online debates and hybrid-semantics reasoning

Backward-chaining medical expert system that specializes in selected autoimmune diseases and employs MYCIN-style computations to handle uncertainty

An experimental Python-Prolog Hybrid model that explores adding reasoning capabilities to LLMs using a Fact, Rule and Inference Framework.

FluxAI is a developer-focused framework designed to build and optimize AI agents that enhance structured task execution with RAG, HITL, and COT integration.

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

Dialogue manager for a digital home assistant in romanian. Processing various intents receveid from a RASA model using a finite automata combined with a knowledge base representation in Prolog. External resources acces was provided to fulfill certain intents via APIs(Google Calendar and weather).

A fully interactive domain-specific chatbot implemented using Prolog and PySwip.

COMP9414 Artificial Intelligence 2018S1

Knowledge Representation paradigm to create a simple question-answering tool.

ITMO University AI Systems Course

A small Langage semantic in Prolog