디버깅: 소개
디버깅: 소개
GNU Prolog 디버거는 프로그램의 제어 흐름에 관한 정보를 제공해요.
본문
GNU Prolog 디버거는 프로그램의 제어 흐름에 관한 정보를 제공해요. 디버거는 조회된(consulted) 술어(즉 바이트 코드)에 대해 완전히 사용할 수 있어요. 네이티브 컴파일 코드에 대해서는 호출/종료(call/exit)만 추적되고 내부 동작은 표시되지 않아요.
디버거 아래에서 실행을 완전히 추적하거나, 스파이 포인트(spy-point)를 설정해 프로그램의 특정 부분만 디버깅할 수 있어요. 스파이 포인트는 사용자가 디버거가 멈춰서 상호작용해야 할 술어를 지정할 수 있게 해줘요.
디버거는 "프로시저 박스 제어 흐름 모델"(procedure box control flow model)을 사용하며, Lawrence Byrd가 고안했기 때문에 Byrd Box 모델이라고도 불러요.