A new logic programming language.
-
Updated
Jul 30, 2023 - C++
#
prolog
Here are 48 public repositories matching this topic...
A Knowledge Base System for Cognition-enabled Robots
-
Updated
Jun 4, 2025 - C++
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
-
Updated
Nov 19, 2021 - C++
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
-
Updated
Dec 4, 2023 - C++
hitchhiker Prolog - an implementation of a novel virtual machine
-
Updated
May 6, 2023 - C++
Prolog implementation using Warren Abstract Machine
-
Updated
Aug 16, 2024 - C++
Legacy is a collection of legacy projects built using defunct tools
-
Updated
Oct 10, 2017 - C++
Spike Neural Network in Prolog (and Arduino)
arduino neural-network prolog spike artificial-intelligence spiking-neural-networks izhikevich-neurons univpm
-
Updated
Feb 4, 2019 - C++
ELC117 - Paradigmas de Programação - UFSM - 2017a
python education functional-programming prolog concurrent-programming logic-programming paradigms object-oriented-programming
-
Updated
Jul 14, 2017 - C++
A Automated Demonstrator written in Prolog. That can be used as SAT solver when you place one formula on thesis (tautology test).
-
Updated
May 1, 2025 - C++
Programas que realice para el ramo de Inteligencia Artificial de la Universidad Mayor
-
Updated
Apr 9, 2022 - C++
A C++17 library with Prolog-like functionality (Work-In-Progress)
-
Updated
Feb 6, 2020 - C++
Kamisado is a board game for two players, played on an 8x8 multicoloured board.
-
Updated
Dec 28, 2017 - C++
Improve this page
Add a description, image, and links to the prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the prolog topic, visit your repo's landing page and select "manage topics."