Aggregates

• minof(Goal,Exp) :   Find an instance of Goal such that Exp is minimal, 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 maximal, where Exp must be an integer expression.

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