이 질문은이 question의 후속 조치입니다. 나는 Sicstus 프롤로그에서 테스트의 큰 숫자를 실행 해요 : runtest:-
t1,
t2,
t3,
.
.
t100.
각각의 테스트가 독립하고 화면에 그 결과를 출력합니다. 테스트 간에는 관련성이 없으므로 각 테스트 사이에 데이터를 저장하거나 저장할 필요가 없습니다. '자원 오류 : 메모리
프롤로그에서 네트워크 모듈성 최적화를 검토 중입니다. Q를 최대화하고 싶습니다. Q는 각 모듈의 모듈 점수 합계입니다. 모듈 점수는 모듈의 가장자리 수 (Lm)를 네트워크의 가장자리 수 (L)에서 모듈의 노드 수 합계 (Dm)를 가장자리 수의 2 배로 나눈 값입니다. 네트워크 제곱. Modscore = (LM/L) - (DM/2L)^2 Q = SUM (Mo
는 다음 코드 샘플을 감안할 때 :이 example(Ls) :-
Ls = [X,Y],
Ls ins 1..2,
Cost #= max((X #= 1)*3 + (Y #= 1)*5,
(X #= 2)*3 + (Y #= 2)*5),
labeling([minimize(Cost)], Ls).
아이디어는이 간단한 예제에
JPL을 사용하여 Java에서 CLPFD (SWI-Prolog)에 질의를 전달하려고합니다. Java에서 프로그램을 실행하는 동안 다음 예외가 발생합니다. 쿼리는 = 1.x/y/x + 1, [y, x] ins 0..100500, 1..5/10/12의 Arithmetic_Expression입니다. 예외 "main"jpl.PrologException : Prol
목록 목록의 한 요소에서 다른 요소로의 전환에 대한 관계를 표현하려고합니다. 내가 할 수 있기를 원하는 것은 두 가지 임의의 요소 사이에 일정한 차이가 있어야한다고 말하는 것입니다. 우리는 목록의 모든 요소가 내가 지금 표현 할 길이 Y.의 목록입니다 X=[X1,X2,X3,...Xn]
이있는 경우 그 XA 거기에해야 Xa-> XB에서 차이가 어디에서 모
저는 프롤로그를 처음 사용하고 FD 솔버를 통해 작업하고 있습니다. 나는 SWI-Prolog와 Gnu Prolog를 탐험하고있다. 아래의 제약 조건을 해결해야하고 가능한 솔루션 중 하나가 시드를 기반으로 무작위로 선택해야하는 경우가 있습니다. Prolog에서 얼마나 많은 양이 가능한지 확신 할 수 없습니다. 위에서 볼 수 있듯이 ?- X #< 7 , X #
cumulatives/[2,3] 술어를 사용하는 문제에 대해 작업하고 있습니다. 그러나 이것을 결합하려고하면 성능이 매우 좋아집니다. minimizelabeling 다음 데모가 있습니다. 10 작업, 모두 기간 1, 4 머신, 모두 용량 = 1입니다. 내 목표는 총 시간, 즉 minimize(maximum(Es)) 최소화하는 것입니다 : 지금 이것을 실행하
: L의 변수에 제약 조건을 적용 applyConstraints(L)
을 같은 L에 두 개의 연속적인 요소는 모두 홀수 또는 내가 할 수있는 방법조차 없다는 것을 그? 고정 크기 L을 사용하면 간단하지만 가변 크기 L은 어떨까요? sicstus-prolog clpfd 라이브러리를 사용하여이 작업을 수행해야합니다.
나는 다음과 같은 데이터베이스가있는 경우 : digit(0).
digit(1).
digit(2).
digit(3).
digit(4).
digit(5).
digit(6).
digit(7).
digit(8).
digit(9).
내가 digits([X,Y]).
10 * 10 = 100 가지에 X와 Y를 인스턴스화하여 성공하는 쿼리를 원하는