Logic Programming using Prolog.
GUI to visualize SWI CLP(FD) programs
A logic-based AI agent.
constraint-logic programming environment written in OCaml and runnable in JavaScript
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.
Logic programming showcase in SWI-Prolog: Expert systems and Constraint Satisfaction. Includes an interactive rule-based character identifier and N-tuple Magic Square solvers optimized with CLP(FD) for high-dimensional search spaces.
CLPFD for the Skyscrapers Puzzle
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.
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."