问题标签 [existential-operator]

我想使用 CoffeeScript 存在运算符来检查一些对象属性是否未定义。但是，我遇到了一个小问题。

像这样的代码：

编译为：

这是我希望看到的行为。但是，当我尝试对对象属性使用它时，如下所示：

我得到类似的东西：

这根本不像是对未定义的检查。我可以实现与将其用于对象相同的 (1:1) 行为的唯一方法是使用更大的检查：

问题是——我做错了吗？或者编译后的代码是否足以检查属性的存在（带有类型转换的空检查）？

Coffeescript 使用存在运算符来确定变量何时存在，并且在咖啡脚本文档中它显示something?将编译为something !== undefined && something !== null但是我注意到我的咖啡脚本版本只是将其编译为something !== null所以我编写了一个测试以查看这将如何影响我的代码

编译为

并输出了一些出乎意料的No taco!结果，所以我的问题是双重的。为什么coffeescript 不再检查存在的价值undefined，为什么这就足够了？

所以我在玩咖啡脚本并得到了这种行为：

a?将转化为typeof a !== "undefined" && a !== null;- 很好

问题是如果我尝试相同的a.foo?。这次它也转化为a.foo != null; 我得到的相同结果a[foo]。

有没有一种“快速”的方法来检查是否a.foo不为空或未定义，就像使用 a 一样？

假设我有知识库

如果我们问 prolog 是否

它会回答不，因为我们没有断言。除非我们明确说明，否则有什么方法可以使序言答案未知。

换句话说，我们是否可以要求 prolog 尽可能地对待未绑定的表达式而不是错误的。我一直在使用 IDP 系统，它允许存在量化并将未断言的关系视为不受约束而不是错误的，但我想使用更主流的东西。 http://adams.cs.kuleuven.be/idp/server.html

例如，在 IDP 中，您可以做出声明

哪个产量

我正在 Prolog (swi-prolog) 中迈出第一步，但无法解决以下问题：如何将存在量化的规则包含在我的事实中；具体来说，我如何才能将“每个人都是某人的朋友”这句话\forall x \exists y friend(x,y)作为事实包含在内？到目前为止，我发现的每个问题都只是关于查询而不是事实。谢谢！

我有一个大的 json 对象。我需要访问x = a.b.c.d.e.f.g. 但是b(或c, d, e...) 可以是未定义的。这个数据结构是从其他地方导入的。

有没有办法尝试在x有null或undefined没有抛出错误的情况下进行分配？

I have the below query that returns all diagnosis that do not have a '-829' value associated to them. The query does work but I think that I've made it harder than it should be. Is there a tidier way of doing this?

我如何使用代码行证明我的存在，我和我的 CLI 之间的交互是否可以为我提供我存在的保证，我周围的一切都不是谎言或不真实的？

我试图了解存在量化的用法。我现在知道的是这种技术与setof, findall,一起使用bagof。此外，我找到了一个教程。但是，我不确定何时以及如何Vars^Goal在 Prolog 中进行（存在量化）。

这是示例，我的目标是找到两个彼此认识但在不同公司工作的员工，将结果与L显示绑定Name1-Name2：

我的第一直觉是使用查询

查询找到了答案，但没有将其呈现为正确的格式。正确的是：

我怎么能理解(C1,C2)^(employee(N1,C1),employee(N2,C2),C1\=C2,knows(N1,N2))？它的概念是什么？谢谢。