Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!hsdndev!think.com!samsung!cs.utexas.edu!sun-barr!newstop!sun!quintus!dave
From: dave@quintus.UUCP (David Bowen)
Newsgroups: comp.lang.prolog
Subject: Re: Review of "The Craft of Prolog"
Message-ID: <1486@quintus.UUCP>
Date: 5 Feb 91 22:00:26 GMT
References: <5771@swi.swi.psy.uva.nl> <1991Feb5.135357.5213@sics.se>
Reply-To: dave@quintus.UUCP (David Bowen)
Organization: Quintus Corporation
Lines: 8

It should be noted that in Quintus Prolog the definition:

    max(X, Y, Max) :-
        (   X < Y -> Max is Y ; Max is X   ).

is substantially more efficient in Quintus Prolog than those which
Anjo quotes from Richard's book.  The reason is that this is compiled
as a test and jump, so no choicepoint is created.