public class max extends min
Internal action: .max
.
Description: gets the maximum value within a list of terms,
using the "natural" order for each type of term. Between
different types of terms, the following order is
used:
numbers < atoms < structures < lists
Parameters:
Examples:
.max([c,a,b],X)
: X
unifies with
c
.
.max([b,c,10,g,f(10),5,f(4)],X)
:
X
unifies with f(10)
.
.max([3,2,5],2])
: false.
.max([3,2,5],5)
: true.
.max([],X)
: false.
concat
,
delete
,
length
,
member
,
nth
,
sort
,
min
,
reverse
,
difference
,
intersection
,
union
,
Serialized FormConstructor and Description |
---|
max() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
compare(Term a,
Term t) |
static InternalAction |
create() |
checkArguments, execute, getMaxArgs, getMinArgs
canBeUsedInContext, destroy, prepareArguments, suspendIntention
public static InternalAction create()