An interface to be implemented by types convertible to Prolog Terms
Enrico
Converts this instance to a Prolog Term