| русский | rus-000 |
| дедуктивная машина | |
| العربية | arb-000 | محرك استدلالي |
| 普通话 | cmn-000 | 推理引擎 |
| 普通话 | cmn-000 | 推理机 |
| English | eng-000 | inference engine |
| français | fra-000 | moteur d’inférence |
| русский | rus-000 | машина логического вывода |
| русский | rus-000 | механизм логического вывода |