 |
| Russian | English |
| цикл прямого логического вывода | forward chaining loop (прямой логический вывод осуществляется от исходных посылок (от фактов, на которых будет основываться доказательство) к целевой гипотезе (цели, т.е. к тому, что нужно доказать) Alex_Odeychuk) |