pl2c converts Prolog to C code representing logic as nested if-thens and multiple clauses with if-thens and truth logic.