Finally, try combining reading and database-changes. Can you write a
predicate that reads two names (atoms) from the terminal, and adds a
fact saying that one loves the other? So if the names are romeo and
juliet, the predicate must add the fact loves(romeo,juliet). There
are not many languages in which you can read in new bits of program at
run time!