From: Roland K. <kam...@cs...> - 2013-01-28 00:20:33
|
On Sunday, January 27, 2013 06:22:26 PM Xudong Liu wrote: > Yes I did use #min aggregate to compute cScore/2: > > cScore(A, TT) :- team(A), TT = #min [outterScore(A, Y, T) = T]. > where outterScore/3 is given as input, facts. Please reply to the mailing list. The other users might be interested in the answer too, might have to say something interesting too, or spot errors I made, ... :) Back to the problem. Just try: p(X) :- X=#min[]. which gives you: p(#supremum). If you do not want this, then add an additional test: p(X) :- X=#min[], X!=#supremum. Regards, Roland |