A.21 library(intercept): Intercept and signal interface
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(intercept): Intercept and signal interface
          • intercept/3
          • intercept/4
          • intercept_all/4
          • nb_intercept_all/4
          • send_signal/1
          • send_silent_signal/1
    • Packages
Availability::- use_module(library(intercept)).(can be autoloaded)
Sourcenb_intercept_all(+Template, :Goal, ?Ball, -List)
As intercept_all/4, but backtracing inside Goal does not reset List. Consider this program and the subsequent queries
enum_b(F, T) :- forall(between(F, T, I), send_signal(emit(I))).
?- intercept_all(I, enum_b(1, 6), emit(I), List).
List = [].

?- nb_intercept_all(I, enum_b(1, 6), emit(I), List).
List = [1, 2, 3, 4, 5, 6].