Terms for subject Programming containing logical inference

English	Russian
logical inference	логическое умозаключение (ssn)
logical inferences per second	число логических умозаключений за секунду (характеристика быстродействия напр., экспертных систем ssn)