list
list(Pred)
list(Pred,Arity)
Writes the internal database to the current output stream.
Remarks
list/0 writes the entire database.
list/1 writes only the clauses for the given Predicate.
list/2 writes only the clauses for the given Predicate with the given Arity.
The following: tell("File.Dba"),list,told is equal to save("File.Dba").