Logic Programming using Prolog.
-
Updated
Jan 18, 2019 - Prolog
Logic Programming using Prolog.
GUI to visualize SWI CLP(FD) programs
A logic-based AI agent.
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Support for Logtalk, Prolog and CLP-FD
🔡 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester
A reservation system for uni classes, modelled as a CSP and implemented using clpfd.
A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.
Add a description, image, and links to the clpfd topic page so that developers can more easily learn about it.
To associate your repository with the clpfd topic, visit your repo's landing page and select "manage topics."