ProfileCount

Для измерения времени выполнения предикатов можно использовать класс profileCount из пакета pfc\profile. Перед его использованием необходимо добавить опцию компилятора /PROFILE и перестроить проект. Также необходимо вставить вызовы запускающие профилирование start, обычно при инициализации приложения, останова stop и вывода результатов print (обычно в конце приложения).

Вот типичный пример использования в консольном приложении:

clauses
    run():-
        console::init(),
        profileCount::start(),        
        try
            главныйПредикат()
        finally        
            profileCount::stop(),
            Out = console::getConsoleOutputStream(),
            profileCount::print(Out)
        end try.

Для всех предикатов выводится количество их вызовов, а для некоторых и суммарное время выполнения. Следует учесть, что данный инструмент (как впрочем и все) влияет на выполняемую программу (даже если предикат start не был выполнен). Программа становится больше и выполняется медленней. Это надо учитывать при анализе полученных результатов. И, самое главное, не забыть убрать опцию /PROFILE после, того, как все замеры будут произведены. Если модуль построен без опции /PROFILE, то все предикаты пакета profileCount ничего не делают.