Logic Language Information and Computation