exception - Excepción de catch timeout en Prolog

swi-prolog

Question

Quiero limitar la "ejecución" de algoritmo en prolog. ¿Me puede dar una pista, cómo hacerlo? He encontrado este predicado: call_with_time_limit ¿Cómo puedo capturar la excepción time_limit_exceeded? Gracias

ACTUALIZAR:

Lo intento de esta manera:

timeout(t) :-
    catch(call_with_time_limit(t, sleep(5)), X, error_process(X)).

error_process(time_limit_exceeded) :- write(''Timeout exceeded''), nl, halt.
error_process(X) :- write(''Unknown Error'' : X), nl, halt.

pero observando sucedió cuando llamo a tiempo de espera (1):

prolog :-
timeout(1), 

pero cuando lo hago de esta manera:

runStart :- call_with_time_limit(1, sleep(5)).

timeout(1) :-
    catch(runStart, X, error_process(X)).

error_process(time_limit_exceeded) :- write(''Timeout exceeded''), nl, halt.
error_process(X) :- write(''Unknown Error'' : X), nl, halt.

y de nuevo call timeout (1) todo está bien. ¿Por qué? Gracias ACTUALIZACIÓN 2:

Problema resuelto, es necesario tener un "argumento" predicho con mayúsculas ...

Answer 1

Use catch/3 . Ejemplo:

catch(call_with_time_limit(1,
                           sleep(5)),
      time_limit_exceeded,
      writeln(''overslept!'')).

Más practicamente:

catch(call_with_time_limit(T, heavy_computation(X)),
      time_limit_exceeded,
      X = no_answer).  % or just fail

Answer 2

loop :- loop.

loop_for_n_sec(N, Catcher) :-
    catch(
        call_with_time_limit(N, loop),
        Catcher,
        true
    ).

Uso:

?- loop_for_n_sec(1, Catcher).
Catcher = time_limit_exceeded