# \#clp

**URL:** https://swi-prolog.discourse.group/tag/clp/19.md

[Latest](https://swi-prolog.discourse.group/latest.md) · [Categories](https://swi-prolog.discourse.group/categories.md) · [Tags](https://swi-prolog.discourse.group/tags.md)

---

## [CLP over Finite Set](https://swi-prolog.discourse.group/t/clp-over-finite-set/6610)

<div class="topic-metadata">

**Author:** [@z5h](https://swi-prolog.discourse.group/u/z5h)\
**Replies:** 3\
**Last updated:** [June 5, 2023, 2:49pm UTC](https://swi-prolog.discourse.group/t/clp-over-finite-set/6610 "2023-06-05T14:49:32Z")

</div>

I’m analyzing games. Imagine applying Sudoku-like constraints to a board of (finitely many) arbitrary non-integer terms (house(green), soldier, cow, etc). For example, a soldier cannot be beside a house, there is one cow…

---

## [Specifying a simple puzzle in CLP](https://swi-prolog.discourse.group/t/specifying-a-simple-puzzle-in-clp/3892)

<div class="topic-metadata">

**Author:** [@bladyjoker](https://swi-prolog.discourse.group/u/bladyjoker)\
**Replies:** 4\
**Last updated:** [May 1, 2021, 7:02pm UTC](https://swi-prolog.discourse.group/t/specifying-a-simple-puzzle-in-clp/3892 "2021-05-01T19:02:58Z")

</div>

Hello marvelous Prolog community, I watched Vsauces’ recent Future of Reasoning video on YouTube (https://youtu.be/\_ArVh3Cj9rw?t=590) where he presented his audience with a simple logical puzzle: Paul is looking at Mar…

---

## [CLP for terms?](https://swi-prolog.discourse.group/t/clp-for-terms/3595)

<div class="topic-metadata">

**Author:** [@AmbientTea](https://swi-prolog.discourse.group/u/AmbientTea)\
**Replies:** 6\
**Last updated:** [February 19, 2021, 4:13pm UTC](https://swi-prolog.discourse.group/t/clp-for-terms/3595 "2021-02-19T16:13:45Z")

</div>

I’m looking for the best way to constrain variables to a set of terms in a similar way freeze(X, member(X, \[..values\]) would. However, at some point later in the code I’d like to further refine these constraints in simil…

---

## [Maximize/minimize non-linear equations involving real numbers in Prolog](https://swi-prolog.discourse.group/t/maximize-minimize-non-linear-equations-involving-real-numbers-in-prolog/1503)

<div class="topic-metadata">

**Author:** [@JCR](https://swi-prolog.discourse.group/u/JCR)\
**Replies:** 11\
**Last updated:** [September 23, 2020, 7:21am UTC](https://swi-prolog.discourse.group/t/maximize-minimize-non-linear-equations-involving-real-numbers-in-prolog/1503 "2020-09-23T07:21:06Z")

</div>

Hi! I use clpr (for reals) and clpfd (for integers). clpr can maximize or minimize linear equations but not non-linear ones. Conversely, clpfd can maximize or minimize non-linear equations but only deals with integers. …