是否可以在一系列核心呼叫中插入一个clojure语句，” la prolog;

Question

Prolog混合逻辑（易犯错）目标，以及（无误的）过程，例如write/2或assert/1。是否可以使用Clojure的Core.logic进行？

例如：

(pldb/with-db myFacts
   (l/run* [x y] 
       (person x)
       (println "we found a person!")
       (likes y x)
   )
)

看来这是行不通的，因为（println ...）是嵌入在核心中的clojure函数。我猜的条件/约束）。

更有趣的是，我希望能够在检查逻辑条件（如Prolog中：

liked(x,y):-
    person(x),
    assertz(likable(x)),
    likes(y,x).

在核心中看起来像这样的逻辑条件）

(pldb/with-db myFacts
   (l/run* [x y] 
       (person x)
       (def newFacts (-> newFacts (pldb/db-fact likeable x)))
       (likes y x)
   )
)

中提出新事实。是关于将程序命令插入约束检查中的过程命令。就像在Prolog中完成的那样。

例如，它的一种具体应用将是通过使用断言在图形递归遍历中收集弧的能力。但是，除非我误会了，否则只有在我们有可能将主张与逻辑条件相混合时，这是可能的。

非常感谢您在此方面的帮助和指导。

更新： 我想我可能已经弄清楚了：包括一个clojure的陈述很好，但必须返回真实；与Prolog不同，这些功能不会自动“成功”。因此，我们需要添加的只是： （l/==（println“ hello”）true）） 听起来正确吗？ 仅供参考，这篇文章真的很有帮助： htttps：// https：// ask.clojure.org/index.php/9546/can-core-logic-ask-questions