
scalar_product(+Csts,+Vars,+Rel,?Expr)

   

Type
   library(clpfd)


