В прологе GNU с ограничениями: у меня есть список, который для N = 5 (например) выглядит так: [3*(1-_#0(0..1)),2*(1-_#18(0..1)),1*(1-_#36(0..1)),4*(1-_#54(0..1)),2*(1-_#72(0..1))] Я работаю над средой ограничения конечной области, и я пробовал...

Следующий предикат более высокого порядка выполняется успешно, если все пары элементов списка истинны для данного отношения. Есть ли общее или лучшее, раскрывающее больше намерений название для этого отношения? Моя первоначальная мотивация для...

Вероятно, это связано с файлом comp.lang.prolog. -обсуждение . Я получаю несколько подобных предупреждений, используя Eclipse с SICStus SPIDER: The plain meta argument (Y) is passed as a closure argument (with 0 suppressed arguments) to the...

То, что я хочу достичь с помощью maplist / 3, может, например, быть следующим псевдокодом: maplist( lambda X: Z/Y=X, to_lower(Z,LC), char_code(L,LC), return L/Y, ['A'/42, 'B'/500], Res). Res = ['a'/42, 'b'/500] Я знаю, что можно...

В прологе sicstus есть предикат: maplist(:Pred, +List) Pred должен принимать только один аргумент - элемент List . Как я могу передать предикат с двумя аргументами с определенным первым аргументом? На других языках это будет написано...

Я пишу программу на Прологе и пытаюсь включить модули в структуру программы, чтобы инкапсулировать сложность и уменьшить избыточную функциональность. Одна особенность, с которой у меня возникают трудности, — это использование метапредикатов. Я...