djk@murtoa (David Keegel) (02/06/89)
From article <187@aucsv.UUCP>, by ok@aucsv.UUCP (Richard Okeefe):
] ... Note that
] times(X, 0, 0)
] has *infinitely* many solutions. Such a thing in NU-Prolog would have to
] wait until someone else comes up with a binding for X. Even for
] times(X, Y, 720)
] --720 being a rather small number-- the number of solutions is large.
The current implementation of NU-Prolog gives a division by zero error
and fails for ``times(X, 0, 0).''
Also, ``times(X, Y, 720)'' will delay until one of X or Y is instatiated.
(Rough translation: "Figure out the value of one of those variables, _then_
we'll talk.") This is presumably for ease of implementation.
David Keegel (djk@munnari.oz)
"Flattery will get you nowhere, unless someone else does it to you"