| Subject | English | Russian |
| AI. | be solving a goal | доказывать цель (Alex_Odeychuk) |
| progr. | solve a goal | сформировать решение для цели (в языке логического программирования Alex_Odeychuk) |
| progr. | solve a goal | находить решение для цели (в языке логического программирования Alex_Odeychuk) |