Projects developed for Logic Programming class.
-
Updated
Dec 30, 2017 - Prolog
Projects developed for Logic Programming class.
🔺 University Subject - Logic Programming (Programação em Lógica) - LYNGK board game + Constraint Satisfaction Problem
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Code and projects developed in the PLOG subject throughout the semester (MIEIC 3rd year, 1st semester).
Constraint Logic Programming over Integers
Add a description, image, and links to the sicstus-prolog topic page so that developers can more easily learn about it.
To associate your repository with the sicstus-prolog topic, visit your repo's landing page and select "manage topics."