와 프롤로그에서 일시 중단 된 목표를 실행하고 나는 붙어하는 방법 : D 내 문제의 요구 사항의 일반적인 버전은 같은 것입니다 : :- lib(ic).:- lib(ic).
solve([A1*X+B1*Y=C1, A2*X+B2*Y=C2]):-
X::[0..999],
Y::[0..999],
X #\= 0,
Y #\= 0,
A1*X+B1*Y#=C1,
내가 프롤로그 작업이 시나리오에 직면하고 내 쿼리에서 를, 나는 이런 식으로 뭔가 통과 : 이제 ?- query(2*X + 3*Y >= 3*Z)
를, 내가 뭘하고 싶은 프롤로그 프로그램이 불평등 식을 캡처가되도록 I 아래와 같은 변수 위의 불평등을 가질 수이 변수 'Lhs가'2*X + 3*Y 변수 'Rhs'3*Z 지금 나는 또한 어딘가에 할당 할 관련된
완전한 CSP 솔버를 찾고 있는데, 솔루션이 존재하는 경우 항상 솔루션을 찾고 솔루션이없는 경우 알려 줄 것을 의미합니다. 그래프 채색에 최적화 된 솔버가 더 좋지만 필수는 아닙니다. 많은 반복 알고리즘/솔버가 있지만 내 작업에는 완전성 (?)이 필요합니다. 필자는 Weak-Commitment Search 알고리즘을 사용하여 내 자신의 솔버를 구현했지만 훨
입력 오디오 파일을 처리하여 처리하고 수정 된 출력 오디오 파일을 출력하는 오디오 처리 응용 프로그램이 있습니다. 이 오디오 프로세싱 응용 프로그램은 오디오를 처리하는 방법에 영향을 미치는 10-15 개의 매개 변수를 가지므로 출력 오디오 파일의 내용에 영향을줍니다 (예 : 다른 주파수 응답, 더 크게, 더 조용함 등). 이러한 모든 매개 변수에는 제한된
나는 가정, 식을 데, a = 1 && (b = 1 || b != 0) && (c >= 35 || d != 5) && (c >= 38 || d = 6)
, 이 a = 1 && b != 0 && (c >= 38 || d = 6)
이 가 사람이 어떤 제안이 있습니까 감소? 어떤 알고리즘에 대한 포인터? Nota Bene : Karnaugh Map 또는 Q
안녕하세요, 저는 간단한 문제가있어서 저는 프롤로그와 함께 매우 새롭다고 경고합니다. 동일한 크기의 세 개의 목록이 있다고 가정합니다. 각 목록에는 1, 0 또는 -1 만 들어 있습니다. 나는 모든 i에 대해 세 목록 중 i 번째 요소 중 하나만이 0이 아닌지 확인하고자합니다. 이 코드는 그것을 수행하는 고정 I : :- use_module(library(
제약 조건 프로그래밍 언어 ECLiPSe (http://www.eclipseclp.org/examples/)에서 변수 합계는 어떻게합니까? 나는이 기능을 얻기 위해 시도하고있어 : :- lib(ic). % include the standard interval constraint library
:- lib(branch_and_bound). % inclu