An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systems.

David Roach, Hal Berghel

Browse the full SAC paper archive.