실제 숫자에 대한 제약 조건을 풀기 위해 clpr 라이브러리가있는 SWI-Prolog를 사용하고 있습니다. 나는 command line에서 SWI-Prolog를 호출하고 다른 프로그램으로 출력을 파싱하여이 작업을 수행합니다. 예를 들어, 나는 다음과 같은 명령을 생성 {F = 1.8 * C + 32}, {C = 25}. 같은 해결 : swipl \
저는 prolog를 사용하여 불평등 문제를 해결하기 위해 노력하고 있습니다. 코드를 찾았으며 ax + b> = 0 유형 방정식을 해결합니다. 내가 사용한 코드는 다음과 같습니다. 우리는 {2 * X + 2> = 5} 수득 예위한 :-use_module(library(clpr)).
dec_inc(left,right):-
copy_term(left