Можно устранить источник неэффективности, если,
Можно устранить источник неэффективности, если, например, переопределить
встав как
встав2( Дер, X, Деревья)
где
Деревья - список, состоящий либо из одного, либо из трех аргументов:
Деревья = [ НовДер], если
встав( Дер, X, НовДер)
Деревья = [ НДа, Мб, НДб],
если
встав( Дер, X, НДа, Мб, НДб)
Теперь отношение
доб23 можно переопределить так:
доб23( Д, X, Д1) :-
встав( Д, X, Деревья),
соединить( Деревья, Д1).
Отношение
соединить формирует одно дерево Д1 из деревьев, находящихся в списке
Деревья.
Содержание Назад Вперед