🇪🇸 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

1
aarroyoc/postgresql-prolog

aarroyoc/postgresql-prolog

A Prolog library to connect to PostgreSQL databases
Prolog
84
star
2
kikito/7-languages-in-7-weeks

kikito/7-languages-in-7-weeks

My personal repo for 7LI7W exercises
Prolog
63
star
3
Ttreintaysiete/chaves

Ttreintaysiete/chaves

Cheap Hacky Audio/Video - Glitch VGA synth based on jonasbers.com/chav/
Prolog
46
star
4
jariazavalverde/fasill

jariazavalverde/fasill

Fuzzy Aggregators and Similarity Into a Logic Language
Prolog
21
star
5
aarroyoc/doclog

aarroyoc/doclog

DocLog builds documentation from source code in Prolog
Prolog
20
star
6
aarroyoc/djota

aarroyoc/djota

A Djot implementation in Prolog
Prolog
17
star
7
garciparedes/prolog-examples

garciparedes/prolog-examples

Set of awesome Prolog Examples
Prolog
11
star
8
aarroyoc/teruel

aarroyoc/teruel

Template engine for ISO Prolog, based on Jinja and Tera
Prolog
10
star
9
barcelonapm/Acme-PM-Barcelona

barcelonapm/Acme-PM-Barcelona

Talks and projects by Barcelona.pm
Prolog
10
star
10
jariazavalverde/prolog-smtlib

jariazavalverde/prolog-smtlib

An SMT-LIB parser in Prolog
Prolog
8
star
11
aarroyoc/marquete

aarroyoc/marquete

Markdown for Prolog
Prolog
8
star
12
aarroyoc/advent-of-code-2020

aarroyoc/advent-of-code-2020

Solutions of Advent of Code 2020
Prolog
8
star
13
aarroyoc/blog-ejemplos

aarroyoc/blog-ejemplos

Ejemplos del blog Adrianistán
Prolog
7
star
14
mistupv/rev-rewriting

mistupv/rev-rewriting

A tool for the transformation of an irreversible Term Rewriting System into a reversible one
Prolog
7
star
15
mistupv/rever

mistupv/rever

Prolog
7
star
16
jamj2000/HolaMundo

jamj2000/HolaMundo

HolaMundo en varios lenguajes
Prolog
7
star
17
anamestre/FIB-LI-Labs

anamestre/FIB-LI-Labs

✅ Labs for LI (FIB)
Prolog
6
star
18
pedrogial/UA-1-Year-2016-17

pedrogial/UA-1-Year-2016-17

Prolog
5
star
19
aarroyoc/advent-of-code-2023

aarroyoc/advent-of-code-2023

My solutions for AoC 2023
Prolog
5
star
20
aarroyoc/raylib-prolog

aarroyoc/raylib-prolog

Raylib bindings to Scryer Prolog using library(ffi)
Prolog
5
star
21
aarroyoc/valveni-db

aarroyoc/valveni-db

ValveniDB
Prolog
5
star
22
fxn/Programming-Prolog-in-Depth

fxn/Programming-Prolog-in-Depth

Exercises of the book "Programming Prolog in Depth"
Prolog
4
star
23
jasagredo/advent-of-prolog-2023

jasagredo/advent-of-prolog-2023

Advent of Prolog 2023
Prolog
4
star
24
rrunix/functional_prolog

rrunix/functional_prolog

Functional prolog
Prolog
4
star
25
Baha/maper

Baha/maper

Prolog
4
star
26
openSX70/openSX70-FTDI

openSX70/openSX70-FTDI

FTDI connection to program openSX70 camera
Prolog
4
star
27
jotego/jttwin16

jotego/jttwin16

FPGA core compatible with Twin16 arcade hardware
Prolog
4
star
28
gusmanb/unicvmod

gusmanb/unicvmod

Universal composite mod for retro computers
Prolog
3
star
29
aarroyoc/advent-of-code-2022

aarroyoc/advent-of-code-2022

Prolog
3
star
30
aarroyoc/scryer-http-lyncex

aarroyoc/scryer-http-lyncex

Scryer HTTP Server dev version and test suite
Prolog
3
star
31
Xuaco/Ciao-sASP

Xuaco/Ciao-sASP

Prolog
3
star
32
AlbertoCruzLuis/IA-ULL-WumpusWorld

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.
Prolog
2
star
33
diegomarcov/AI-Agent

diegomarcov/AI-Agent

AI Agent that plays a combat RPG game
Prolog
2
star
34
Xuaco/sCASP

Xuaco/sCASP

Prolog
2
star
35
jcarpio/rc1718

jcarpio/rc1718

Representacion del conocimiento
Prolog
2
star
36
MaraniMatias/Inteligencia-Artificia-UTN-Prolog

MaraniMatias/Inteligencia-Artificia-UTN-Prolog

Ejercicios de Inteligencia Artificial.
Prolog
2
star
37
jariazavalverde/prolog-union-find

jariazavalverde/prolog-union-find

A union-find algorithm implementation for SWI-Prolog
Prolog
2
star
38
jcarpio/rc1920

jcarpio/rc1920

Representación del conocimiento
Prolog
2
star
39
hluaces/uned-pec-fia

hluaces/uned-pec-fia

Práctica resuelta de la asignatura Fundamentos de Inteligencia Artificial de la UNED durante el curso 2015/2016.
Prolog
2
star
40
jcarpio/rc2021

jcarpio/rc2021

Repositorio de Representación del conocimiento curso 2020-2021
Prolog
2
star
41
jariazavalverde/prolog-lens

jariazavalverde/prolog-lens

Prolog
2
star
42
alexpdp7/prolog-parsing

alexpdp7/prolog-parsing

Prolog
2
star
43
wilberquito/Paradigms-and-Programming-Languages

wilberquito/Paradigms-and-Programming-Languages

Classes content
Prolog
2
star
44
jcarpio/rc2223

jcarpio/rc2223

Representación del Conocimiento 2022-2023
Prolog
2
star
45
BigETI/TILOPrak

BigETI/TILOPrak

Prolog
1
star
46
AlejandroDCastro/Plman

AlejandroDCastro/Plman

Prácticas de Matemáticas 1
Prolog
1
star
47
VictorNS69/Ejercicios-Prolog

VictorNS69/Ejercicios-Prolog

Ejercicios varios propuestos en la asignatura de PROLOG en el curso 2018/2019
Prolog
1
star
48
adriacabeza/LI

adriacabeza/LI

Puta bida tt
Prolog
1
star
49
jcarpio/rc1819

jcarpio/rc1819

Representación del Conocimiento
Prolog
1
star
50
aarroyoc/files-prolog

aarroyoc/files-prolog

Files.adrianistan.eu (SWI Prolog)
Prolog
1
star
51
javierjcf/uned_PEC2_IA_GAS

javierjcf/uned_PEC2_IA_GAS

PEC2 - Sistema prevención GAS (IA)
Prolog
1
star
52
sagzain/GUI-Hanoi-XPCE-prolog

sagzain/GUI-Hanoi-XPCE-prolog

Graphical User Interface for Hanoi problem (up to 5 disks) using XPCE & prolog
Prolog
1
star
53
aarroyoc/remoria

aarroyoc/remoria

Remoria is a Prolog blog engine
Prolog
1
star
54
Zalez95/prolog-exercises

Zalez95/prolog-exercises

Prolog exercises for some of my subjects at the University of Valladolid
Prolog
1
star
55
jhbecares/botzzaroni

jhbecares/botzzaroni

Prolog
1
star
56
aasensio/mcmc

aasensio/mcmc

Routines to carry out Markov Chain MonteCarlo using several algorithms
Prolog
1
star
57
jariazavalverde/prolog-dimacs

jariazavalverde/prolog-dimacs

A set of parsers for DIMACS formats written in Prolog
Prolog
1
star
58
LuisChineaRangel/wsc-riddle

LuisChineaRangel/wsc-riddle

Solution to the problem of the wolf, the sheep and the cabbage (WSC) written in Prolog
Prolog
1
star
59
lluisalemanypuig/sycalc

lluisalemanypuig/sycalc

Small symbolic calculator implemented with SWI-Prolog. Performs basic arithmetic operations with multi-variate polynomials.
Prolog
1
star
60
jasagredo/advent_prolog

jasagredo/advent_prolog

Solutions to advent of code 2019 in Prolog
Prolog
1
star
61
espardino/xpress-hardware

espardino/xpress-hardware

Xpress architecture hardware components
Prolog
1
star
62
jcarpio/kr1920

jcarpio/kr1920

Prolog
1
star
63
jesusvallejo/PROLOG

jesusvallejo/PROLOG

CiaoProlog project
Prolog
1
star
64
adriacabeza/DiscreteTomography

adriacabeza/DiscreteTomography

Path Puzzles: Discrete Tomography with Prolog
Prolog
1
star
65
adriacabeza/FlowFreeSolver

adriacabeza/FlowFreeSolver

🤯 Solver of Flow Free puzzles
Prolog
1
star
66
sejas/muia-sudoku-prolog-automated-planning

sejas/muia-sudoku-prolog-automated-planning

Prolog
1
star
67
kinow/art-of-prolog

kinow/art-of-prolog

Prolog
1
star
68
nadamas2000/Ejercicios-Prolog

nadamas2000/Ejercicios-Prolog

Ejercicios diversos en Prolog y lógica informática
Prolog
1
star
69
kinow/hello-prolog

kinow/hello-prolog

Hi again prolog language
Prolog
1
star
70
pacocp/ECLiPSe_CSP_Problems

pacocp/ECLiPSe_CSP_Problems

🌍 Some CSP problems solved using ECLiPSe Prolog
Prolog
1
star
71
borjaguanchesicilia/Planificador-Repartos-IA

borjaguanchesicilia/Planificador-Repartos-IA

Planificador de repartos con programación lógica.
Prolog
1
star
72
rdfdz/Prolog

rdfdz/Prolog

Declarative Programming
Prolog
1
star
73
ereslibre/facultad

ereslibre/facultad

Facultad
Prolog
1
star
74
salva/salva-prolog-modules

salva/salva-prolog-modules

Several modules for Prolog
Prolog
1
star
75
junquera/Buscaminas-CRA

junquera/Buscaminas-CRA

Prolog
1
star
76
junquera/Corleone-CRA

junquera/Corleone-CRA

Prolog
1
star
77
aarroyoc/etherimail

aarroyoc/etherimail

Disposable mail addresses
Prolog
1
star
78
aarroyoc/prolog-gamedev

aarroyoc/prolog-gamedev

Experiments about Gamedev + Prolog
Prolog
1
star
79
jcarpio/rc2122

jcarpio/rc2122

Prolog
1
star
80
dayanarp/proyecto-prolog

dayanarp/proyecto-prolog

Prolog
1
star
81
labra/asptests

labra/asptests

Answer Set Programming Examples and tests
Prolog
1
star
82
Huss-9/Problems-with-Prolog-and-PicoSat

Huss-9/Problems-with-Prolog-and-PicoSat

I solve several complex problems using Prolog and PicoSat. There are problems such as TSP, Olympiad, etc.
Prolog
1
star
83
jaalonso/Ejercicios-Prolog

jaalonso/Ejercicios-Prolog

Ejercicios de programación lógica con Prolog
Prolog
1
star
84
ereslibre/pda

ereslibre/pda

Advanced declarative programming
Prolog
1
star
85
beejeke/prolog-ia

beejeke/prolog-ia

Prácticas de Prolog para la asignatura Inteligencia Artificial (ULL)
Prolog
1
star
86
angeligareta/battleship

angeligareta/battleship

Implementation of the infamous game Sink The Float in Prolog. Played against the machine but the board is only visible for it.
Prolog
1
star
87
javpelle/AIProjects

javpelle/AIProjects

A few projects in different branches of artificial intelligence (AI)
Prolog
1
star
88
AdrianFL/competicion-plman

AdrianFL/competicion-plman

Repositorio para el desarrollo de objetos para la nueva competición de PL-Man
Prolog
1
star
89
jgsogo/sokoban

jgsogo/sokoban

Prolog solver of Sokoban puzzle using depth-first-search algorithm
Prolog
1
star
90
jmorenov/sokoban-problem-prolog

jmorenov/sokoban-problem-prolog

Sokoban problem solved using Prolog.
Prolog
1
star
91
alamillac/INLP-DCG

alamillac/INLP-DCG

Definite Clause Grammar in prolog (second practical work of introduction natural language processing)
Prolog
1
star
92
DavidTinoco/OpenshiftOverOpenstack

DavidTinoco/OpenshiftOverOpenstack

Prolog
1
star
93
chivi94/ICON

chivi94/ICON

Knowledge engineering from ETSII UVa
Prolog
1
star
94
velastroll/Prolog

velastroll/Prolog

🧠 Prolog exercises.
Prolog
1
star