prolog - Clojure core.logic 的简单 Prolog

Question

我最近一直在玩 Prolog，并开始思考如何表示我想用它完成的一些任务，这些任务主要是关于拥有一个事实数据库并对其进行简单查询，将多个事实连接在一起。

但我想在我正在编写 Clojure 的上下文中使用它。似乎core.logic应该做我想做的事。

但是我天真地发现很难看到如何将基本的 Prolog 谓词放入 core.logic 中。

例如，我应该如何在 core.logic 中表示像这样简单的东西：

person(phil).
person(mike).
food(cheese).
food(apple).
likes(phil,apple).
likes(phil,cheese).

和一个像这样的查询

food(F),person(P),likes(P,F)

我能找到的大多数介绍都侧重于逻辑编程，而不是数据表示。

标签： prologclojure-core.logicminikanren

Answer 1

正如 Guy Coder 所说，core.logic 下的 PLDB 包正是解决了这类问题：

(db-rel person p)
(db-rel food f)
(db-rel likes p f)

(def facts (db
  [person 'phil]
  [person 'mike]
  [food 'cheese]
  [food 'apple]
  [likes 'phil 'apple]
  [likes 'phil 'cheese]))

(with-db facts (run* [p f] (food f) (person p) (likes p f)))

=> ([phil cheese] [phil apple])    p=phil,f=cheese   or   p=phil,f=apple