Анонимная переменная

вопрос

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

Оставить комментарий

Отправить

• # Определение предиката parent имеет вид: parent(tom, mary). parent(ann, tom). Отметьте все решения для цели parent(X, _), parent(_, Y):
• # Определение предикатов tmember и member имеет вид: tmember(t(X, []), X). tmember(t(_, TL), X):- member(T, TL), tmember(T, X). member(T, [T | _]). member(T, [_ | L]):- member(T, L). Сколько решений имеет цель tmember(t(1, [t(2, [t(2, [])]), t(1, [])]), X) ?
• # Выберите из списка терм и соответствующий ему домен: t(nil, 1, t(nil, 2, nil))t(1, [t(2, []), t(3, []), t(4, [])])tree = t(string, tree*).tree = t(tree, integer, tree); nil.
• # Определение предиката scan имеет вид:scan(S) = [Tok | scan(Rest)]:- string::frontToken(S, Tok, Rest), !. scan(_) = []. Какое значение примет переменная S в результате вызова S = scan(" The cat likes it. ")?
• # Определение класса 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, a := 1 - a. counter() = n. end implement b Какое число будет напечатано в результате вызова цели X = b::new(),Y = b::new(), stdio::write(X:a + Y:a + b::counter())?