The program's goal is the design and building of a knowledge representation and reasoning system based on predicate logic. The domain true facts are representated by atomic sentences and the rules of the domain are representated by Horn clausules. Function terms and equality are still not implemented in this version. The inferential mechanisms provided are :
The system includes an user interface which allows the introduction of domain facts and rules into the knowledge base. Also allows some commands like deleting clausules, listing and erasing the base or finding the clausules that unify with a given one in the base.