Re: [prolog-standard] Re: log10/1, log/2, min/2, and max/2

From: Richard A. O'Keefe <>
Date: Tue, 21 Nov 2006 17:11:35 +1300 (NZDT)

I wrote:
        I have to leave in a few minutes, and the Department is closed tomorrow
        for a funeral, so I don't have time to reply at once in full to
        Joachim Schimpf's <> important contribution to this
But I DO have time to point you to


    The largest value of a set, function, etc.
    The maxiumum value of a set of elements $A = \{a_i\}_{i=1}^N$
    is denoted $\max A$ or $\max_i a_i$,
==> and is equal to the last element of a sorted (i.e., ordered)
==> version of $a$.

The point I am making is that max(_,_) and min(_,_) are intimately and
essentially bound up with (<)/2 and its relatives, so that any data type
which cannot be sorted (as intervals cannot) doesn't *have* a maximum
or minimum.

I am about as far from denying the usefulness of meet and join as
you could possibly imagine. (The title of my PhD was "Logic and Lattices
for a Statistics Advisor", after all.) I just don't want them confused
with maximum and minimum.

prolog-standard mailing list
Received on Mon Jul 14 2008 - 13:01:03 EST

This archive was generated by hypermail 2.2.0 : Wed Sep 08 2010 - 23:28:17 EST