PrologDatabase::WriteProlog
void
WriteProlog
(
ostream&
stream
)
Writes the database as a Prolog-format file.