gpt4 book ai didi

clojure - 为什么 miniKanren 名称总是以 `o` 结尾?

转载 作者:行者123 更新时间:2023-12-04 05:25:43 24 4
gpt4 key购买 nike

所有 miniKanren 关系都以字母结尾 o .这样做的动机是什么?
我看到 Clojure core.logic 库也这样做了。

最佳答案

在 The Reasoned Schemer 的序言中,他们是这样解释的:

A relation, a function that returns a goal as its value, ends its name with a superscript 'o' (e.g., caro and nullo).



所以,这是一个表示关系的符号。

关于clojure - 为什么 miniKanren 名称总是以 `o` 结尾?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/9164051/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com