2011-09-02 2 views

답변

2

isa2/2은 두 개의 인수를 취하는 isa2이라는 술어를 단순히 참조합니다. 즉, 처음 2는 단순히 특수 표기가 아닌 이름의 일부입니다.