Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).
-
Updated
Oct 6, 2020 - Prolog
#
sicstus-prolog
Here are 12 public repositories matching this topic...
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
-
Updated
Jan 22, 2020 - Prolog
A lightweight approach for implementing constructive disjunction in Prolog
-
Updated
Oct 1, 2020 - Jupyter Notebook
Projects developed for Logic Programming class.
-
Updated
Dec 30, 2017 - Prolog
Project developed for 'Logic Programming', a third year subject @FEUP. Made in collaboration with @AndreFCruz.
-
Updated
Jan 20, 2018 - TeX
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.
programming
constraint-programming
cplex
sicstus-prolog
feup
knowledge-engineering
or-tools
feup-plr
-
Updated
Jun 12, 2022 - Python
A fun reversi derivative board game
-
Updated
Feb 26, 2021 - JavaScript
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint Satisfaction Problem
-
Updated
Jan 29, 2018 - Prolog
Constraint Logic Programming over Integers
-
Updated
Feb 5, 2024 - Prolog
My public programs and models - mostly combinatorial problems and puzzles
comet
ampl
prolog
choco
constraint-programming
constraint-satisfaction
sicstus-prolog
minizinc
answer-set-programming
gecode
essence
numberjack
setl
picat
z3py
eclipse-clp
jacop
jgap
frink
poplog
-
Updated
Sep 26, 2024 - JavaScript
Improve this page
Add a description, image, and links to the sicstus-prolog topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sicstus-prolog topic, visit your repo's landing page and select "manage topics."