clpfd

2зной

1ответ

У меня есть следующий Prolog код, который использует clpfd: :- use_module(library(clpfd)). :- use_module(library(fdbg)). go(X , Y ) :- X = [X1,X2], X1 in 0..10, X2 in 0..10, Y in -1..1, X1 #

1зной

1ответ

SWI-Prolog ошибка asserta

я должен утверждать в SWI этот вид CLP (FD) правила: asserta(schedule(A,B) :- V = [S0,S1,S2],V ins 0..sup). , но я получаю эту ошибку: ERROR: Syntax error: Operator expected ERROR: asserta(sche

2зной

1ответ

Игнорировать ошибки типа в прологе и возвращать false вместо

Я хочу, чтобы механизм пролога возвращал false вместо ошибки. У меня есть этот код: :-use_module(library(clpfd)). set_1(X):-member(X,[f(f(1))]). p :- X in 1..3,set_1(f(X)). Когда я запрашиваю р,

2зной

1ответ

Как использовать clpfd: automaton для ограничения значения счетчика в SICStus Prolog?

Я хочу реализовать очень простой автомат, который ограничивает число последовательных 1s в списке единиц и нулей (например, [0,1,1,0,1,1,1]). Мой автомат выглядит следующим образом: % 'Day' is a list

3зной

2ответ

Может кто-нибудь описать этот код Пролога шаг за шагом?

Prolog для меня новичок. Я пытаюсь понять этот код. Если бы кто-нибудь мог объяснить это шаг за шагом на детском языке, что было бы большой помощью;) спасибо! divide_by(X,D,I,R) :- X < D, I

3зной

2ответ

Sicstus prolog: маркировка списка в списке

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