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