Prolog 내장 술어
Prolog 내장 술어
이 장에서는 300개가 넘는 GNU Prolog 내장 술어들을 설명해요.
본문
다음은 이 장에서 다루는 절 목록이에요:
- 타입 테스트: var/1, nonvar/1, atom/1, integer/1, float/1, number/1, atomic/1, compound/1, callable/1, ground/1, is_list/1, list/1, partial_list/1, list_or_partial_list/1
- 항 통일: (=)/2, unify_with_occurs_check/2, (=)/2
- 항 비교: 표준 항 전체순서, (==)/2, (==)/2, (@<)/2, (@=<)/2, (@>)/2, (@>=)/2, compare/3
- 항 처리: functor/3, arg/3, (=..)/2, copy_term/2, term_variables/2, term_variables/3, subsumes_term/2, acyclic_term/1, term_hash/4, term_hash/2, setarg/4, setarg/3
- 변수 이름 부여/번호 부여: name_singleton_vars/1, name_query_vars/2, bind_variables/2, numbervars/3, numbervars/1, term_ref/2
- 산술: 산술 표현식 평가, (is)/2, (=:=)/2, (==)/2, (<)/2, (=<)/2, (>)/2, (>=)/2, succ/2
- 동적 절 관리: asserta/1, assertz/1, retract/1, retractall/1, clause/2, abolish/1
- 술어 정보: current_predicate/1, predicate_property/2
- 모든 해: findall/4, findall/3, bagof/3, setof/3
- 스트림: 스트림 관련 술어 전부
- 상수 항 스트림
- 문자 입출력
- 바이트 입출력
- 항 입출력
- 상수 항으로의/으로부터의 입출력
- DEC-10 호환 입출력
- 항 확장: 정관절 문법, expand_term/2, term_expansion/2, phrase/3, phrase/2
- 논리, 제어 및 예외
- 원자 항 처리
- 리스트 처리
- 전역 변수
- Prolog 상태
- 프로그램 상태
- 시스템 통계
- 난수 생성기
- 파일 이름 처리
- 운영체제 인터페이스
- 소켓 입출력
- Linedit 관리