如何在CLISP中实现时间限制执行机制？

Question

我的想法是这样的:

(run (long-calculation vars) time-limit)

返回结果(long-calculation vars)或nil如果time-limit到达.

Answer 1

如果您可以找到该运算符的实现amb，那么您可以执行以下操作：

(defmacro run (comp time-limit)
  `(amb comp
       (progn (delay ,time-limit)
              nil)))

请小心，不要将其与 McCarthyamb运算符混淆。amb应该在单独的线程中评估它的两个参数，并选择先完成的那个。例如，在 Haskell 中，它在Data.Unamb中进行了描述。