Local view for "https://cliopatria.swi-prolog.org/prolog/library/clp/clpfd.pl"
| Predicate | Value (sorted: none) |
|---|
| rdf:type |
|
| cpack:path |
"library/clp/clpfd.pl"
|
| cpack:name |
"clpfd.pl"
|
| cpack:base |
|
| cpack:last modified |
|
| cpack:Prolog module |
|
| cpack:exported predicate |
"op(760,yfx,#<==>)"
|
| cpack:exported predicate |
"op(750,xfy,#==>)"
|
| cpack:exported predicate |
"op(750,yfx,#<==)"
|
| cpack:exported predicate |
"op(740,yfx,#\/)"
|
| cpack:exported predicate |
"op(730,yfx,#\)"
|
| cpack:exported predicate |
"op(720,yfx,#/\)"
|
| cpack:exported predicate |
"op(710,fy,#\)"
|
| cpack:exported predicate |
"op(700,xfx,#>)"
|
| cpack:exported predicate |
"op(700,xfx,#<)"
|
| cpack:exported predicate |
"op(700,xfx,#>=)"
|
| cpack:exported predicate |
"op(700,xfx,#=<)"
|
| cpack:exported predicate |
"op(700,xfx,#=)"
|
| cpack:exported predicate |
"op(700,xfx,#\=)"
|
| cpack:exported predicate |
"op(700,xfx,in)"
|
| cpack:exported predicate |
"op(700,xfx,ins)"
|
| cpack:exported predicate |
"op(450,xfx,..)"
|
| cpack:exported predicate |
"#> / 2"
|
| cpack:exported predicate |
"#< / 2"
|
| cpack:exported predicate |
"#>= / 2"
|
| cpack:exported predicate |
"#=< / 2"
|
| cpack:exported predicate |
|
| cpack:exported predicate |
|
| cpack:exported predicate |
"#\ / 1"
|
| cpack:exported predicate |
"#<==> / 2"
|
| cpack:exported predicate |
"#==> / 2"
|
| cpack:exported predicate |
"#<== / 2"
|
| cpack:exported predicate |
"#\/ / 2"
|
| cpack:exported predicate |
"#\ / 2"
|
| cpack:exported predicate |
"#/\ / 2"
|
| cpack:exported predicate |
"in/2"
|
| cpack:exported predicate |
|
| cpack:exported predicate |
"all_different/1"
|
| cpack:exported predicate |
|
| cpack:exported predicate |
"sum/3"
|
| cpack:exported predicate |
"scalar_product/4"
|
| cpack:exported predicate |
"tuples_in/2"
|
| cpack:exported predicate |
"labeling/2"
|
| cpack:exported predicate |
"label/1"
|
| cpack:exported predicate |
"indomain/1"
|
| cpack:exported predicate |
"lex_chain/1"
|
| cpack:exported predicate |
"serialized/2"
|
| cpack:exported predicate |
"global_cardinality/2"
|
| cpack:exported predicate |
"global_cardinality/3"
|
| cpack:exported predicate |
"circuit/1"
|
| cpack:exported predicate |
"cumulative/1"
|
| cpack:exported predicate |
"cumulative/2"
|
| cpack:exported predicate |
"disjoint2/1"
|
| cpack:exported predicate |
"element/3"
|
| cpack:exported predicate |
"automaton/3"
|
| cpack:exported predicate |
"automaton/8"
|
| cpack:exported predicate |
|
| cpack:exported predicate |
"zcompare/3"
|
| cpack:exported predicate |
"chain/2"
|
| cpack:exported predicate |
"fd_var/1"
|
| cpack:exported predicate |
"fd_inf/2"
|
| cpack:exported predicate |
"fd_sup/2"
|
| cpack:exported predicate |
"fd_size/2"
|
| cpack:exported predicate |
"fd_dom/2"
|
| cpack:public predicate |
"clpfd:clpfd_equal/2"
|
| cpack:public predicate |
"clpfd:clpfd_geq/2"
|
| cpack:resolves |
|
All properties reside in the graph https://cliopatria.swi-prolog.org/graph/prolog
The resource does not appear as an object
Context graph
