minikanren - 码农岛

该标签暂无描述

What does non-relational mean in practice for core

倾城　Initia·2021-01-22 16:38· 回答·问答

mini-kanren what is the difference between cond-a

老娘就宠你·2020-03-24 08:17·2 回答·问答

mini-kanren what is the difference between cond-a

姐就是有狂的资本·2020-03-24 08:01· 评论·文章

的Clojure core.logic CLP（FD）突出FD变量(Clojure core.log

仙女界的扛把子·2019-09-01 06:36· 评论·文章

In logic programming, what is unnesting for?

啃猪蹄的小仙女·2019-07-28 05:38· 评论·文章

In logic programming, what is unnesting for?

该账号已被封号·2019-07-28 05:27·3 回答·问答

孔德孔德孔德驱动孔德孔德孔德驱动(conda, condi, conde, condu)

太酷不给撩·2019-05-16 20:35· 评论·文章

Prolog matching vs miniKanren unification

爷的心禁止访问·2019-04-08 22:09· 评论·文章

Prolog matching vs miniKanren unification

虎瘦雄心在·2019-04-08 21:51·1 回答·问答

Clojure core.logic CLP(FD) projecting FD variables

混吃等死·2019-02-27 03:36· 评论·文章

Clojure core.logic CLP(FD) projecting FD variables

Explosion°爆炸·2019-02-27 03:45·1 回答·问答

A graph DB vs a Prolog (or miniKanren)

疯言疯语·2019-02-02 02:27· 评论·文章

A graph DB vs a Prolog (or miniKanren)

甜甜的少女心·2019-02-02 01:39·1 回答·问答

What are the main technical differences between Pr

啃猪蹄的小仙女·2019-01-20 21:25· 评论·文章

What are the main technical differences between Pr

走好不送·2019-01-20 21:07·2 回答·问答

conda, condi, conde, condu

够拽才男人·2019-01-05 01:08·3 回答·问答