Ivan Bratkos의 Prolog 프로그래밍 인공 지능 4 판 편집을 따르고 있습니다. 현재 제약 논리 프로그래밍에 대해 읽었습니다. {Ta >= 0,
Ta + 2 =< Tb,
Ta + 2 =< Tc,
Tb + 3 =< Td,
Tc + 5 =< Tf,
Td + 4 =< Tf},
minimize(Tf).
SWI - 프롤로그 결과에 어떤 결과
저는 prolog를 사용하여 불평등 문제를 해결하기 위해 노력하고 있습니다. 코드를 찾았으며 ax + b> = 0 유형 방정식을 해결합니다. 내가 사용한 코드는 다음과 같습니다. 우리는 {2 * X + 2> = 5} 수득 예위한 :-use_module(library(clpr)).
dec_inc(left,right):-
copy_term(left
저는 SWI-Prolog를 사용하고 있으며 저는 매우 새롭고 여전히 배우고 있습니다. 실질적으로이 질문은 후속 조치입니다. Why can't my rule solve for X in a simple algebraic equation? clpq를 가져 왔습니다. ?- use_module(library(clpq)).
true.
내 방정식 6X 2 + 7