PrologExpr::WritePrologExpr

void WritePrologExpr(ostream& stream)

Writes the expression (not clause) to the given stream in Prolog format. Not normally needed, since the whole PrologDatabase will usually be written at once. Lists are written in square bracketed, comma-delimited format.