Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
envelope_pair(X, [X,Y]) :- A is 2 * X, B is div(X, 2), ( maybe -> member(Y, [A,B]) ; member(Y, [B,A]) ). pick_envelope([A,B], X) :- ( maybe -> member(X, [A,B]) ; member(X, [B,A]) ).