Описание тега existential-operator
2
ответа
Может ли пролог ответить неопределенно, а не просто да или нет?
Предположим, у меня есть база знаний likes(john,mary). person(mary). person(john). Если мы спросим пролог, |?- likes(mary,john) Он ответит " нет", потому что мы этого не утверждали. Есть ли способ сделать ответ пролога неизвестным, если мы прямо не …
07 мар '17 в 18:46
1
ответ
Экзистенциальное количественное определение в фактах Пролога
Я делаю свои первые шаги в Прологе (swi-prolog) и не могу решить следующую проблему: Как я могу включить экзистенциально количественные правила в мои факты; в частности, как я могу включить предложение "Каждый друг кого-то" \forall x \exists y frien…
05 май '17 в 19:11
0
ответов
coffeescript не нулевое или неопределенное поведение
Так что я играю со сценарием кофе и получил следующее поведение: a? будет переводить на typeof a !== "undefined" && a !== null; - Все в порядке проблема в том, если я попробую то же самое для a.foo?, на этот раз это переводится как a.foo != …
15 ноя '13 в 20:44
1
ответ
Как работает экзистенциальный оператор CoffeeScript?
Coffeescript использует экзистенциальный оператор, чтобы определить, когда существует переменная, и в документации по http://coffeescript.org/ он показывает, что something? будет компилировать в something !== undefined && something !== null …
22 июн '13 в 18:04
2
ответа
Экзистенциальный оператор в JavaScript?
У меня есть большой объект JSON. Мне нужен доступ x = a.b.c.d.e.f.g, тем не мение b (или же c, d, e...) может быть неопределенным. Эта структура данных импортируется откуда-то еще. Есть ли способ попытаться получить назначение x с null или же undefi…
31 авг '17 в 20:12
2
ответа
TSQL IN и НЕ IN
У меня есть запрос ниже, который возвращает все диагнозы, с которыми не связано значение -829. Запрос работает, но я думаю, что сделал его сложнее, чем должно быть. Есть ли более аккуратный способ сделать это? select distinct c2.diagnosisn Diagnosis…
08 янв '18 в 10:08
3
ответа
Как использовать экзистенциальный оператор CoffeeScript, чтобы проверить некоторые свойства объекта на неопределенность?
Я хотел бы использовать экзистенциальный оператор CoffeeScript, чтобы проверить некоторые свойства объекта на неопределенность. Однако я столкнулся с небольшой проблемой. Код как это: console.log test if test? Компилируется в: if (typeof test !== "u…
03 апр '12 в 09:01
2
ответа
Как мне узнать, что я существую (с помощью Python)
Как я могу доказать свое существование с помощью строк кода, есть ли способ, которым взаимодействие между мной и моим CLI может дать мне уверенность в том, что я существую, что все вокруг меня не является ложью или нереальным?
07 ноя '19 в 18:31