The Implementation of a First-Order Logic AGM Belief Revision System