First Order Logic Coders