diff options
Diffstat (limited to 'pl')
-rw-r--r-- | pl/cfg.pl | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -45,3 +45,11 @@ get_view_tv_original(V) :- integer(V), ! ; V = 1 ). + +set_sort(V) :- W is V + 2147483647, set_key('Sort', W). +get_sort(V) :- + ( get_key('Sort', W), + integer(W), !, + V is W - 2147483647 + ; V = 1 + ). |