Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
count(Op = '==', findall(Z, (pay(X, Y, Z), Z =:= Ref), List), length(List, Count)); (Op = '!=', findall(Z, (pay(X, Y, Z), Z =\= Ref), List), length(List, Count)); (Op = '>', findall(Z, (pay(X, Y, Z), Z > Ref), List), length(List, Count)); (Op = '>=', findall(Z, (pay(X, Y, Z), Z >= Ref), List), length(List, Count)); (Op = '<', findall(Z, (pay(X, Y, Z), Z < Ref), List), length(List, Count)); (Op = '<=', findall(Z, (pay(X, Y, Z), Z =< Ref), List), length(List, Count)) ). min(Op, Ref, Min) :- ( (Op = '==', findall(Z, (pay(X, Y, Z), Z =:= Ref), List), min_list(List, Count)); (Op = '!=', findall(Z, (pay(X, Y, Z), Z =\= Ref), List), min_list(List, Count)); (Op = '>', findall(Z, (pay(X, Y, Z), Z > Ref), List), min_list(List, Count)); (Op = '>=', findall(Z, (pay(X, Y, Z), Z >= Ref), List), min_list(List, Count)); (Op = '<', findall(Z, (pay(X, Y, Z), Z < Ref), List), min_list(List, Count)); (Op = '<=', findall(Z, (pay(X, Y, Z), Z =< Ref), List), min_list(List, Count)) ).