existential-operator

3熱度

2回答

我有一個很大的json對象。我需要訪問x = a.b.c.d.e.f.g。然而，b（或c，d,e ...）可能未定義。這個數據結構正從其他地方導入。有沒有辦法嘗試分配x與null或undefined而不會引發錯誤？

5熱度

1回答

Coffeescript使用存在操作符來確定何時存在一個變量，並在coffeescript documentation它顯示something?將編譯爲something !== undefined && something !== null但是我注意到我的版本的coffeescript只編譯something !== null，所以我寫了一個測試，看看這將如何影響我的代碼 taco = unde

4熱度

2回答

prolog答案可以不確定，而不僅僅是或不是？

假設我有知識基礎如果我們問Prolog自己是否 |?- likes(mary,john) 會回答沒有因爲我們並不能斷言。除非我們明確說明，否則有任何方法可以使序言回答未知。 \+ likes(mary,john) 換句話說，我們可以問序言治療未綁定表達式儘可能而不是假的。我一直在使用IDP系統，它允許存在性量化和對待非斷言的關係，好像是無約束的而不是假的，但我想使用更主流的東西。 htt

3熱度

1回答

Prolog事實中的存在量化

我正在做Prolog（swi-prolog）中的第一步，無法解決以下問題：如何將存在量化的規則包含到我的事實中;具體而言，如何將「每個人都是某人的朋友」這句話作爲一個事實包含在\forall x \exists y friend(x,y)中？到目前爲止，我發現的每個問題都只是關於疑問而非事實。謝謝！