void WritePrologClause(ostream& stream)
Writes the clause to the given stream in Prolog format. Not normally needed, since the whole PrologDatabase will usually be written at once. The format is: functor, open parenthesis, list of comma-separated expressions, close parenthesis, full stop.