PrologDatabase::WriteProlog

void WriteProlog(ostream& stream)

Writes the database as a Prolog-format file.