GNU Prolog 매뉴얼 목차

GNU Prolog 매뉴얼 목차

이 문서는 GNU Prolog 공식 매뉴얼의 전체 목차예요. 각 항목은 매뉴얼의 해당 절로 연결돼요.

출처: GNU Prolog Manual - Contents

본문

  1. 감사의 글
  2. GNU Prolog 라이선스 조건
  3. 소개
  4. GNU Prolog 사용하기
    • 4.1 소개
    • 4.2 GNU Prolog 대화형 인터프리터
      • 4.2.1 대화형 인터프리터 시작하기/종료하기
      • 4.2.2 대화형 인터프리터 읽기-실행-쓰기 루프
      • 4.2.3 Prolog 프로그램 조회하기(consult)
      • 4.2.4 Prolog 스크립팅
      • 4.2.5 질의 중단하기
      • 4.2.6 라인 편집기
    • 4.3 Prolog 데이터 크기 조정
    • 4.4 GNU Prolog 컴파일러
      • 4.4.1 서로 다른 종류의 코드
      • 4.4.2 컴파일 방식
      • 4.4.3 컴파일러 사용하기
      • 4.4.4 실행 파일 실행하기
      • 4.4.5 새 대화형 인터프리터 생성하기
      • 4.4.6 이름 맹글링(name mangling) 방식
  5. 디버깅
    • 5.1 소개
    • 5.2 프로시저 박스 모델
    • 5.3 디버깅 술어
      • 5.3.1 디버거 실행·정지
      • 5.3.2 포트 리싱(leashing)
      • 5.3.3 스파이 포인트(spy-point)
    • 5.4 디버깅 메시지
    • 5.5 디버거 명령어
    • 5.6 WAM 디버거
  6. 정의의 형식
    • 6.1 일반 형식
    • 6.2 타입과 모드
    • 6.3 오류
      • 6.3.1 일반 형식과 오류 문맥
      • 6.3.2 인스턴스화 오류
      • 6.3.3 비인스턴스화 오류
      • 6.3.4 타입 오류
      • 6.3.5 도메인 오류
      • 6.3.6 존재 오류
      • 6.3.7 권한 오류
      • 6.3.8 표현 오류
      • 6.3.9 평가 오류
      • 6.3.10 자원 오류
      • 6.3.11 구문 오류
      • 6.3.12 시스템 오류
  7. Prolog 지시자와 제어 구조
    • 7.1 Prolog 지시자
      • 7.1.1 소개
      • 7.1.2 dynamic/1
      • 7.1.3 public/1
      • 7.1.4 multifile/1
      • 7.1.5 discontiguous/1
      • 7.1.6 ensure_linked/1
      • 7.1.7 built_in/0, built_in/1, built_in_fd/0, built_in_fd/1
      • 7.1.8 include/1
      • 7.1.9 if/1, else/0, endif/0, elif/1
      • 7.1.10 ensure_loaded/1
      • 7.1.11 op/3
      • 7.1.12 char_conversion/2
      • 7.1.13 set_prolog_flag/2
      • 7.1.14 initialization/1
      • 7.1.15 foreign/2, foreign/1
    • 7.2 Prolog 제어 구조
      • 7.2.1 true/0, fail/0, !/0
      • 7.2.2 (',')/2 - 연접, (;)/2 - 이접, (->)/2 - if-then, (*->)/2 - 소프트 컷(soft-cut, soft if-then)
      • 7.2.3 call/1
      • 7.2.4 catch/3, throw/1
  8. Prolog 내장 술어
    • 8.1 타입 테스트
    • 8.2 항 통일
    • 8.3 항 비교
    • 8.4 항 처리
    • 8.5 변수 이름 부여/번호 부여
    • 8.6 산술
    • 8.7 동적 절 관리
    • 8.8 술어 정보
    • 8.9 모든 해
    • 8.10 스트림
    • 8.11 상수 항 스트림
    • 8.12 문자 입출력
    • 8.13 바이트 입출력
    • 8.14 항 입출력
    • 8.15 상수 항으로의/으로부터의 입출력
    • 8.16 DEC-10 호환 입출력
    • 8.17 항 확장
    • 8.18 논리, 제어 및 예외
    • 8.19 원자 항 처리
    • 8.20 리스트 처리
    • 8.21 전역 변수
    • 8.22 Prolog 상태
    • 8.23 프로그램 상태
    • 8.24 시스템 통계
    • 8.25 난수 생성기
    • 8.26 파일 이름 처리
    • 8.27 운영체제 인터페이스
    • 8.28 소켓 입출력
    • 8.29 Linedit 관리
  9. 유한 도메인(FD) 솔버와 내장 술어
    • 9.1 소개
      • 9.1.1 유한 도메인 변수
    • 9.2 FD 변수 매개변수
    • 9.3 초기값 제약
    • 9.4 타입 테스트
    • 9.5 FD 변수 정보
    • 9.6 산술 제약
    • 9.7 부울 및 반영(reified) 제약
    • 9.8 상징적(symbolic) 제약
    • 9.9 레이블링(labeling) 제약
    • 9.10 최적화 제약
  10. Prolog와 C 연동
    • 10.1 소개
    • 10.2 gprolog.h 포함 및 사용
    • 10.3 Prolog에서 C 호출
    • 10.4 Prolog 항 조작
    • 10.5 Prolog 오류 발생시키기
    • 10.6 C에서 Prolog 호출
    • 10.7 새 C main() 함수 정의
  • 참고 문헌
  • 색인

더 알아보기