The programmer had to specify the reasoning rules through an INFEREX program. RDS also handled credibility rules of sentences in forming deduction. The system could also be programmed to count, correlate, and provide statistics about the database. Additional work on the RDS system may be found ...