Richard Searle

The history API returns a Database that contains asserts and retractions. This seems to duplicate the Log API, so further study is required.