Added conversion to Skolem Normal Form
Added standardization of variables
Added MGU and Resolution