I was exploring the arithmetic-predicate list, and I came across
roundtoward/2. I tried running it but it wouldn’t.
?- roundtoward(1.24, to_nearest). ERROR: Unknown procedure: roundtoward/2 (DWIM could not correct goal)
What does it do? I could not decipher the description in the documentation. I am running version 8.1.26.