gprolog include 지시문이 작동하지 않습니다.

Question

Fedora 17 Linux 시스템에서 gprolog 버전 1.4.2를 실행하고 있습니다.

나는 잘 실행되는 작은 프롤로그 프로그램을 작성했습니다. 필자는 다른 프롤로그 프로그램에서 끌어 올리고 사용하고자하는 몇 가지 조건을 정의했습니다. 그래서 나는 그것들을 별도의 파일에 넣고 include 지시어 (버전 1.4.2 GNU Prolog 매뉴얼의 초 7.1.8에 정의 됨)를 사용한다고 생각했다. 그러나 작동하지 않았습니다. gprolog은 포함 된 파일에있는 해당 술어가 정의되지 않았다고 말했습니다.

는 그래서 gprolog 프롬프트에서 내가 입력 :

| ?- include('tools.pro'). 

내가 얻을 :

uncaught exception: error(existence_error(procedure,include/1),top_level/0 

그래서 그것을 명확하게 지시를 인식하지 못합니다. 나는 모든 것을 수색했는데 왜 이런 일이 일어나야하는지 알지 못합니다. 이것에 대한 어떤 생각?

Answer 1

는 include/1는 지시 아닌 술어입니다. GNU Prolog는 공식 표준을 철저히 준수하므로 최상위 쿼리를 포함하여 include/1을 술어로 사용할 수 없습니다. Sergey가 설명했듯이 프로그램을로드하려는 경우 기본 제공 술어 consult/1 또는 해당 바로 가기 ([Fie1, File, ...])를 사용할 수 있습니다.

원본 파일에서 include/1 지시문을 사용하려면 앞에 (:-)/1 연산자를 씁니다. 예 :

:- include('tools.pro'). 

Answer 2

include/1은 Prolog 소스 파일에서 사용하기위한 것입니다. 당신은 아마 당신의 소스 파일을 참조 할 쿼리 프롬프트에서

는 : ['tools.pro'].는 ISO 프롤로그 표준에 지정된대로