정의의 일반 형식
정의의 일반 형식
제어 구조, 지시자, 내장 술어의 정의는 다음과 같이 제시돼요.
본문
제어 구조, 지시자, 내장 술어의 정의는 다음과 같이 제시돼요:
- Templates - 각 인자의 타입과 그중 어떤 것이 인스턴스화되어야 하는지(모드)를 지정. 타입과 모드는 나중에 설명돼요(6.2절).
- Description - (오류 조건이 없을 때의) 동작을 설명. 내장 술어가 백트래킹 시 재실행 가능한지 명시적으로 언급돼요. 정의에 관련된 미리 정의된 연산자도 언급돼요.
- Errors - 오류 조건을 상세히 설명. 가능한 오류는 나중에 설명돼요(6.3절). 지시자의 경우 이 부분은 생략돼요.
- Portability - 정의가 ISO 표준을 따르는지 아니면 GNU Prolog 확장인지 지정.