Я пишу интерпретатор для игры. Пользователь вводит свой ход в интерпретатор, и программа выполняет этот ход.
Теперь я хочу установить ограничение по времени для каждого решения. Игрок не должен думать более 30 секунд, чтобы написать ход и нажать Enter.
call_with_time_limit казался актуальным, но как таковой он не работает должным образом:
call_with_time_limit (30, read (X)), Problem, write (Problem).
В этом случае он ожидает ввода, а после ввода ввода таймер запускается. Но я хочу, чтобы таймер запускался с самого начала.
Как я могу это сделать?