🇫🇷 Made in France
Discover France's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of France.
TOP Prolog Projects
JCumin/Brachylog
A terse declarative logic programming language
mrkkrp/lpnes
Learn Prolog Now! Proper and elegant exercise solutions
RichardMoot/LinearOne
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
ANSSI-FR/ProTIP
ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express
AhmedMadbouly/Prolog-Chatbot
christian-vigh/prolog-experiments
A few (small) experiments in Amzi! Prolog
bnjbvr/Knights-Tour
A Prolog solution to the Knights Tour problem, as stated by Euler.
RichardMoot/Grail
Grail is a theorem prover for multimodal type-logical grammars
RichardMoot/Grail0
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
flepied/logilic
Tools to reason about software licenses
JCumin/Arithmelog
A library of Prolog predicates for CLP(FD) arithmetic.
esaid/Ga144
pcb board GA144
chrispanag/NTUA-Artificial-Intelligence-Prolog
Z4ck404/prolog
simple examples with prolog
fredericlepied/sbot
SBot the smart ChatDev bot
superboum/prolog
fsegouin/t430s-yosemite
Kexts & DSDT/SSDT files for Lenovo T430s
fabienpn/effective-qt-project-template
A template for an effective, simple and cross platform Qt project
Stracx/ProjetIA41
Teekos en Prolog
byvlstr/DotsAndBoxesProlog
Dots and Boxes Game in Prolog - INSA 4IF Project
faresfrikha/ProjetRoutesEtInfrastructures
Projet Routes et Infrastructures
miaoufkirsh/EC-pH-temperature-shield
EC / pH and temperature shield for arduino
ychevalier/Babylog
Simple Bruno Faidutti Babylone game in prolog
wtarreau/mosfet-driver
High frequency (~10 MHz), high power MOSFET driver.
adxl/rubix.pl
Prolog magic square generator.
hajali-amine/dimitri-and-the-zombie-cows
A mini-project that we worked on during our Logic Programming workshop at INSAT.
RichardMoot/GrailLight
Light-weight chart parser for multimodal type-logical grammars
Cgg/Prolog
Projet d'introduction à Prolog (insa 4if)
hexanome/dots
dots and boxes game in prolog
fabelier/TV-B-Gone-reverse-shield
A TV-B-Gone "Reverse shield" for Boardino
svanacker/cen-electronic-schema
Schema of all electronical boards of Cybernetique en Nord
blackheaven/sudoku
Sudoku solvers
tetalab/Novela-2013
Novela 2013 content
smerkel/polydefix
Multifit/Polydefix is an open-source IDL software package for an efficient processing of diffraction data obtained in deformation apparatuses at synchrotron beamlines.
avivace/mvpoli
Common Lisp and SWI-Prolog libraries to manipulate multivariate polynomials.
andreaspastor/Kiviat-Diagram-Prolog
School Project : AI algorithm to optimize representation of Kiviat diagram with Prolog
JairoDuarte/Travaux-Pratique-Intelligence-Artificielle
Les codes sources des travaux pratiques réalisés au sein de la Faculté de Sciences de Kénitra pour le cours d'Intelligence Artificielle (Master Big Data and Cloud Computing)
Fatima-Usf/djikstra-Algorithme-using-prolog-
mtth-bfft/seccomp-analyze
A seccomp BPF filter verifier written in Prolog, to parse, analyze and list system calls and arguments allowed by a given filter.
Balthov60/Prolog-Othello
Othello in Prolog
Hazem-Atya/Prolog
iiztp/prolog-lmc-martelli-montanari-2022
emmanuel-h/sudoku
Sudoku solver with example
Nymerea/uBarcodeReader
64q/qlebourgeois
Repository of qlebourgeois.me SWI-Prolog webapp
jrebecchi/IAProject2
adri326/ia41-exs
Exercises for the class IA41 "Fundamental concepts of artificial intelligence"
rania-benaissa/LRC_project
Inference engine written in Prolog for the ALC description logic.
AdrienLemaire/okp4_buider_templates
OKP4 Nemeton Program step 5: Purpose a governance template (Prolog code)
chawki505/Programation-logique-sur-graphe
Projet TP pour la programmation logique sur les graphe avec SWI-Prolog
openhardwarelabs/arduino-motor-shield
Arduino simple motor shield
ilerviraragavane/PrologIAGame
A IA Checkers game created in Prolog
etd-INSA-Rennes/TP-Contraintes
ismailukman/Medical-Disease-Diagnosis
Medical expert system for disease diagnosis
adrienjoly/prolog-pacman
Student project written in 2004 with C. Aussourd. Demo video 👉
Totof34/ZRLC_USB
A small project to measure resistance,capacitor and inductor via USB
Alandrodie/ProjetProlog
Totof34/Preamp_micro_USB
A small project to measure speaker with an electret via USB
chekinih/Prolog
brandonfl/IA_SystemeExpert
Projet de Théo Qui et Fontany--Legall Brandon
sissykosm/NTUA-Artificial-Intelligence-Prolog
kouassives/IAmaster1BDGL
lortabac/tapl
Implementation of the languages presented in the book "Types and Programming Languages" by Benjamin C. Pierce.
robertxa/Turkmenistan
Cave survey data from Koyten-dag, Turmenistan
rand-asswad/taquin
ichermak/Izi
A library of objects for IBM Planning Analytics (TM1) applications
cyprienroche/logicRuleEvaluator
Given a set of logic rules, allows users to check the sldnf and stable model resolution
maeln/PTE
A small AI that translate French "SMS" slang to proper French. Made in Prolog.
theoroton/M1_LMC_Martelli-Montanari
Lowess/Siam
Projet IA02 - Développement du jeu de société SIAM en prolog
DocCreeps/Prolog
luccitan/KhanIA02
Projet Prolog pour l'UV IA02 de l'UTC (semestre P16)
gabrielahrlr/syntactic_parser
Syntactic parser for reading a literary text in natural language. After reading a text, it returns a list with the sentences it contains. The difficulty comes from the segmentation of the text because not all dots always end a sentence, they can also be used in titles (like Dr.) or acronyms. This Parser is programmed in Prolog.
enferas/Mill-game-prolog-
Millin game is a project for AI course in Prolog language
edbeeching/AI_Project
MLDM Semester 1 Artificial Intelligence project.
OctaviPascual/FIB-LI
Lògica a la Informàtica - QP 2015-2016
kumy/stairslight-circuits
Electronic Circuits for the stairslight project
caillou15/GTOS
Système d'exploitation sur le kernel CPCDOS
emmanuel-h/alibaba