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