Please help establish the Logic StackExchange! Sign your name to push us into beta. =)

Also, check out the Systems Science Stack Exchange proposal!

Learning Mathematica and Prolog for logic programming. (Ubuntu 12.04LTS)