Определение предикатов arc, cont и path имеет вид: arc(1, 3). arc(3, 4). cont([X | L], [Z, X | L]):- arc(X, Z), not(isMember(Z, L)). path([[Y | L] | _], Y, [Y | L]). path([P | PL], Y, R):- findall(P1, cont(P, P1), L1), append(L1, PL, PL1), path(PL1, Y, R). Предикат path реализует алгоритм

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

• # Пусть грамматика имеет вид: 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
• # Определение предиката num имеет вид: num(X, _, _, X). num(X, Z, S, Y) :- X > Z, X1 = X - S, num(X1, Z, S, Y). Сколько решений имеет цель num(5, 3, 1, X)?
• # Предикат сортировки списка по заданному критерию list::sortBy в языке Visual Prolog определяется с помощью алгоритма сортировки