🇪🇸 Made in Spain
Discover Spain's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Spain.
TOP Prolog Projects
aarroyoc/postgresql-prolog
A Prolog library to connect to PostgreSQL databases
kikito/7-languages-in-7-weeks
My personal repo for 7LI7W exercises
Ttreintaysiete/chaves
Cheap Hacky Audio/Video - Glitch VGA synth based on jonasbers.com/chav/
jariazavalverde/fasill
Fuzzy Aggregators and Similarity Into a Logic Language
aarroyoc/doclog
DocLog builds documentation from source code in Prolog
aarroyoc/djota
A Djot implementation in Prolog
garciparedes/prolog-examples
Set of awesome Prolog Examples
barcelonapm/Acme-PM-Barcelona
Talks and projects by Barcelona.pm
aarroyoc/teruel
Template engine for ISO Prolog, based on Jinja and Tera
aarroyoc/marquete
Markdown for Prolog
aarroyoc/advent-of-code-2020
Solutions of Advent of Code 2020
aarroyoc/blog-ejemplos
Ejemplos del blog Adrianistán
mistupv/rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible one
mistupv/rever
jariazavalverde/prolog-smtlib
An SMT-LIB parser in Prolog
jamj2000/HolaMundo
HolaMundo en varios lenguajes
anamestre/FIB-LI-Labs
✅ Labs for LI (FIB)
pedrogial/UA-1-Year-2016-17
aarroyoc/valveni-db
ValveniDB
aarroyoc/advent-of-code-2023
My solutions for AoC 2023
aarroyoc/raylib-prolog
Raylib bindings to Scryer Prolog using library(ffi)
rrunix/functional_prolog
Functional prolog
fxn/Programming-Prolog-in-Depth
Exercises of the book "Programming Prolog in Depth"
jasagredo/advent-of-prolog-2023
Advent of Prolog 2023
Baha/maper
openSX70/openSX70-FTDI
FTDI connection to program openSX70 camera
jotego/jttwin16
FPGA core compatible with Twin16 arcade hardware
aarroyoc/scryer-http-lyncex
Scryer HTTP Server dev version and test suite
gusmanb/unicvmod
Universal composite mod for retro computers
aarroyoc/advent-of-code-2022
Xuaco/Ciao-sASP
AlbertoCruzLuis/IA-ULL-WumpusWorld
This is a game based in knowledge called Wumpus World implemented in prolog. Carried out in the subject of Artificial Intelligence ULL 2020/2021.
diegomarcov/AI-Agent
AI Agent that plays a combat RPG game
Xuaco/sCASP
jcarpio/rc1718
Representacion del conocimiento
MaraniMatias/Inteligencia-Artificia-UTN-Prolog
Ejercicios de Inteligencia Artificial.
jariazavalverde/prolog-union-find
A union-find algorithm implementation for SWI-Prolog
jcarpio/rc1920
Representación del conocimiento
hluaces/uned-pec-fia
Práctica resuelta de la asignatura Fundamentos de Inteligencia Artificial de la UNED durante el curso 2015/2016.
jcarpio/rc2021
Repositorio de Representación del conocimiento curso 2020-2021
jariazavalverde/prolog-lens
alexpdp7/prolog-parsing
wilberquito/Paradigms-and-Programming-Languages
Classes content
jcarpio/rc2223
Representación del Conocimiento 2022-2023
BigETI/TILOPrak
AlejandroDCastro/Plman
Prácticas de Matemáticas 1
VictorNS69/Ejercicios-Prolog
Ejercicios varios propuestos en la asignatura de PROLOG en el curso 2018/2019
adriacabeza/LI
Puta bida tt
jcarpio/rc1819
Representación del Conocimiento
aarroyoc/files-prolog
Files.adrianistan.eu (SWI Prolog)
javierjcf/uned_PEC2_IA_GAS
PEC2 - Sistema prevención GAS (IA)
sagzain/GUI-Hanoi-XPCE-prolog
Graphical User Interface for Hanoi problem (up to 5 disks) using XPCE & prolog
aarroyoc/remoria
Remoria is a Prolog blog engine
Zalez95/prolog-exercises
Prolog exercises for some of my subjects at the University of Valladolid
jhbecares/botzzaroni
aasensio/mcmc
Routines to carry out Markov Chain MonteCarlo using several algorithms
jariazavalverde/prolog-dimacs
A set of parsers for DIMACS formats written in Prolog
iluzioDev/wsc-riddle
Solution to the problem of the wolf, the sheep and the cabbage (WSC) written in Prolog
lluisalemanypuig/sycalc
Small symbolic calculator implemented with SWI-Prolog. Performs basic arithmetic operations with multi-variate polynomials.
jasagredo/advent_prolog
Solutions to advent of code 2019 in Prolog
espardino/xpress-hardware
Xpress architecture hardware components
jcarpio/kr1920
jesusvallejo/PROLOG
CiaoProlog project
adriacabeza/DiscreteTomography
Path Puzzles: Discrete Tomography with Prolog
adriacabeza/FlowFreeSolver
🤯 Solver of Flow Free puzzles
sejas/muia-sudoku-prolog-automated-planning
kinow/art-of-prolog
nadamas2000/Ejercicios-Prolog
Ejercicios diversos en Prolog y lógica informática
kinow/hello-prolog
Hi again prolog language
pacocp/ECLiPSe_CSP_Problems
🌍 Some CSP problems solved using ECLiPSe Prolog
borjaguanchesicilia/Planificador-Repartos-IA
Planificador de repartos con programación lógica.
rdfdz/Prolog
Declarative Programming
ereslibre/facultad
Facultad
salva/salva-prolog-modules
Several modules for Prolog
junquera/Buscaminas-CRA
junquera/Corleone-CRA
aarroyoc/etherimail
Disposable mail addresses
aarroyoc/prolog-gamedev
Experiments about Gamedev + Prolog
jcarpio/rc2122
dayanarp/proyecto-prolog
labra/asptests
Answer Set Programming Examples and tests
Huss-9/Problems-with-Prolog-and-PicoSat
I solve several complex problems using Prolog and PicoSat. There are problems such as TSP, Olympiad, etc.
jaalonso/Ejercicios-Prolog
Ejercicios de programación lógica con Prolog
ereslibre/pda
Advanced declarative programming
beejeke/prolog-ia
Prácticas de Prolog para la asignatura Inteligencia Artificial (ULL)
angeligareta/battleship
Implementation of the infamous game Sink The Float in Prolog. Played against the machine but the board is only visible for it.
javpelle/AIProjects
A few projects in different branches of artificial intelligence (AI)
AdrianFL/competicion-plman
Repositorio para el desarrollo de objetos para la nueva competición de PL-Man
jgsogo/sokoban
Prolog solver of Sokoban puzzle using depth-first-search algorithm
jmorenov/sokoban-problem-prolog
Sokoban problem solved using Prolog.
alamillac/INLP-DCG
Definite Clause Grammar in prolog (second practical work of introduction natural language processing)
DavidTinoco/OpenshiftOverOpenstack
chivi94/ICON
Knowledge engineering from ETSII UVa
velastroll/Prolog
🧠 Prolog exercises.