Как определить размер цели в программе на Прологе?

Здравствуйте!

Подскажите ссылку, где можно прочитать как определить размер цели  и количество вершин в дереве вывода?
Или, если есть возможность, в топике немного теории выдайте :)

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

Процесс, как я понял, должен происходить таким образом:
1. Берем какой-то конкретный запрос, для него строится дерево вывода.
2. Определяются  размеры всех подзапросов этого запроса (размер  составного терма). Находим максимальную длину составного терма.
3. Зная длину исходного списка, эмпирическим путем находим линейную зависимость длины составного терма от длины списка.

Возник вопрос по третьему пункту в применении к моей задаче: В ней передается  список и подсписок, которые надо сравнить. Вопрос в том, какую длину необходимо брать: либо длину бОльшего списка, либо суммарную длину обоих списков? Или ту длину, по которой будет максимальное число циклов рекурсии?