HOWTO поймать исключение тайм-аута в Прологе - PullRequest
Новая
       10

HOWTO поймать исключение тайм-аута в Прологе

4 голосов
/ 19 апреля 2011

Я хочу ограничить "выполнение" алгоритма в прологе. Можете ли вы дать мне подсказку, как это сделать? Я нашел этот предикат: call_with_time_limit Как я могу перехватить исключение time_limit_exceeded? Спасибо

UPDATE:

Я пытаюсь это так: 

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.

, но при вызове timeout (1) происходит следующее: 

prolog :-
timeout(1),

но когда я делаю это так: 

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.

и снова вызовите timeout (1) все в порядке. Зачем? Спасибо ОБНОВЛЕНИЕ 2:

Проблема решена, необходимо иметь пред аргумент "аргумент" в верхнем регистре ...

Ответы [ 2 ]

5 голосов
/ 19 апреля 2011

Использование catch/3.Пример: 

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

Более практично: 

catch(call_with_time_limit(T, heavy_computation(X)),
      time_limit_exceeded,
      X = no_answer).  % or just fail
3 голосов
/ 19 апреля 2011 
loop :- loop.

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

Использование: 

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