clpfd

5зной

3ответ

Prolog Beginner: Как объединиться с операторами арифметического сравнения или как получить набор var для диапазона значений

Я новичок в Prolog. Мне нужно написать целочисленный сумматор, который добавит числа от 0 до 9 к другим номерам 0-9 и создаст решение 0-18. Это то, что я хочу сделать: % pseudo code add(in1, in2, out

5зной

2ответ

SWI-Prolog и ограничения, библиотека CLP (FD)

Я играю с ограничениями в прологе (swi), используя библиотеку clpfd. Я пытаюсь определить, когда один набор ограничений инкапсулирует или объединяет другой, например. X < 4 инкапсулирует X < 7 как все

3зной

2ответ

Объединение - Бесконечность результатов

Я развиваю (на Java), для удовольствия, приложение, которое использует алгоритм унификации. Я выбрал, что мой алгоритм объединения возвращает все возможные унификации. Например, если я пытаюсь решить

9зной

4ответ

обратимый «двоичный номер» предикат

Каков наилучший способ преобразования двоичных битов (это может быть список 0/1, например) в числа обратимым образом. Я написал собственный предикат в swi, но есть ли лучшее решение? наилучшие пожелан

2зной

4ответ

Нахождение оценки для 21-переменных неравенств

У меня есть следующие неравенства на 21 переменных: http://pastebin.com/raw.php?i=FTU970Em Когда я бегу "Reduce [ineq, целочисленными]" на этом, Mathematica висит на долгое время. Это имеет смысл: сущ

4зной

3ответ

Простой предикат nth1 в Prolog

С SWI Prolog существует предикат, который находит n-й элемент в списке nth1. Я хочу реализовать свою собственную версию предиката, но SWI настолько сложна, если вы посмотрите на код листинга (nth1). Е

4зной

6ответ

Обобщая последовательность Фибоначчи с SICStus Prolog

Я пытаюсь найти решение для запроса в обобщенной последовательности Фибоначчи (GFS). Запрос: есть ли какая-либо GFS, у которой есть 885 как их 12-й номер? Начальные 2 числа могут быть ограничены между