Определение предиката num имеет вид: num(X, _, X). num(X, C, Y) :- X > 0, X1 = X - C, num(X1, C, Y). Сколько решений имеет цель num(3, 2, X)?

Правильный ответ:

• # Определение предикатов count и count1 имеет вид: count(t(X, []), X):- !. count(t(_, L), Y):- count1(L, Y). count1([], 0). count1([T | L], Z):- count(T, X), count1(L, Y), Z = X + Y. Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
• # В результате вызова string::frontToken(" f(g( a ))", X, Y) переменные X и Y примут значения:
• # Отметьте верное утверждение. Поиск в ширину на графе пространства состояний обычно используется:
• # Определение предикатов male и parent имеет вид: male(tom). male(bob). parent(tom, mary). parent(tom, ann). Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:
• # Предикаты digit и tuple определяются следующим образом:digit(0). digit(1). digit(2). tuple(t(X, Y)) :- digit(X), digit(Y). Цель имеет вид: findall(T, tuple(T), L). Сколько элементов содержит список L?