SWI-Prolog Logical Programming Languages
-
Updated
Mar 15, 2018 - Prolog
#
logical-programming
Here are 47 public repositories matching this topic...
SWI-Prolog Tutorial
logic prolog logic-programming swi-prolog prolog-programming-language logical-programming prolog-exercises logical-programming-language learn-prolog
-
Updated
Jun 1, 2023 - Prolog
Interpreter written for Prolog course.
interpreter parsing cpp functional-programming prolog university-project ml transpiler toy-language programming-languages compilers dcg logic-programming statically-typed parametric-polymorphism logical-programming
-
Updated
Feb 18, 2020 - Prolog
Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes
prolog ufsc ine declarative-programming learning-prolog logical-programming prolog-exercises prolog-language ine5416 ine5633
-
Updated
Jan 10, 2022 - Prolog
A simulation for data flow system between memory and cache using logic Prolog and functional Haskel Programming.
-
Updated
Aug 9, 2021 - Prolog
-
Updated
Jan 8, 2024 - Prolog
-
Updated
Jun 11, 2021 - Prolog
A System built using SWI Prolog that uses pattern matching to match the best possible vacation offer for the user based on his or her preferences in the database.
-
Updated
May 5, 2021 - Prolog
Set of exercises in Prolog. Written in 1st semester of conversion MSc in Informatics, University of Piraeus.
-
Updated
Sep 23, 2021 - Prolog
Sat-Solver is a Prolog program that converts propositional logic formulas into CNF and solves them using the DPLL algorithm. It processes logical expressions and applies unit propagation, clause simplification, and variable branching. The project was mainly built to improve skills in Prolog.
-
Updated
Feb 25, 2025 - Prolog
A polynomial parser in Haskell and a Qawale game in Prolog developed in the PFL Curricular Unit at FEUP in 2022/2023
-
Updated
Jul 20, 2023 - Prolog
-
Updated
Mar 21, 2023 - Prolog
Exercícios de Programação Lógica implementados em Prolog (https://www.swi-prolog.org/)
-
Updated
Nov 20, 2019 - Prolog
Algoritmo para diagnóstico de doenças psicológicas utilizando paradigma lógico (prolog).
-
Updated
May 14, 2020 - Prolog
Workspace for Functional & Logical Programming using Lisp & Prolog
-
Updated
Nov 22, 2023 - Prolog
Functional and logical programming
-
Updated
Nov 25, 2024 - Prolog
-
Updated
Sep 22, 2018 - Prolog
Improve this page
Add a description, image, and links to the logical-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the logical-programming topic, visit your repo's landing page and select "manage topics."