Определение предикатов male и parent имеет вид: male(tom). male(bob). parent(tom, mary). parent(tom, ann). Одинаковое ли количество решений имеют цели male(X), parent(X, _) и male(X), not(not(parent(X, _))):

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

• # Отношение likes определяется в виде: likes(bob, X) :- likes(ann, X). likes(ann, books). likes(tom, ann). Основным примером правила likes(bob, X) :- likes(ann, X) является правило
• # Определение класса 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())?
• # Определение предикатa color имеет вид:color(red):- !. color(yellow). color(green). Цель findall(X, color(X), L) имеет решение:
• # Определение предиката g имеет вид: g(0, R, R):- !. g(X, C, R):- X1 = X - 1, C1 = 3 * C, g(X1, C1, R). Какое значение примет переменная Y в результате вызова цели g(2, 1, Y)?
• # Определение предикатов arc и conn имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). conn(X, X). conn(X, Z):- arc(X, Y), conn(Y, Z). Сколько решений имеет цель conn(1, X), conn(X, 4) ?