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