Clojure 的简单序言 core.logic

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)

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

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

Clojure 的简单序言 core.logic

Simple Prolog to Clojure core.logic

prolog

minikanren

clojure-core.logic