Определение функции f имеет вид: f(1, R) = R:- !. f(X, C) = f(X - 3, C * C - 1). Какое значение примет переменная Y в результате вызова цели Y = f(7, 2)?

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

• # Программа имеет вид: parent(bob, X):- parent(ann, X). parent(ann, peter). parent(peter, mary). Сколько решений имеет цель parent(X, peter)?
• # Пусть грамматика имеет вид: d ::= dd | [(]d[)] | empty, где empty – пустое слово, в квадратных скобках написаны терминальные символы. Укажите те из перечисленных ниже слов, которые из нее выводятся:
• # Определение класса b с интерфейсом b имеет вид: interface b properties a : integer. end interface b class b : b predicates counter : () -> integer. end class b implement b facts a : integer := 0. class facts n : integer := 0. clauses new():- n := n + 1. counter() = n. end implement b Какое число будет напечатано в результате вызова цели X = b::new(), X:a := 2, Y = b::new(), Y:a := X:a + 1, stdio::write(X:a+Y:a+b::counter())?
• # Определение предикатов male и parent имеет вид: male(tom). male(bob). parent(tom, mary). parent(tom, ann). Одинаковое ли количество решений имеют цели male(X), parent(X, _) и male(X), not(not(parent(X, _))):
• # Определение предиката prefix имеет вид:prefix(_, []). prefix([A | L1], [A | L2]) :- prefix(L1, L2). Сколько решений имеется для цели refix([1, 2], L)?