prolog
Here are 49 public repositories matching this topic...
-
Updated
Dec 17, 2025 - C++
A C++ module that uses Prolog ideas for search and constraint programming
-
Updated
Nov 21, 2025 - C++
"dieT" is a knowledge-based expert system that provides personalized diet recommendations based on a user's health profile, dietary preferences, and lifestyle. It combines Prolog rule-based reasoning with a Python Flask web app and AI insights to generate tailored meal plans and nutritional guidance.
-
Updated
Oct 18, 2025 - C++
A Knowledge Base System for Cognition-enabled Robots
-
Updated
Jun 4, 2025 - 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++
Trabajos prácticos, parciales y ejercicios hechos para la carrera de Ingeniería en Sistemas de Información en la UTN
-
Updated
Dec 14, 2024 - C++
Prolog implementation using Warren Abstract Machine
-
Updated
Aug 16, 2024 - C++
Inductor Prolog: A Lightweight Embeddable C++ Prolog Compiler
-
Updated
Dec 4, 2023 - C++
Solving TACI 8-Puzzle using heuristic search
-
Updated
Aug 22, 2023 - C++
A new logic programming language.
-
Updated
Jul 30, 2023 - C++
Artificial Intelligence Lab(Prolog, Python), Computer Networks Lab (Cisco Packet Tracer), Distributed Database Systems Lab (PL-SQL), Formal Language and Compilers Lab (C++, Java)
-
Updated
Jul 28, 2023 - C++
hitchhiker Prolog - an implementation of a novel virtual machine
-
Updated
May 6, 2023 - C++
Whether assignments, homework, class work or bonus work. As long as it was done as school work, it is here.
-
Updated
Mar 7, 2023 - C++
Programas que realice para el ramo de Inteligencia Artificial de la Universidad Mayor
-
Updated
Apr 9, 2022 - 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."