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