나는 Sicstus 프롤로그에서 라벨링의 문제를 다루고 있기 때문에 꽤 오랜 시간이 걸렸다. 나는 각 항목이 다시 4 정수의 배열 인 길이 7의 배열을 만들고 싶다. 다음 코드를 시도했지만 작동하지 않고 인스턴스화 오류가 발생합니다. :- use_module(library(clpfd)).
schedule(Ss) :-
length(Ss, 7),
나는 Sicstus Prolog 런타임 프론트 엔드로 C 프로그램을 가지고 있습니다. 그리고 C로 목록을 만들고 채우고 Prolog 런타임에 전달하려고합니다. C 라이브러리를 살펴 봤지만 어떻게해야하는지에 대한 정보는 찾지 못했습니다. 이 함수는 하나의 함수 호출이 아니라 오히려 콤비네이션 (?)이라고 생각합니다. C- 라이브러리에는 다음과 같은 몇 가지
프롤로그 초보자로서 저는 이진 스도쿠 해결사를 구현하려고했습니다 (코드는 swi-prolog입니다). 진 스도쿠 여기에 설명 : 다음과 같은 쿼리를 수행 할 때 https://cstheory.stackexchange.com/questions/16982/how-hard-is-binary-sudoku-puzzle 그러나 : 이제 binarySudoku([[1,
swi-prolog에서 이진 스도쿠 해결사를 작성하려고했습니다. (이진 스도쿠가 설명되어 있습니다 here) 문제는 현재 글로벌 스택이 부족하다는 것입니다. 나는 그것보다 더 충분해야 2 기가 바이트주고있다. 결함이있는 알고리즘을 사용하고 있습니까? 저기 작은 퍼즐과 함께 글로벌 스택 오류의 부족으로 실행 피하기 위해 더 잘할 수있는 일이 있습니까? 조금
내가 SWI에서 CLP (FD) 규칙 이런 종류의 주장해야합니다 asserta(schedule(A,B) :- V = [S0,S1,S2],V ins 0..sup).
을하지만 난이 오류를 얻을 : ERROR: Syntax error: Operator expected
ERROR: asserta(schedule(A,B) :- V = [S0,S1,S2]
프롤로그 엔진이 오류 대신 false를 반환하도록합니다. ?- p.
false
내가 볼 기대 : ?- p.
ERROR: Type error: `integer' expected, found `f(1)'
내가 출력과 같이 할 : 나는 페이지를 조회 할 때 :-use_module(library(clpfd)).
set_1(X):-member(X,[f
프롤로그/CLPFD는 마지막 도메인으로 만 특정 도메인 수만 사용하도록 어떻게 알 수 있습니까? 예. 도메인 0 ... 8. 다른 옵션이없는 경우에만 Prolog가 0을 사용하도록하십시오. 라벨링에 'down'옵션을 사용했지만 너무 많은 0이 할당되었습니다. 컨텍스트 : Hoo-Doo 게임 - 모든 열, 행 또는 대각선이 1-8의 숫자로 반복되는 (스도쿠처
나는 함수의 최소 비용을 최적화하고 찾으려고합니다. 아래 프로그램은 findall/3을 사용하여 SWI-Prolog에서 제공하는 clpfd 라이브러리를 사용하여 생성 된 모든 가능한 값 옵션을 반복합니다. 아래에이 프로그램을 사용하여 생성 된 값 중 일부가 목록으로 수집됩니다. 최소값을 얻으려면 단순히 min_list/2 조건자를 사용할 수 있음을 알고 있
문서는 copy_term(+Term, -Copy, -Body) 모든 변수가 아무 새로 만든 용어 외부에서 발생하지 새로운 변수로 대체되어있는 Term의 사본을 만드는 것을 말한다. Term에 변수가 포함 된 변수가있는 경우 Body은 Body 을 실행하면 Copy의 변수에 동일한 속성이 복원됩니다. 이전에 일부 변수에 대해 수치 CLP (R) 제약 조건을
1과 0의 목록에서 연속적인 1의 수를 제한하는 매우 간단한 자동 연산을 구현하고 싶습니다 (예 : [0,1,1,0,1,1,1]). 내 자동 장치는 다음과 같습니다 % 'Day' is a list of clpfd variables
% 'Allowed' is an integer
%
% consecutiveOnes(+Day, +Allowed)
conse