Package jason.stdlib

Class min

java.lang.Object
All Implemented Interfaces:
InternalAction, java.io.Serializable
Direct Known Subclasses:
max

@Manual(literal=".min(list,minimal)",
        hint="gets the minimum value of a list of terms, using the \"natural\" order. For different types, the order is: numbers < atoms < structures < lists",
        argsHint={"the list where to find the minimal term","the resulting minimal"},
        argsType={"list","term"},
        examples={".max([c,a,b],X): X unifies with a",".max([b,c,10,g,f(10),5,f(4)],X): X unifies with 5",".max([3,2,5],2]): true",".max([3,2,5],5): false",".max([],X): false"},
        seeAlso={"jason.stdlib.concat","jason.stdlib.delete","jason.stdlib.length","jason.stdlib.member","jason.stdlib.sort","jason.stdlib.nth","jason.stdlib.max","jason.stdlib.reverse","jason.stdlib.difference","jason.stdlib.intersection","jason.stdlib.union"})
public class min
extends DefaultInternalAction

Internal action: .min.

Description: gets the minimum value of a list of terms, using the "natural" order of terms. Between different types of terms, the following order is used:
numbers < atoms < structures < lists

Parameters:

  • + list (list): the list where to find the minimal term.
  • +/- minimal (term).

Examples:

  • .min([c,a,b],X): X unifies with a.
  • .min([b,c,10,g,f(10),[3,4],5,[3,10],f(4)],X): X unifies with 5.
  • .min([3,2,5],2): true.
  • .min([3,2,5],5): false.
  • .min([],X): false.
See Also:
concat, delete, length, member, nth, sort, max, reverse, difference, intersection, union, Serialized Form