אנגלית ⇄ סינית רוסית +

inference programming מתח
.מכשיר	программирование на базе логических умозаключений
.תִכנו	программирование вывода (ssn)
Gruzovik, .תִכנו	программирование логического вывода