Prolog: Làm một thủ tục để in Hello World

Question

Tôi muốn tải một cái gì đó đơn giản này thành biên tập của tôi:

Write:-repeat,write("hi"),nl,fail. 

Vì vậy mà nó in "hi".

Tôi nên làm gì?

tôi đang cố gắng để làm File->New

và lưu một file có tên Viết vào E:\Program Files\pl\xpce\prolog\lib

Khi làm các truy vấn:

-Viết?.

Đó là in ấn:

1 ?- Write. 
% ... 1,000,000 ............ 10,000,000 years later 
% 
%  >> 42 << (last release gives the question) 

Tại sao?

Answer 1

EDIT

tôi đã làm một số nghiên cứu thêm. Rõ ràng đây là những gì SWI-Prolog làm khi bạn hỏi nó về một biến không được khai thác.

$ prolog 
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.6.64) 
Copyright (c) 1990-2008 University of Amsterdam. 
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, 
and you are welcome to redistribute it under certain conditions. 
Please visit http://www.swi-prolog.org for details. 

For help, use ?- help(Topic). or ?- apropos(Word). 

?- X. 
% ... 1,000,000 ............ 10,000,000 years later 
% 
%  >> 42 << (last release gives the question) 
?- 

CẬP NHẬT

Thay đổi tên các tác phẩm chữ thường. Hoa là cho các biến:

helloworld.prolog:

helloworld:-write('Hello World!'),nl,fail. 

Sau đó:

$ prolog 
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.6.64) 
Copyright (c) 1990-2008 University of Amsterdam. 
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, 
and you are welcome to redistribute it under certain conditions. 
Please visit http://www.swi-prolog.org for details. 

For help, use ?- help(Topic). or ?- apropos(Word). 

?- ['helloworld.prolog']. 
% helloworld.prolog compiled 0.00 sec, 1,376 bytes 
true. 

?- helloworld. 
Hello World! 
false. 

?- 

Chú ý rằng bạn phải tham khảo ý kiến ​​các tập tin đầu tiên. Tôi đã thử điều này và nó hoạt động chắc chắn.

Answer 2

Bạn cần nêu tên thủ tục write, không phải Write. Chữ cái viết hoa chữ thường là các biến. (Nó có thể ít gây nhầm lẫn nếu bạn gọi nó là một cái gì đó khác như writeHi hoặc một cái gì đó, vì vậy nó không có tên giống như một thủ tục dựng sẵn, nhưng nó vẫn hoạt động khi bạn gọi nó là write bởi vì viết của bạn có một sự khác biệt hơn được xây dựng trong một). Ngoài ra, bạn có thể muốn thay thế "hi" bằng 'hi', mặc dù nó sẽ hoạt động theo cách (nhưng chỉ có phiên bản thứ hai thực sự sẽ in chữ hi thành màn hình - phiên bản của bạn sẽ in ra dưới dạng danh sách số nguyên).