Задача про бинарное дерево

@91111111111 · Регистрация: 07.11.2012

Студворк — интернет-сервис помощи студентам

Дана задача, которая строит бинарное дерево и выводит сумму значений всех вершин дерева. Не могу вывести дерево и вместо суммы вершин дерева нужно выводить их количество.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
domains
tree=nil;t(integer,tree,tree)
 
predicates
n(tree,integer).
 
clauses
n(nil,0).
n(t(H,Left,Right),S):-n(Left,LeftSum),n(Right,RightSum),S=LeftSum+RightSum+H.
n(t(_,Left,Right),S):-n(Left,LeftSum),n(Right,RightSum),S=LeftSum+RightSum.
 
goal
n(t(5,t(3,t(7,nil,nil),nil),t(1,t(30,nil,nil),t(5,nil,nil))),S),write(S).

@Catstail · 22.03.2015, 13:11

Сообщение от 91111111111

Не могу вывести дерево и вместо суммы вершин дерева нужно выводить их количество.

- нужно вместо суммы сосчитать число вершин? Найди два отличия:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
domains
tree=nil;t(integer,tree,tree)
 
predicates
n(tree,integer).
 
clauses
n(nil,0).
n(t(_,Left,Right),S):-n(Left,LeftSum),n(Right,RightSum),S=LeftSum+RightSum+1.
n(t(_,Left,Right),S):-n(Left,LeftSum),n(Right,RightSum),S=LeftSum+RightSum.
 
goal
n(t(5,t(3,t(7,nil,nil),nil),t(1,t(30,nil,nil),t(5,nil,nil))),S),write(S).

@Black Fregat · 22.03.2015, 15:55

Десятая строка у Вас бессмысленная и вредная. Вероятно, она осталась от того случая, когда при суммировании нужно было проверять какие-то условия.

Сообщение от 91111111111

Не могу вывести дерево

А как Вы хотите вывести дерево? Можно просто написать write(T), напечатает примерно так, как у Вас в строке 13.
Если нужно более красиво, то довольно просто напечатать дерево "на боку": сначала правое поддерево с отступом, потом корень, потом левое поддерево снова с отступом.

Напечатать дерево в привычном виде - нетривиальная задача.

Сообщение от 91111111111

вместо суммы вершин дерева нужно выводить их количество.

Подсказка: представьте, что в каждой вершине дерева записана единица.

Добавлено через 1 минуту
Ну вот, пока писал, опередили с явным ответом.
А десятая строка всё равно неправильная, бессмысленная и вредная.

@Catstail · 22.03.2015, 18:38

Сообщение от Black Fregat

Десятая строка у Вас бессмысленная и вредная.

- спасибо, не обратил внимания...

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .