Basics

The idea is to get a behavior similar to assert/1, retract/1 and clause/2, but the terms are stored on files instead of in primary memory.

The differences compared with the Prolog database are:

Some commercial databases can't store non-ground terms or more than one instance of a term. This library module can however store terms of either kind.