uwenku
タグリスト
existential-operator
3
熱
1
答えて
Prologの事実における存在量の定量化
私はProlog(swi-prolog)で私の最初のステップを実行しており、次の問題を解決することはできません。具体的には、「誰もが誰かの友である」という文章をどのように含めることができますか\forall x \exists y friend(x,y)?これまでに私が見つけたすべての質問は、事実ではなく質問に関するものでした。ありがとうございました!
prolog
logic
existential-operator
2017-05-05
3
熱
2
答えて
javascriptの既存の演算子ですか?
私は大きなjsonオブジェクトを持っています。 x = a.b.c.d.e.f.gにアクセスする必要があります。ただし、b(またはc,d,e ...)は未定義です。このデータ構造は他の場所からインポートされています。 xにnullまたはundefinedを割り当てようとするとエラーが発生しますか?
javascript
existential-operator
2017-08-31
5
熱
1
答えて
CoffeeScriptの実在の演算子はどのように機能しますか?
Coffeescriptは変数が存在するかどうかを判断するために存在演算子を使用し、にはsomething !== undefined && something !== nullにコンパイルすると表示されますが、これはsomething !== nullにコンパイルされていることに気付きました。 // Generated by CoffeeScript 1.4.0 (function() {
coffeescript
existential-operator
2013-06-22
最新の質問
1.
イメージビューではなくイメージに境界線を追加するにはどうすればよいですか?
2.
hのID属性を取得する方法:だから豆
3.
atoiを使用して、文字列から整数を取得する
4.
テキストボックスにng-repeat値を割り当てることは可能ですか
5.
Cloud Firestoreコレクションが存在するかどうかを確認する方法は? (querysnapshot)
6.
パンダ:CSVの番号から ' - 'を取り除く
7.
JavaScriptはGuavaのHashCodeに相当しますか? Javaでは
8.
Bash:awkは配列の項目からカッコを削除する
9.
jQuery nth-childは最初の要素のみを選択します
10.
私はインテリジェントにsbtコンソールを持っていません