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++
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++
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++
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++
Designing a C++ program that use a stack for matching tags and quotes in XML eXtensive Markup Language.
stack cpp tags xml prolog markup-language xml-tags stack-based xml-files xml-language implementation-of-algorithms implementation-of-data-structures xml-element xml-comments xml-attributes
-
Updated
Jun 28, 2020 - C++
A C++17 library with Prolog-like functionality (Work-In-Progress)
-
Updated
Feb 6, 2020 - 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."