Prolog: Effettuare una procedura per stampare Ciao Mondo

Question

voglio caricare questa semplice qualcosa nel mio Editor:

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

in modo che stampi "hi".

Cosa devo fare?

Attualmente sto cercando di fare File->New

e salvataggio di un file chiamato Scrivi sul E:\Program Files\pl\xpce\prolog\lib

Quando si esegue la query:

-Scrivere?.

E 'la stampa:

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

Perché?

Answer 1

EDIT

ho fatto qualche ricerca più. Apparentemente questo è ciò che fa SWI-Prolog quando lo chiedi a una variabile non definita.

$ 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) 
?- 

UPDATE

Cambiare il nome alle opere minuscole. Maiuscolo è per le variabili:

helloworld.prolog:

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

Poi:

$ 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. 

?- 

Si noti che è necessario consultare il file prima. Ho provato questo e funziona di sicuro.

Answer 2

È necessario denominare la procedura write, non Write. Le lettere iniziali minuscole sono per variabili. (Potrebbe essere meno confuso se lo chiami qualcos'altro come writeHi o qualcosa del genere, quindi non ha lo stesso nome di una procedura built-in, ma funzionerà comunque quando lo chiami write perché la tua scrittura ha un'arità diversa di quello costruito in uno).

Inoltre, è possibile sostituire "hi" con 'hi', sebbene funzionerà in entrambi i modi (ma solo la seconda versione stamperà effettivamente la parola hi sullo schermo - la versione verrà stampata come elenco di numeri interi).