gpt4 book ai didi

clojure - MiniKanren 有 "not"运算符吗?

转载 作者:行者123 更新时间:2023-12-02 11:00:51 24 4
gpt4 key购买 nike

MiniKanren 有“not”运算符吗?

例如,如何表示 Prolog 的

a :- b, not(c)
如果 b 为真且 c 不为真,

a 为真(Prolog 使用否定作为失败,如果 c 无法被证明,则 not(c) 被认为已被证明)

Prolog 的 not 也适用于非基础表达式,例如

a(X, d(Y)) :- b(d(X), d(Y)), not(c(d(X)))

最佳答案

根据https://github.com/zhjhxxxjh/ykanren答案是否定的。

关于clojure - MiniKanren 有 "not"运算符吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/45644304/

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