Discover Spain's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Spain.
aarroyoc/postgresql-prolog
A Prolog library to connect to PostgreSQL databaseskikito/7-languages-in-7-weeks
My personal repo for 7LI7W exercisesTtreintaysiete/chaves
Cheap Hacky Audio/Video - Glitch VGA synth based on jonasbers.com/chav/jariazavalverde/fasill
Fuzzy Aggregators and Similarity Into a Logic Languageaarroyoc/doclog
DocLog builds documentation from source code in Prologaarroyoc/djota
A Djot implementation in Prologgarciparedes/prolog-examples
Set of awesome Prolog Examplesaarroyoc/teruel
Template engine for ISO Prolog, based on Jinja and Terabarcelonapm/Acme-PM-Barcelona
Talks and projects by Barcelona.pmjariazavalverde/prolog-smtlib
An SMT-LIB parser in Prologaarroyoc/marquete
Markdown for Prologaarroyoc/advent-of-code-2020
Solutions of Advent of Code 2020aarroyoc/blog-ejemplos
Ejemplos del blog Adrianistánmistupv/rev-rewriting
A tool for the transformation of an irreversible Term Rewriting System into a reversible onemistupv/rever
jamj2000/HolaMundo
HolaMundo en varios lenguajesanamestre/FIB-LI-Labs
✅ Labs for LI (FIB)pedrogial/UA-1-Year-2016-17
aarroyoc/advent-of-code-2023
My solutions for AoC 2023aarroyoc/raylib-prolog
Raylib bindings to Scryer Prolog using library(ffi)aarroyoc/valveni-db
ValveniDBfxn/Programming-Prolog-in-Depth
Exercises of the book "Programming Prolog in Depth"jasagredo/advent-of-prolog-2023
Advent of Prolog 2023rrunix/functional_prolog
Functional prologBaha/maper
openSX70/openSX70-FTDI
FTDI connection to program openSX70 camerajotego/jttwin16
FPGA core compatible with Twin16 arcade hardwaregusmanb/unicvmod
Universal composite mod for retro computersaarroyoc/advent-of-code-2022
aarroyoc/scryer-http-lyncex
Scryer HTTP Server dev version and test suiteXuaco/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 gameXuaco/sCASP
jcarpio/rc1718
Representacion del conocimientoMaraniMatias/Inteligencia-Artificia-UTN-Prolog
Ejercicios de Inteligencia Artificial.jariazavalverde/prolog-union-find
A union-find algorithm implementation for SWI-Prologjcarpio/rc1920
Representación del conocimientohluaces/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-2021jariazavalverde/prolog-lens
alexpdp7/prolog-parsing
wilberquito/Paradigms-and-Programming-Languages
Classes contentjcarpio/rc2223
Representación del Conocimiento 2022-2023BigETI/TILOPrak
AlejandroDCastro/Plman
Prácticas de Matemáticas 1VictorNS69/Ejercicios-Prolog
Ejercicios varios propuestos en la asignatura de PROLOG en el curso 2018/2019adriacabeza/LI
Puta bida ttjcarpio/rc1819
Representación del Conocimientoaarroyoc/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 & prologaarroyoc/remoria
Remoria is a Prolog blog engineZalez95/prolog-exercises
Prolog exercises for some of my subjects at the University of Valladolidjhbecares/botzzaroni
aasensio/mcmc
Routines to carry out Markov Chain MonteCarlo using several algorithmsjariazavalverde/prolog-dimacs
A set of parsers for DIMACS formats written in PrologLuisChineaRangel/wsc-riddle
Solution to the problem of the wolf, the sheep and the cabbage (WSC) written in Prologlluisalemanypuig/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 Prologespardino/xpress-hardware
Xpress architecture hardware componentsjcarpio/kr1920
jesusvallejo/PROLOG
CiaoProlog projectadriacabeza/DiscreteTomography
Path Puzzles: Discrete Tomography with Prologadriacabeza/FlowFreeSolver
🤯 Solver of Flow Free puzzlessejas/muia-sudoku-prolog-automated-planning
kinow/art-of-prolog
nadamas2000/Ejercicios-Prolog
Ejercicios diversos en Prolog y lógica informáticakinow/hello-prolog
Hi again prolog languagepacocp/ECLiPSe_CSP_Problems
🌍 Some CSP problems solved using ECLiPSe Prologborjaguanchesicilia/Planificador-Repartos-IA
Planificador de repartos con programación lógica.rdfdz/Prolog
Declarative Programmingereslibre/facultad
Facultadsalva/salva-prolog-modules
Several modules for Prologjunquera/Buscaminas-CRA
junquera/Corleone-CRA
aarroyoc/etherimail
Disposable mail addressesaarroyoc/prolog-gamedev
Experiments about Gamedev + Prologjcarpio/rc2122
dayanarp/proyecto-prolog
labra/asptests
Answer Set Programming Examples and testsHuss-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 Prologereslibre/pda
Advanced declarative programmingbeejeke/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-Manjgsogo/sokoban
Prolog solver of Sokoban puzzle using depth-first-search algorithmjmorenov/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 UVavelastroll/Prolog
🧠 Prolog exercises.Love Open Source and this site? Check out how you can help us