# Libraries: queues and heaps

**URL:** <https://swi-prolog.discourse.group/t/libraries-queues-and-heaps/7429>\
**Category:** Resources\
**Created:** [May 1, 2024, 6:41am UTC](https://swi-prolog.discourse.group/t/libraries-queues-and-heaps/7429 "2024-05-01T06:41:16Z")\
**Posts on this page:** 1\
**Showing post:** 8

<div class="post-metadata">

**Author:** ![brebs](https://avatars.discourse-cdn.com/v4/letter/b/e9c0ed/32.png) [@brebs](https://swi-prolog.discourse.group/u/brebs)\
**Post date:** [May 1, 2024, 10:21am UTC](https://swi-prolog.discourse.group/t/libraries-queues-and-heaps/7429/8 "2024-05-01T10:21:21Z")

</div>

> [@anon419083](#):
>
> relational view of natural numbers

Yeah - the situation is a little frustrating with integers:

- Peano is simplistic
- clpfd is usually overkill - [Conditional doesn't backtrack for solution - #20 by brebs](https://swi-prolog.discourse.group/t/conditional-doesnt-backtrack-for-solution/7221/20)

I’ve occasionally yearned for a method in the middle of those 2, for relations between integers. But I’ve not fully-formed these thoughts.

---

_[View the full topic](https://swi-prolog.discourse.group/t/libraries-queues-and-heaps/7429)._