rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use (#)/1

Browse Source
This commit is contained in:
Markus Triska
2023-01-11 17:23:53 +01:00
parent c5caa9d311
commit f213956ceb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/clpz.pl
View File

@@ -2310,7 +2310,7 @@ single_value(V, V) :- var(V), !, non_monotonic(V).
single_value(V, V) :- integer(V).
single_value(?(V), V) :- fd_variable(V).
coeff_var_plusterm(C, V, T0, T0+(C* ?(V))).
coeff_var_plusterm(C, V, T0, T0+(C* #V)).
coeff_int_linsum(C, I, S0, S) :- S is S0 + C*I.