The design and implementation of a rule-based expert system language

A new rule-based expert system language is proposed. Based on the Rete rule network structure, the language represents knowledge in the form of predicates and supports non-Horn clauses. Variables are allowed to be contained in facts. Rules can be added/deleted dynamically, when consulting an expert system built in this language, without causing any inconsistency in the knowledge base.