Выберите из списка терм и соответствующий ему домен:

t(1, t(2, empty, empty), empty)

t(nil, 1, t(nil, 2, nil))

tree = t(integer, tree*).

bintree{Elem} = t(bintree{Elem}, Elem, bintree{Elem}); nil.

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

• # Логическое программирование в широком смысле это:
• # Определение предикатов count и count1 имеет вид: count(t(X, L), Z):- count1(L, Y), Z = Y + X. count1([], 0). count1([T | _], Z):- count(T, Z). Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
• # Определение класса b с интерфейсом b имеет вид:interface b properties a : integer. end interface b class b : b end class b implement b facts a : integer := 0. end implement b Какое число будет напечатано в результате вызова цели X = b::new(), X:a := 2, Y = b::new(), Y:a := X:a + 1, stdio::write(X:a+Y:a+5) ?
• # Определение предиката prefix имеет вид:prefix(_, []). prefix([A | L1], [A | L2]) :- prefix(L1, L2). Сколько решений имеется для цели refix([1, 2], L)?
• # Определение предикатов 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) ?