First Order Logic Code