Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!samsung!munnari.oz.au!metro!cluster!andrewt
From: andrewt@cluster.cs.su.oz (Andrew Taylor)
Newsgroups: comp.lang.prolog
Subject: arithmetic overflow checking
Message-ID: <870@cluster.cs.su.oz>
Date: 8 May 90 04:30:36 GMT
Organization: Dept. of Comp. Science, Uni of Sydney, Australia
Lines: 5

Some (most?) Prolog implementations do not check for overflow on
(integer) arithemtic.  This doesn't seem acceptable to me.
I'm interested to know why this is. Is it laziness? Is it deliberate?
Is it inherited from the implementation languages (often C)?
Does it worry anyone else?