Please help establish the Logic StackExchange! Sign your name to push us into beta. =) (http://area51.stackexchange.com/proposals/36164/logic?referrer=ONCuA8w9UYJIlaKSBvLIAA2)

Also, check out the Systems Science Stack Exchage proposal! (http://area51.stackexchange.com/proposals/29969/systems-science?referrer=u2pBkxoodyZlBpQoiiai_Q2)

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