9
ответов
Встроенный Интерпретатор/Компилятор Пролога для Java
Я работаю над приложением в Java, который должен сделать некоторые выводы правила сложной логики как часть его функциональности. Я хотел бы кодировать свои логические выводы в Прологе или некоторой другой логике/ограничении...
вопрос задан: 20 August 2015 20:56
8
ответов
Начало работы с [закрытым] Программированием с использованием ограничительного языка
Ища подсказки, учебные руководства, книги и другие ресурсы для начала работы с Программированием с использованием ограничительного языка.
вопрос задан: 27 November 2008 03:42
6
ответов
Решение «Кому принадлежит Зебра» программным путем?
Изменить: эта головоломка также известна как «Загадка Эйнштейна». Кто владеет Зеброй (вы можете попробовать онлайн-версию здесь) является примером классического набора головоломок, и я уверен, что большинство людей на стеке ...
вопрос задан: 23 February 2017 12:21
4
ответа
Ограниченное преобразование графика в планировании приложений
Я работаю над интерактивным приложением планирования задания. Учитывая ряд ресурсов с соответствующими профилями capacity/availabilty, ряд заданий, которые будут выполняться на этих ресурсах и ряде...
вопрос задан: 12 November 2014 02:42
3
ответа
Как использовать программирование с использованием ограничительного языка для оптимизации корзин покупок?
У меня есть список изделий, которые я хочу купить. Объекты предлагаются различными магазинами и различными ценами. Магазины имеют отдельные стоимости доставки. Я ищу оптимальную стратегию покупок (и Java...
вопрос задан: 23 May 2017 12:00
2
ответа
Я ищу радио, рекламирующее алгоритм планирования / пример / опыт
Попробованное проведение небольшого количества исследования на следующем без удачи. Мысль, которую я спросил бы здесь в случае, если кто-то столкнулся с нею прежде. Я помогаю управляемой волонтером радиостанции с их технологическими потребностями. Один из
вопрос задан: 5 June 2010 03:59
1
ответ
Дублирующаяся Ошибка Компоновщика Символа (справка C++)
Я изучаю некоторый CSP (ограничительная удовлетворенность) материал теории прямо сейчас и пользуюсь этой библиотекой для парсинга XML-файлов. Я использую XCode в качестве IDE. Мои прекрасные компиляции программы, но когда это переходит к ссылке...
вопрос задан: 27 April 2013 01:21
0
ответов
Как использовать Пролог для решения транспортной проблемы?
Я работаю над заданием по Прологу в классе, и я не знаю точно, как заставить его работать. Проблема заключается в следующем: учитывая первоначальное решение и спецификации для спроса и предложения, генерировать ...
вопрос задан: 26 March 2019 14:16
0
ответов
Программирование с ограничениями в PHP
Существуют ли библиотеки программирования с ограничениями для PHP? Что-то, что могло бы справиться с такой ситуацией.
вопрос задан: 23 May 2017 11:47
0
ответов
Упорядочивание списков с программированием логики ограничений
Мне было интересно, может ли кто-нибудь помочь мне с этой проблемой: мне нужно заказать список с помощью Prolog с программированием логики ограничений, и я должен сделать это более эффективным способом. Итак, главное ...
вопрос задан: 23 May 2017 10:28
0
ответов
Решение головоломки Zebra (она же головоломка Эйнштейна) с использованием библиотеки Prolog clpfd
Мне дали упражнение для решения головоломки зебры с использованием решателя ограничений по моему выбору, и я попробовал его с помощью библиотеки Prolog clpfd. Я знаю, что есть и другие, более идиоматические способы...
вопрос задан: 24 November 2013 16:04
0
ответов
Двумерные ограничения массива: судоку
Я пытаюсь решить судоку как проблему удовлетворения ограничений для домашнего задания. Я уже построил ограничения для того, чтобы все элементы в отдельной строке были различными, а также ...
вопрос задан: 16 October 2013 18:46
0
ответов
Удовлетворение ограничений: выбор действительных чисел с определенными характеристиками
У меня есть набор из n действительных чисел. Еще у меня есть набор функций, f_1, f_2, ..., f_m. Каждая из этих функций принимает в качестве аргумента список чисел. У меня также есть набор из m диапазонов, [l_1, u_1], [...
вопрос задан: 27 April 2013 01:31
0
ответов
Оптимизация поиска пути в логическом программировании с ограничениями с помощью Prolog
Я работаю над небольшим пролог-приложением для решения головоломки "Небоскребы и заборы". Неразрешенная загадка: Решенная головоломка: Когда я передаю программе уже решенные головоломки, она быстро, почти ...
вопрос задан: 9 November 2012 20:54
0
ответов
Алгоритм планирования встреч (N человек с N свободными слотами, ограничение-удовлетворение)
Постановка задачи У нас есть один работодатель, который хочет провести собеседование с N людьми, и поэтому выделяет N слотов для интервью. У каждого человека есть свободный график для этих слотов. Приведите алгоритм, который планирует...
вопрос задан: 21 June 2012 17:54
0
ответов
В чем преимущество SMT-решателя перед CSP-решателем при решении ограничений?
SMT-Solver можно использовать для решения ограничений. Как мы знаем, решатели CSP уже много лет также предназначены для решения ограничений. Так в чем же преимущество SMT-решателя перед CSP-решателем?
вопрос задан: 14 May 2012 14:09
0
ответов
Reducing логическое выражение
Предположим, у меня есть выражение a = 1 && (b = 1 || b! = 0) && (c> = 35 || d! = 5) && (c> = 38 || d = 6) Я ожидаю, что оно будет сокращено до, a = 1 && b! = 0 & ...
вопрос задан: 20 March 2012 09:51
0
ответов
Ищете практические примеры использования SMT Z3 (например, DbC) и альтернативу Z3 с открытым исходным кодом? [закрыто]
Я заинтересовался и искал практические примеры использования SMT Z3 (например, DbC) с кодом и альтернативами этому инструменту с открытым исходным кодом. Так что на самом деле Меня интересует подобное формальное решение Z3 ...
вопрос задан: 3 August 2011 22:17
0
ответов
Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell?
Я начал изучать программирование с ограничениями и считаю, что это то, что хорошо работает с Haskell (мне также нравится с использованием Haskell). Существуют ли какие-либо зрелые рамки ограничений для Haskell?
вопрос задан: 23 April 2011 22:55
0
ответов
Является ли Erlang языком программирования с ограничениями логики?
Поскольку Erlang основан на Пролог, означает ли это, что Erlang - это язык логики ограничений?
Есть ли в Erlang строительные блоки Prolog: факты, правила и запросы
вопрос задан: 22 March 2011 03:04
0
ответов
Как проверить ограничения между элементами в списке / это Программирование ограничений?
У меня есть много списков переменного размера, содержащих экземпляры одного и того же класса с атрибутом foo, и для каждого списка я должен применять такие правила, как: если есть элемент foo = A, не может быть элементов с foo ...
вопрос задан: 8 September 2010 09:19