In the end I implemented a solution using asserts for checking uniqueness and the number of solutions. However, I got different results using maplist and concurrent_maplist, see the post Difference in success between maplist and concurrent_maplist
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Does prolog fit my use case? | 21 | 913 | September 17, 2019 | |
| ChatGPT SWI-Prolog assistent | 27 | 629 | July 1, 2025 | |
| Any programatic way to obtain rules used to prove a goal? | 18 | 1220 | February 18, 2020 | |
| I've put an introductory Prolog tut for SQL programmers on Swish | 47 | 2514 | March 4, 2021 | |
| Porting the SWI-Prolog benchmark suite: comparing 8 Prolog systems | 24 | 2595 | November 29, 2023 |