12. Реализация деревьев в прологе

ГРАФ - пара множеств: множество вершин и множество дуг. Различают ориентированные и неориентированные графы. В ориентированном графе каждая дуга имеет направление. Путем называется последовательность вершин, соединенных дугами. Для ориентированного графа направление пути должно совпадать с направлением каждой дуги, принадлежащей пути.

Если из одной вершины достижима другая, то первая называется предком, вторая - потомком.

ДЕРЕВОМ называется граф, у которого одна вершина корневая, остальные вершины имеют только одного отца и все вершины являются потомками корневой вершины.

ЛИСТ - вершина, не имеющая сыновей.

ВЫСОТА - наибольшая длина пути от корня к листу.

Рекурсивное определение бинарного дерева: дерево либо пусто, либо состоит из корня, а также левого и правого поддеревьев, которые в свою очередь также являются деревьями.

В вершинах дерева может храниться информация любого типа.

tree=empty;tr(i,tree,tree)

.

.