Определение класса 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())?
(Отметьте один правильный вариант ответа.)
Варианты ответа
3
0
4(Верный ответ)
7