프롤로그를 사용하여 불평등 해소

-1

저는 prolog를 사용하여 불평등 문제를 해결하기 위해 노력하고 있습니다. 코드를 찾았으며 ax + b> = 0 유형 방정식을 해결합니다.프롤로그를 사용하여 불평등 해소

내가 사용한 코드는 다음과 같습니다.

우리는 {2 * X + 2> = 5} 수득 예

위한

:-use_module(library(clpr)). 
dec_inc(left,right):- 
     copy_term(left-right,Copyleft-Copyright). 
     tell_cs(Copyleft). 
     max(Copyright,right,Leq). 
     tell_cs(Leq). 

max([],[],[]). 
max([E=<_|Ps],[_=<P1|P1s],[K=<P1|Ls]):- 
     sup(E,K), 
     max(Ps,P1s,Ls). 

tell_cs([]). 
tell_cs([C|Cs]):- 
     {C}, 
     tell_cs(Cs).

. 올바른 답을 준다. {X> = 1.5}.

2.하지만 {{(X + 3)/(3 * X + 1)} = 1}과 같이 분수를 입력하면됩니다. {1- (3 + X)/(1 + 3.0 * X) = < 0.0}이됩니다.

이러한 유형의 불평등 질문을 어떻게 해결하여 최종 답변을 찾을 수 있습니까 (분수를 포함하는 질문).
도와주세요.
학습 자료가 있으면 알려주십시오. 당신이 운이있어 그래서, 비 선형 제약 조건 만 수동적으로 다루는

출처

2014-11-23 ict

CLP (R)가 필요한지 의심 스럽습니다. 이 소리는 CLP (Q) 후에 훨씬 더 많이 발생합니다. 그러나 두 가지 방법 모두 효과적으로 선형 제약 만 처리합니다. – false

그렇지 않으면 '왼쪽'을 '왼쪽'으로 바꾸십시오. – false

라이브러리 (clpr) 문서 advises. 보다 정교한 대수학 시스템이 필요합니다.

출처

2014-11-23 07:47:21 CapelliC

감사합니다. 그리고 새로운 프로그램을 코딩하지 않고 이것을 해결하는 가장 쉬운 방법은 무엇입니까? 내가 할 수있는 모든 변화 ??? 안내 코드를 찾을 수있는 곳 ???? / – ict

프롤로그를 사용하여 불평등 해소

답변

관련 문제