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

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

• # Логическое программирование в узком смысле это:
• # Пусть грамматика имеет вид: d ::= dd | [a]d[a] | [b], где в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:
• # Напишите значение, которое примет переменная S в результате вызова цели S = string::replaceAll("misteri", "i", "Y") :
• # Конкретизированная переменная – это переменная, которая
• # Определение предиката digit имеет вид:digit(1). digit(0). В каком порядке будут найдены решения для цели digit(X), digit(Y)? X = 0, Y = 0X = 1, Y = 1X = 0, Y = 1X = 1, Y = 0