2012-03-17 6 views
3

Sicstus Prolog 설명서에 "? - consult (user)"라는 메시지가 표시됩니다. 절을 입력하고 "최상위 수준으로 돌아가려면^D를 입력하십시오." 그러나 Windows를 사용하고 있으며 설명서에 Windows 지침이 없습니다. Windows에서 쿼리 모드로 돌아가려면 어떻게해야합니까?Windows 명령 줄의 Prolog 모드 전환

답변

3

SICStus 4와 같은 많은 Prolog 시스템에서 end_of_file. 사실을 입력하여 상담을 ​​완료 할 수 있습니다. 이 사실은 논의되지 않을 것이며, 단지 끝을 나타내는 역할을합니다.

(경고 :.. 내가 바람 OWS의 빈번한 사용자가 아니다 즉, 나는 그러한 활동의 ​​rdesktop을)

혹시 프로그램에서 사실 end_of_file.를 정의 할 필요가있는 경우, 쓰기 end_of_file :- true. 대신

최상위 레벨에 대한 쿼리로 end_of_file.을 입력하면 많은 Prolog 시스템이 중지됩니다. 대신 true,end_of_file.을 입력하여이를 우회 할 수 있습니다.

이 약간 이상한 동작은 절대로 표준화 된 것이 아닙니다.

1

테스트 할 수는 없지만^Z (Ctrl + Z)는 유닉스에서^D (Ctrl + D)와 같은 역할을해야한다고 생각합니다.

+1

가끔 Ctrl + Z이고 Enter를하는 경우가 있습니다. Unix 및 Mac에서는 Ctrl-D 뒤에 Enter를 선행 할 필요가 없습니다. 이것은 Windows에서 줄 모드로 유지하는 것 같습니다. 또한 줄이 비어 있어야합니다. –

+0

'get_code (C) .'를 시도하고 Enter 키와 함께 Ctrl-Z를 입력하십시오. 예, Enter를 입력하여 IF/Prolog에서 'C = 26'인 결과를 가져와야합니다. – false