As well as facts being evaluated with respect to a conventional database, it would also be possible to have an additional database of logical formulae which could be added and removed directly by the programmer. These formulae would specify additional facts and constraints to be taken into account by the decision procedure.