sicstus-prolog

There are 11 repositories under sicstus-prolog topic.

hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language:JavaScript355 44 1074
triska/clpz
Constraint Logic Programming over Integers
Language:Prolog174 11 2714
msramalho/feup-plog
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint Satisfaction Problem
Language:Prolog4 2 01
edurbrito/mapello
A fun reversi derivative board game
Language:JavaScript2 2 00
EdgarACarneiro/feup-plog
Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @andrefcruz.
Language:TeX1 3 01
literallysofia/feup-plog
Projects developed for Logic Programming class.
Language:Prolog1 3 01
SergioEstevao11/FEUP-PFL-Snort
:chess_pawn: Snort game
Language:Prolog11
xbreu/mobility-meeting-scheduler
Meeting scheduler for groups of people in mobilities at different places. It includes the analysis of flights and lodging prices to return the better date and place for everyone to travel together.
Language:Python1 1 01
RichardMoot/Grail2
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Language:Prolog0 2 00
simula-vias/ite
A lightweight approach for implementing constructive disjunction in Prolog
Language:Jupyter Notebook00
EduRibeiro00/PharmacyDeliveryRouting-feup-plog
Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).
Language:Prolog3 01