Ограничение цели goal_expansion/6 только для компиляции

Question

В SICStus Prolog есть крючок для расширения цели: goal_expansion/6, который вызывается как во время компиляции, так и во время выполнения при метакалировании. Эти вызовы несут на себе некоторые издержки во время выполнения, которые замедляют метакалирование. Цель моего расширения - только оптимизация. Таким образом, семантически цели и расширенные цели эквивалентны.

Как отключить такие вызовы во время выполнения?

(Кажется, мне пришлось бы отменить goal_expansion/6, который выглядит немного грубым для меня. Это также помешает lightweight recompilation).

Answer 1

Обходным решением было бы назвать предикат prolog_load_context/2. Что-то вроде:

goal_expansion(...) :- 
    prolog_load_context(source, _), 
    % compile-time; expand the goal 
    ... . 

prolog_load_context/2 предикат преуспевает только во время компиляции.

Answer 2

Идиоматический способ заключается в загрузке кода времени с использованием load_files/3 с опцией when(compile_time). К сожалению, это не поможет, если вы хотите (повторно) скомпилировать в том же процессе, в котором вы затем запускаете свой код.

Использование abolish для удаления определения goal_expansion/5 также не является идеальным (так как оно исчезнет, ​​если вы затем повторно скомпилируете его). Это не так плохо/грубо, как кажется: goal_expansion/5 на каждый модуль, поэтому вы можете отменить его, не опасаясь, что вы уничтожите некоторые функции в каком-либо другом модуле.