PrologDatabase::WriteLisp

void WriteLisp(ostream& stream)

Writes the database as a LISP-format file.