added the toString method to the Functor class
finishing a preliminary working version of the embedded Prolog engine (rules are not yet supported)