Может ли Пролог более высокого порядка помочь расширению замыкания?

Question

Если я введу этот код в SWI-Prolog:

      goal_expansion(println(X), (write(X), nl)).
test :- call(println, 'Hello World!').

Листинг показывает мне этот результат:

      test :-
    call('__aux_wrapper_8a89205eca9a6ffb31dd01cc968a2aa022fa1f49', 'Hello World!').

'__aux_wrapper_8a89205eca9a6ffb31dd01cc968a2aa022fa1f49'(A) :-
    write(A),
    nl.

Будет ли Пролог более высокого порядка делать то же самое? Существуют ли прологи более высокого порядка
, которые имеют расширение цели и/или расширение закрытия?