Linedit 관리
Linedit 관리
linedit(명령줄 편집 인터페이스)와 상호작용하는 술어들을 설명해요.
본문
다음 술어들은 GNU Prolog의 linedit 부분이 설치된 경우에만 사용할 수 있어요.
get_linedit_prompt/1
Templates
get_linedit_prompt(?atom)
Description
get_linedit_prompt(Prompt)은 Prompt가 현재 linedit 프롬프트이면 성공해요. 예: 최상위 프롬프트는 | ?-이에요. 기본적으로 다른 모든 읽기는 빈 프롬프트를 갖고 있어요.
Errors
- Prompt가 변수도 원자도 아님 —
type_error(atom, Prompt)
Portability: GNU Prolog 술어.
set_linedit_prompt/1
Templates
set_linedit_prompt(+atom)
Description
set_linedit_prompt(Prompt)은 현재 linedit 프롬프트를 Prompt로 설정해요. 이 프롬프트는 터미널에서 읽을 때 표시돼요(최상위 읽기 제외).
Errors
- Prompt가 변수 —
instantiation_error - Prompt가 변수도 원자도 아님 —
type_error(atom, Prompt)
Portability: GNU Prolog 술어.
add_linedit_completion/1
Templates
add_linedit_completion(+atom)
Description
add_linedit_completion(Word)는 linedit(4.2.6절)이 유지하는 완성 단어 리스트에 Word를 추가해요. 문자, 숫자 및 밑줄 문자를 포함하는 단어만 추가돼요(Word가 이 제한을 지키지 않으면 이 술어는 실패해요).
Errors
- Word가 변수 —
instantiation_error - Word가 변수도 원자도 아님 —
type_error(atom, Word)
Portability: GNU Prolog 술어.
find_linedit_completion/2
Templates
find_linedit_completion(+atom, ?atom)
Description
find_linedit_completion(Prefix, Word)은 Word가 Prefix로 시작하고 linedit(4.2.6절)이 유지하는 완성 단어 리스트에 속하면 성공해요. 이 술어는 백트래킹 시 재실행 가능해요.
Errors
- Prefix가 변수 —
instantiation_error - Prefix가 변수도 원자도 아님 —
type_error(atom, Prefix) - Word가 변수도 원자도 아님 —
type_error(atom, Word)
Portability: GNU Prolog 술어.