Logic at Work

Sometimes my job is fun, like when I get to spend the day investigating whether I'll need to use propositional calculus, first-order logic, or second-order logic to define the language I'm creating. Looks like first-order logic will suffice! Now I just need to find an inference engine that will do most of the work for me....