GitHub topics: sicstus-prolog
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Language: JavaScript - Size: 59.1 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 381 - Forks: 77
dhanak/ets
Electronic Tutoring System (ETS)
Language: Prolog - Size: 878 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
triska/clpz
Constraint Logic Programming over Integers
Language: Prolog - Size: 1.01 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 172 - Forks: 14
SergioEstevao11/FEUP-PFL-Snort
:chess_pawn: Snort game
Language: Prolog - Size: 137 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
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: Python - Size: 3.09 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1
edurbrito/mapello
A fun reversi derivative board game
Language: JavaScript - Size: 114 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
msramalho/feup-plog
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint Satisfaction Problem
Language: Prolog - Size: 8.65 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
EduRibeiro00/PharmacyDeliveryRouting-feup-plog
Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).
Language: Prolog - Size: 27.9 MB - Last synced at: 4 months ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 1
simula-vias/ite Fork of ite4cp/ite
A lightweight approach for implementing constructive disjunction in Prolog
Language: Jupyter Notebook - Size: 104 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
RichardMoot/Grail2
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Language: Prolog - Size: 230 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
literallysofia/feup-plog
Projects developed for Logic Programming class.
Language: Prolog - Size: 11.9 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
EdgarACarneiro/feup-plog
Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @andrefcruz.
Language: TeX - Size: 14 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1
