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"