Twistar
Sign in with Twitter
e(i(I),I). e(A+B,I):-e(A,J),e(B,K),I is J+K.
@h_sakurai
recent
popular
picks
faved
favs