All SWI Prolog snippets can be found [ here ] (https://github.com/xavierdever/extension-lgt-pl-clp/blob/main/snippets/prolog.swi.json) It contains CLP(FD) snippets
| Snippets |
|---|
| #=/2 |
| #=/2 |
| #>=/2 |
| #=</2 |
| #>/2 |
| #</2 |
| in/2 |
| ins/2 |
| indomain/1 |
| label/1 |
| labeling/2 |
| all_distinct/1 |
| all_different/1 |
| sum/3 |
| scalar_product/4 |
| lex_chain/1 |
| tuples_in/2 |
| serialized/2 |
| element/3 |
| global_cardinality/2 |
| global_cardinality/3 |
| circuit/1 |
| cumulative/1 |
| cumulative/2 |
| disjoint2/1 |
| automaton/3 |
| automaton/8 |
| chain/2 |
| #/1 |
| #<==>/2 |
| #==>/2 |
| #<==/2 |
| #//2 |
| #//2 |
| #/2 |
| zcompare/3 |
| fd_var/1 |
| fd_inf/2 |
| fd_sup/2 |
| fd_size/2 |
| fd_dom/2 |
| transpose/2 |