Aggregates

• minof(Goal,Exp) : Find an instance of Goal such that Exp is minimum, where Exp must be an integer expression.

        ?-minof(member((X,Y),[(1,3),(3,2),(3,0)]),X+Y)
          X=3
          Y=0
  

• maxof(Goal,Exp): Find an instance of Goal such that Exp is maximum, where Exp must be an integer expression.

        ?-maxof(member((X,Y),[(1,3),(3,2),(3,0)]),X+Y)
          X=3
          Y=2