Определение класса b с интерфейсом b имеет вид:interface - Ответ на вопрос по Прог №1227350

Вопрос

Определение класса 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())?

• 0
• 7
• 5
• 3

Ответ