2
나는 SWI - 프롤로그에서 설명서를 읽은?프롤로그 설명서를 의미
나는 SWI - 프롤로그에서 설명서를 읽은?프롤로그 설명서를 의미
이 매개 변수는 각 인수가 입력시 인스턴스화되어야하는지 또는 해당 술어에서 리턴시 인스턴스화되는지 여부를 표시합니다.
에서 반환 할 때 인수 반환 인스턴스화 것을 의미합니다, 당신은 인스턴스화 Set1과와 Set2를 함께 호출해야하고, 반환에 SET3는 인스턴스화됩니다.
+1. 완전성을 위해 변수의 인스턴스화 된 상태에서 인스턴스화되지 않은 상태를 * 모드 * (유형과 직교 함)라고 부르기 때문에 * 모드 주석 *이라고합니다. –