Prolog 지시자와 제어 구조
Prolog 지시자와 제어 구조
이 장에서는 Prolog 소스 파일에 삽입하는 지시자(directives)와 제어 구조(control constructs)를 설명해요.
출처: GNU Prolog Manual - Prolog directives and control constructs
본문
다음은 이 장에서 다루는 절 목록이에요:
- Prolog 지시자
- 소개
- dynamic/1
- public/1
- multifile/1
- discontiguous/1
- ensure_linked/1
- built_in/0, built_in/1, built_in_fd/0, built_in_fd/1
- include/1
- if/1, else/0, endif/0, elif/1
- ensure_loaded/1
- op/3
- char_conversion/2
- set_prolog_flag/2
- initialization/1
- foreign/2, foreign/1
- Prolog 제어 구조
- true/0, fail/0, !/0
- (',')/2 - 연접, (;)/2 - 이접, (->)/2 - if-then, (*->)/2 - 소프트 컷(soft-cut)
- call/1
- catch/3, throw/1