prolog, test (X, Y, Z) : - Y는 X + Z입니다.

Question

X 만 알면 프롤로그에서 Y와 Z를 얻는 방법은? 예를 들어

:

test(X, Y, Z) :- X is Y + Z. 

하지만 오류 :

?- test(2, Y, Z). 
ERROR: is/2: Arguments are not sufficiently instantiated 

Answer 1

말할 수 있습니다.

당신이 Y 및 Z, 당신은 같은 것을 할 수있다 (이하 5 이상의 예를 들어 양의 정수) 일부 제한된 세트에서 것을 알고있는 경우 만 :

valid_number(1). 
valid_number(2). 
valid_number(3). 
valid_number(4). 

test(X, Y, Z) :- valid_number(Y), valid_number(Z), X is Y + Z. 

Answer 2

당신은 인자로 전달해야합니다. 프롤로그 산술 (is/2)은 마술 지팡이가 아닙니다. 오른쪽 인수는 평가되기 전에 완전히 인스턴스화되어야합니다 (변수 없음).

여러 가지 기본 용어와 변수의 조합으로 여러 가지 "방향"에서 술어를 사용하려면 Constraint Logic Programming을 사용하는 것이 좋지만 논리 프로그래밍의 다소 고급 영역입니다. 당신은 당신이 원하는 무엇이든 할 Y를 선택할 수 있습니다 그들을 Z 또는 그 반대를 계산하기 때문에 유한 한 도메인의 CLP에서는, 그것은 불가능

:- use_module(library(clpfd)). % this differs between implementations 
test(X,Y,Z) :- X #= Y + Z.