Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpfd)). a(L,Z):-maplist(b,L,Z),all_different(Z). b([A,B],I):-I#=A+B;I#=A-B;I#=A*B.