정의의 형식

정의의 형식

이 장에서는 매뉴얼에서 지시자·제어 구조·내장 술어를 정의하는 형식을 설명해요.

출처: GNU Prolog Manual - Format of definitions

본문

다음은 이 장에서 다루는 절 목록이에요:

  • 일반 형식
  • 타입과 모드
  • 오류
    • 일반 형식과 오류 문맥
    • 인스턴스화 오류
    • 비인스턴스화 오류
    • 타입 오류
    • 도메인 오류
    • 존재 오류
    • 권한 오류
    • 표현 오류
    • 평가 오류
    • 자원 오류
    • 구문 오류
    • 시스템 오류

더 알아보기