clpfd

Logic Programming using Prolog.

GUI to visualize SWI CLP(FD) programs

A logic-based AI agent.

COMP30020 - Declarative Programming - 2019S2 - Project2

constraint-logic programming environment written in OCaml and runnable in JavaScript

Procurement allocation optimizer: the lowest-TCO supplier award under capacity, MOQ, share caps and dual-sourcing rules — proven optimal, and explainable to the people who question it. Open source (GPLv3), constraint-programming based, agentic-first.

Prolog music-theory helpers: transpose notes by semitones, fourths/fifths, and major/minor triads (CLPFD).

A reservation system for uni classes, modelled as a CSP and implemented using clpfd.

DCG predicates for parsing line- and grid-formatted sudoku puzzles into a 9×9 list of lists.

COMP30020/COMP80048 Declarative Programming Project 2 2017

Support for Logtalk, Prolog and CLP-FD

🔡 MIEIC 2020/2021 - 3ʳᵈ year / 1ˢᵗ semester

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.

Claude Code skill: solve logic/search/constraint problems with SWI-Prolog

CLPFD for the Skyscrapers Puzzle

A set of tools for working with Killer Sudoku puzzles in Prolog — a variant of classic Sudoku extended with cage constraints. Includes a solver, puzzle generator and difficulty rater.

Desktop application for easier generating fuzuli-puzzle

A program in GNU Prolog with Constraint Logic Programming over finite arithmetical domain to find orthogonal Latin squares of a given size.