Результаты поиска по запросу "logic"

1 ответ

Загадка с GNU Prolog, похожая на загадку Эйнштейна

Я - новичок в программировании, и мне нужно создать и решить загадку в Прологе, используя GNU Prolog, похожую на загадку Эйнштейна, хотя и менее сложную. Я п...

1 ответ

Python логическая операция

я довольно новичок в питоне и яЯ работаю над проектом по соскобу с использованием библиотеки Scrapy. Я'я не использую встроенное ограничение домена, пото...

1 ответ

Как сохранить первый результат функции от Пролога?

Мне нужно написать настраиваемую функцию, которая будет вызываться много раз другими фиксированными функциями. В этой функции при первом вызове будет возвращ...

ТОП публикаций

1 ответ

И в Lua, как это обрабатывается?

Я видел этот код вLua Style Guide

1 ответ

Общая сумма из набора (логика)

1 ответ

NASM Сборка математической логики

У меня есть программа в сборке для терминала Linux, которая должна выполнять серию математических манипуляций, сравнивать окончательное значение с 20, а зате...

1 ответ

Нужна помощь в разработке логики БД

Это мой мини-проект - система бронирования авиабилетов - давайте назовем эту авиакомпанию FlyMi: у меня есть база данных (не решено, какой мой друг хочет пой...

1 ответ

Почему логические связки и логические значения в Coq разделены?

1 ответ

Что подразумевается под «логической чистотой» в Прологе?

Что подразумевается под «логической чистотой» (в контексте программирования на Прологе)?логико-чистота информация тега говорит"программы, использующие т...

1 ответ

Представление временных ограничений в SMT-LIB

Я пытаюсь представить временные ограничения в SMT-LIB, чтобы проверить их выполнимость. Я ищу отзывы о направлении, в котором я иду. Я относительно новичок в...