Результаты поиска по запросу "clpfd"
Как написать вид условного планирования в прологе?
Я попытался написать код пролога, который может понять программу студента, написанную на C #. Теперь я застрял в процессе распознавания утверждения «если» в студенческой программе. Например: ниже приведен код, который я ожидаю от студента. int d ...
Как написать вид условного планирования в прологе?
Я попытался написать код пролога, который может понять студенческую программу, написанную на C #. Сейчас я'Я застрял в процессе распознаванияесли' по...
Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению
В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...
Расписание матчей по теннису
Есть ограниченное количество игроков и ограниченное количество теннисных кортов. В каждом раунде может быть не больше, чем количество матчей. Никто не играет 2 раунда без перерыва. Все играют матч против всех остальных. Составьте расписание, ...
Пролог арифметический синтаксис
Как определитьa как целое число / число с плавающей запятой? Я хочу найти результатыa+b+c+d=10 гдеa,b,c,d целое число и>=0.
prolog конвертирует числа в римские цифры
меня есть этот код, который преобразует целые числа в римские цифры. Мне нужно добавить функцию, которая сравнивает целое число с вводом римских цифр и показывает, является ли оно try или false, например: roman (v, 5). правд toroman(0). ...
Clojure core.logic CLP (FD) проецирует переменные FD
Я работаю над простым алгоритмом квадратной упаковки, используя библиотеку Clojure core.logic CLP (FD) (core.logic версия 0.8.3). Квадраты представлены так: [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]]с каждым квадратом, представленным как ...
PROLOG Печатать числа, которые заканчиваются на 7, а сумма его цифр больше 100
Мне нужно создать предикат, который получает числовой список и печатать только те числа, которые заканчиваются на 7 и сумма его цифр превышает 100 Я сделал предикаты для разделенных, но мне нужна помощь в объединении двух предикатов, я имею в ...
Пролог арифметический синтаксис
Как определить
SWI-Пролог и ограничения, библиотека CLP (FD)
Я играю с ограничениями в (swi) прологе, используя библиотеку clpfd.Я пытаюсь определить, когда один набор ограничений инкапсулирует или объединяет другой, н...