[SWI-Prolog] 변수 사용

아래와 같은 코드가 SWI-Prolog에 학습되어 있다고 가정하겠습니다.

 

person(jain).
fruit(apple).
fruit(banana).
fruit(melon).

eat(jain, apple).
eat(jain, melon).

 

 

3개의 과일 중 jain이 먹은 과일이 무엇인지를 알고 싶은 경우 이는 변수를 사용해서 구할 수 있습니다. 변수 X를 사용해 jain이 먹은 것이 무엇인지를 물어보겠습니다.

 

eat(jain,X)

 

SWI-Prolog는 X=apple; X=melon. 이라는 결과를 출력합니다. apple, banana, melon이 과일이라고 정의되어 있지만 apple, melon과는 달리 banana는 jain과의 관계가 정의되어 있지 않기 때문에 X의 값으로는 apple과 melon만 출력됩니다.

 

실행 결과