clpfd

2열

1답변

Clojure의 core.logic CLP (FD) 라이브러리 (core.logic 버전 0.8.3)를 사용하여 순진한 사각형 패킹 알고리즘을 만들고 있습니다. 사각형과 같이 표현된다 : 그 왼쪽 상단 및 하단 오른쪽 코너의 좌표로 표현되는 각 사각형 [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]] . 좌표는

3열

1답변

clpfd 프로그램을 디버깅하는 방법은 무엇입니까?

SICStus Prolog (clpfd)에 프로그램이 있는데 labeling 동안 무슨 일이 일어나고 있는지보고 싶습니다. 나는 trace을 시도했지만, 실제로 진행되는 것을 이해하기가 너무 어렵다. (어떤 값이 어떤 변수에 할당되는지, 어떻게 제약이 전파되는지 등). 내 프로그램의 단축 버전 : 어떤 힌트 runTT(Goal) :- PLST_1

3열

1답변

변수의 도메인을 clpfd에 이름의 열거 형으로 설정할 수 있습니까?

나는 이런 식으로 변수의 도메인을 지정할 수 있습니다 MyVar in 1..10 또는 MyVar in {1,10,15} 하지만이 같은 지정 싶습니다 변수를 가지고 : Activity_1__room in {room_1, room_2} % i.e. as atoms not as integers 이 가능 그걸 할거야? 물론, 이름을 정수로 인코딩하는 것

1열

2답변

다음 프로그램 단축 방법?

다음 프로그램을 단축하고 싶습니다. 단지 이미징에는 X 및 Y 대신 수십 개의 변수가 있습니다. 문제는 각 변수에 대해 별도로 도메인을 정의해야한다는 것입니다. 내 프로그램이 훨씬 길고 투명 해지기 때문에 나는 그것을 좋아하지 않습니다. 입력 : ?- Dom1 in 0..2, Dom2 in 0..2, global_cardinality([X,Y], [0-Do

5열

1답변

프롤로그 fd_domain이 정의되지 않았습니다.

좋아요, 그래서 학교 프로젝트를위한이 간단한 스도쿠 해결사를 작성하려고합니다. SWI-Prolog를 사용하고 있으며 clpfd 라이브러리를 사용하고 있습니다. 도메인/3 조건자를 사용할 때 문제가 발생합니다. 그것은 구문 오류를 제공하지 않으며, 실제 솔루션이 아니라 "false"를 반환하는 프로그램 만 반환합니다. 내 Noobness는 실례지만 프롤로그

2열

1답변

CLPFD에서 변수에 값을 할당하는 방법은 무엇입니까?

manual에 술어 indomain/1이 있는데,이 변수는 백 트랙킹을 통해 증가하는 순서로 변수에 값을 지정합니다 (X라고 함). 사용자 지정 레이블 조건자를 작성하려고 할 때 변수 X에 할당 된 값의 순서를 변경하고 싶습니다. 나는이 코드를 생각해 냈다 : fd_set(X, X_as_set), fdset_to_list(X_as_set, X_as_lis

11열

3답변

목록 불균등 제약 조건

두 목록의 제약 불균형 부등식을 작성하는 프롤로그 (CLP) 조건자를 작성하려고합니다. 더 많은 공식적으로, 두 개의리스트를 갖는 제약은 (A1 #\= B1) #\/ (A2 #\= B2) #\/ ... #\/ (AN #\= BN)으로 정의됩니다. 임의 길이의 두 목록이 주어진이 제약 조건을 구성하는 방법을 잘 모르겠습니다. 이것은 나의 시도이다. 나는 그것

1열

1답변

CLPFD에서 다음 시나리오에 대한 변수를 정의하는 방법은 무엇입니까?

나는 변수 세트가 T_1, T_2, ..., T_N 나는 CLPFD에 다음 의사 코드를 다시 작성하고 싶습니다 : T_1 in 0..59, T_2 in 0..59, ... T_n in 0..59, all_different([T_1, T_2, ..., T_n]), FOREACH x in 0 to 59 do: IF (x \in [T_1,

1열

2답변

변수 도메인에서 값의 사용자 지정 순서를 지정하는 방법은 무엇입니까?

변수가 V이고 V의 값이 0..5 범위의 숫자 일 수 있습니다. 그러나 일부 값은 다른 값보다 더 선호되므로 V의 도메인을 순서 지정 순서로 지정하는 데 도움이됩니다. SICStus Prolog에서 수행 할 수 있습니까? 예 : % PSEUDOCODE % % 3 is more preferred than 4; 4 is more preferred than

2열

1답변

Prolog의 CLP over Finite Domains 라이브러리 성능

프롤로그에서 작업 스케줄러/플래너를 프로그래밍 중이므로 해당 플랫폼에서 SWIPL에 CLPFD library을 사용할 계획입니다. 스케쥴링 문제를 해결하기 위해 유한 도메인을 사용하는 것이 얼마나 강력한 지 궁금 하여요. 사용한다면 CPU로드에 어떤 영향을 미칠지 궁금합니다. 스케줄링 문제는이 백서의 10 페이지에 명시된 어설 션을 기반으로합니다 : "Co