First Order Logic

All the printers here are purely for my personal convenience at this moment. All of the printer code will go into the respective file soon.