1

因此，我一直在尝试自学 clojure 和 core.logic，并决定尝试实现求和积问题的解决方案（http://en.wikipedia.org/wiki/Impossible_Puzzle）。

到目前为止，我已经实现了前两个步骤。

(ns sum-product-problem.core
  (:refer-clojure :exclude [==])
  (:use clojure.core.logic)
  (:require [clojure.core.logic.fd :as fd]))

(def non-unique-factors
  (tabled [product]
    (fresh [p q x y]
      (fd/in p q x y (fd/interval 2 99))
      (fd/>= q p)
      (fd/* p q product)
      (fd/>= y x)
      (fd/* x y product)
      (fd/distinct [p x]))))

(defn inscruitable-summands [sum x]
  (fresh [y product]
    (conde
      [(fd/> (* 2 x) sum)]
      [(fd/in y (fd/interval 2 99))
       (fd/+ x y sum)
       (fd/* x y product)
       (non-unique-factors product)
       (inscruitable-summands sum (+ x 1))])))

(defn solution []
  (run* [q]
    (fd/in q (fd/interval 17 17))
    (inscruitable-summands q 2)))

当域被限制为（解决方案）中的单个数字时，这似乎给出了正确的答案，但是如果我扩展该域，它会立即停止工作。

搜索单个成员域时的结果也包含多次答案。这似乎是由 inscruitable-summands 的每次递归引起的，但我不太确定为什么。

最后，我希望有人可以快速查看我的非唯一因素函数。感觉有点麻烦，我想知道是否有人可以提出更好的选择？

谢谢你的帮助，院长

4

1 回答 1

0

我不相信这个难题可以单独使用 CLP(FD) 工具来解决（尽管更精通 Prolog 的人可能能够回答这个问题），我在 Prolog 中看到的解决方案需要某种形式的子查询工具，例如setof.

于 2013-04-01T16:13:51.220 回答