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)