저는 프롤로그와 함께 작업하고 있습니다. 나는 거대한 숫자 값을 처리해야합니다. (프롤로그는 원래 숫자를 처리하도록 설계되지 않았습니다.) 이클립스 6.1 fd_global:ordered_sum\2 등의 조건에 내장 된 일부 문서를 사용하고 말한다 : 이미 유한 경계가없는 모든 입력 변수가 10000000 에의 -10000000 기본 범위를 받게됩니다 10
나는 다음과 같은 테스트 케이스를 실행하려고 : SWI - 프롤로그에서 test :- assertz(abc : uvw(1)).
위의 작품. 하지만 ECLiPSe Prolog에서 작동하게하는데있어서 에 문제가 있습니다./1 UVW, 어느 쪽도 존재 않습니다 trying to redefine an existing imported procedure in as
이것은 8 가지 다른 동전 값으로 동전을 계산하는 통화 시스템입니다. 예 : 1 센트, 2 센트, 4 센트, 33 센트 등 ... 동전 중 하나에 '5'값이 있어야합니다. 그래서이 프로그램은 동전의 다른 7 가지 가치가 가져야 만하는 다른 개인적인 가치와 각 가치에 대해 얼마나 많은 동전이 1에서 99 센트 사이인지를 결정하려고합니다. 내 질문은, 프로그램
따라서 동전을 운반 할 때 가장 적은 양의 동전을 계산하는 통화 문제가 있습니다. 4 종류의 동전이 있습니다 (1 센트, 5 센트, 10 센트, 25 센트). 우리는 주머니에 가능한 한 적은 수의 동전을 수행 할 "하지만 우리는 또한 그 동전이 요청을 충족시킬 수 있는지 확인하려면 : ?- questionFour(Coins, X).
Coins = [4
내 문제를 일련의 산술 제약 조건으로 인코딩하는 것이 목표 인 ECLiPSe 스크립트가 있습니다. 제약 저장소에 나에게 제약 유사한 읽기 목록을 줄 것이다 술어가 -(_2941{4 .. 7}) + _2900{1 .. 4} #=< 0
_2941{4 .. 7} - _2900{1 .. 4} #= 3
-(_3393{7 .. 21}) + _3352{4 .. 1
그래서 재귀를 사용하지 않고 프롤로그를 사용하여 목록에서 단일 요소를 얻으려는 데 문제가 있습니다. 예를 들어 foreach, foreachelem 등과 같은 루프에만 의존합니다 .... 그래서 목록이 있습니다. Xs = [1,2,3], 각 요소를 개별적으로 얻고 싶습니다. 가장 좋은 나는 ... 지금까지 올이있다 한 sumOfList(Xs, Max) :-