clpfd

    7

    3답변

    나는 프롤로그 및 논리 프로그래밍에 대한 간단한 기사를 읽었습니다. 논리 프로그램이 대수를 할 수 있는지 궁금합니다. 마찬가지로 X의 변수가 방정식 5 + X = 7에 무엇인지 물어볼 수 있고 -2의 답을 얻을 수 있습니까?

    2

    1답변

    PROLOG를 사용하여 방정식을 매우 많이 만들었습니다. 그러나, 나는 그들이 어떤 종류의 유용한 순서로 지정되지 않았다는 점에서 작은 사기꾼을 보았습니다. 즉, 많은 변수가 아니라면 일부는 정의되기 전에 사용됩니다. 이들은 모두 동일한 술어 내에서 지정됩니다. PROLOG는 술어를 임의의 순서로 지정하여 처리 할 수 ​​있습니까?

    1

    2답변

    CLPFD를 사용하여 End View Puzzles의 솔버를 작성하려고합니다. 익숙하지 않은 사용자는 http://www.funwithpuzzles.com/2009/12/abcd-end-view-a1.html입니다. 각 행/열에 적용하고 몇 가지 문제가있는 제약 조건을 다루고 있습니다. 꽤 정직하고 있습니다 그래서 처음 3 단계 % NxN board, nu

    3

    1답변

    나는 최근에 sicstus 프롤로그를 시작했고 CLP (제약 논리 프로그래밍)로 해결할이 숙제를 가지고 있는데 문제를 이해하는데 도움이되고, 무엇을 찾고 있어야하며 무엇을 잘못하고 있는지 이해하도록 도와주세요. 그래서, 건물 회사 : 는 BC 원료의 25T를 수송 6 일이 소요 트럭을 임대하는 원료를 얻으려면, 그것은 하루 80 $의 요금으로 제공됩니다.

    1

    2답변

    C#으로 작성된 학생 프로그램을 이해할 수있는 프롤로그 코드를 작성하려고했습니다. 이제 나는 학생 프로그램에서 'if'문을 인식하는 과정에 갇혀있다. 예 : 다음은 학생이 기대하는 코드입니다. int d = int.Parse(Console.ReadLine()); // value d is inputted by user int s = 0; if (d>0)

    2

    2답변

    X을 제한 목록에 포함하지 않으려 고합니다. SICStus Prolog manual에서 : ?X in_set +FDSet 나는 그래도 FDSet에 목록을 변환하는 방법을 알아낼 수 없습니다. 나는 정수 [2,3,8,9]의 목록을 가지고 있으며 변수 X의 도메인을 해당 목록에 포함시키지 않고 싶습니다. 어떻게해야합니까? 감사.

    1

    3답변

    이 입방체는 가장자리입니다. 왼쪽에서 오른쪽으로, 앞뒤로 그리고 위에서 아래로 갈 수 있습니다. edge(a,b). edge(a,c). edge(a,e). edge(b,d). edge(b,f). edge(c,d). edge(c,g). edge(d,h). edge(e,f). edge(e,g). edge(f,h). edge(g,h). 아

    0

    1답변

    입력 스도쿠 보드가 인지 여부를 확인하는 간단한 프로그램을 작성하려고합니다. 현재이 올바르지 않습니다. 즉 행, 열 또는 '상자'에 두 개의 동일한 숫자가 있습니다. 행과 열 부분에 문제가 발생하지 않았습니다. 다음 코드를 사용하여 수행하는 상당히 간단한 작업입니다. '0'은 채워지지 않은 사각형을 나타냅니다. 그러나 KxK '상자'(K는 행 길이의 제곱근

    3

    2답변

    나는 사실에서 일정을 만들려고 노력하고 있어요, 사실은 내가 사용하기로 결정, course_meetings (주제, 유형, 그룹, 설명)의 형태로 존재 무차별 대입 접근 그러나 모든 제약 조건을 전달할 수있는 계획은 무엇인지 확인하지만 내가 작성한 사실은 어떻게 최적화 할 수 있습니까? 더 나은 접근 방법이 있습니다. 예 : course_meetings (

    2

    2답변

    프롤로그에서 조건자를 최소화해야합니다. 현재 GNU Prolog Java를 사용하고 있습니다. 나는이 사실 army(Territory,X). 그것은 주어진 지역은 X 군대를 가지고 있다고 말한다을 가지고있다. 이제 주어진 플레이어가 소유 한 최소 수의 군대를 찾고 싶습니다. 그래서 내가 쓰고 :는 place_army(Player, Territory):-