A Prolog-based solver for the classic “Tents and Trees” logic puzzle. Developed for the Logic for Programming course (2023–2024), this project demonstrates constraint logic programming, recursive reasoning, and search strategies in Prolog.
logic prolog artificial-intelligence backtracking logic-programming puzzle-solver swipl recursive-algorithms constraint-solving
-
Updated
Nov 6, 2025 - Prolog