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

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

• # Отношение married определяется в виде: married(tom, mary). married(bob, ann). Симметричное замыкание отношения married можно определить следующим образом:
• # Определение предиката scan имеет вид:scan(S) = [Tok | scan(Rest)]:- string::frontToken(S, Tok, Rest), !. scan(_) = []. Какое значение примет переменная S в результате вызова S = scan(" 20 + 2! ")?
• # Определение предиката conc в PIE имеет вид:conc(d(A, B), d(B, C), d(A, C)). В результате вызова conc(d([1, 2 | X], X), d([2, 3], []), d(L, _)) переменная L примет значение
• # Программа имеет вид: likes(ann, books). likes(tom, baseball). male(tom). male(bob). Укажите порядок нахождения решений для цели male(Y); likes(X, Y) 1) Y = bob 2) Y = tom 3) X = tom,Y = baseball 4) X = ann,Y = books
• # Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python). lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?