This repository contains a small project that takes a well-formed sentence of FOL and returns an equivalent one in clause form.