4. The method according to claim 3 , said checking validity of said logic rules further comprising: syntax checking whether said logic rules that have undergone normal-form normalization conform to defined syntax of a logic rule descriptive language.
4. The method according to claim 3 , said checking validity of said logic rules further comprising: syntax checking whether said logic rules that have undergone normal-form normalization conform to defined syntax of a logic rule descriptive language. 5. The method according to claim 4 , said syntax checking further comprising safe rule checking of said logic rules, including checking for undefined predicates and undefined variables and consistency checking of said predicates and variables; and said semantic checking further comprising checking whether there are non-linear recursive predicates, checking whether there are indirect recursive predicates, and checking whether there is un-stratified negation.