First Order Logic

The second argument should be the printer, I think. You should use it to recursively print the arguments.