Для ВС SPMD-архитектуры, содержащей 4 процессора, составьте таблицу параллельного логического вывода на основе языка ПРОЛОГ по сложной цели, исключающего перебор и backtracking. Мать (марья, Y)
(Отметьте один правильный вариант ответа.)
Варианты ответа
Обрабатывающий процессор | Фрейм | Счетчик | Связывание переменных |
мать (марья, Y) | 1 | X=марья, Y=? | |
0 | родитель (марья, Y) | 7 | |
0 | родитель (марья, иван) | 1 | X=марья, Y=иван |
1 | родитель (марья, василий) | 1 | X=марья, Y=василий |
Обрабатывающий процессор | Фрейм | Счетчик | Связывание переменных |
мать (марья, Y) | 1 | X=марья, Y=? | |
0 | родитель (марья, Y) | 7 | |
0 | родитель (марья, иван) | 1 | X=марья, Y=иван |
1 | не проходит унификация | 1 | |
2 | родитель (марья, василий) | 1 | X=марья, Y=василий |
3 | не проходит унификация | 1 | |
0 | не проходит унификация | 1 | |
1 | не проходит унификация | 1 | |
2 | не проходит унификация | 1 |
Обрабатывающий процессор | Фрейм | Счетчик | Связывание переменных |
мать (марья, Y) | 1 | X=марья, Y=? | |
0 | родитель (марья, Y) | 7 | |
1 | родитель (марья, иван) | 1 | X=марья, Y=иван |
0 | родитель (марья, василий) | 1 | X=марья, Y=василий |