Привет, мир в Prolog

Question

Я рву свои волосы, пытаясь найти, как просто написать программу Hello World в Prolog. Я просто хочу, чтобы создать программу, которая работает следующим образом:

> ./hw 
Hello, world! 
> 

Проблема заключается в том, что каждый пример я могу найти работает в РЕПЛ, например, так:

?- consult(hello_world). 
% hello compiled 0.00 sec, 612 bytes 

Yes 
?- hello_world. 
Hello World! 

Yes 

Это то же самое, даже с примеры скомпилированного Prolog: программа все еще просто переходит в REPL. Это, очевидно, не очень полезно для «общего» языка. Итак, как мне написать традиционный Hello World?

Answer 1

Использование GNU Prolog:

 
$ cat hello.pl 
:- initialization(main). 
main :- write('Hello World!'), nl, halt.
 

$ gplc hello.pl $ ./hello
 Hello World!
 

Answer 2

Пролог на самом деле не общего назначения язык. Мы используем его для проектирования систем искусственного интеллекта в университете.

Вам нужно будет определить факт, который отвечает «привет мир».

hello('hello world'). 

Затем запросить факт:

?- hello(X). 

Однако, в зависимости от компилятора ПРОЛОГ, вы, вероятно, имеют write() правило, что вы могли бы использовать:

?- write('hello world'), nl. 

Answer 3

writeln('hello world'). 

Answer 4

Вы можете написать исходный файл, чтобы запустить интерпретатор Prolog и выйти из него, когда ваш код будет запущен. Вот пример использования SWI-Пролог:

#!/usr/bin/swipl -q -t hello_world -f 

hello_world :- write('Hello World'), nl, 
       halt. 

Предполагая, что вы кладете это в файле с именем «HW» и установить разрешение на выполнение, вы можете назвать это, как вы хотите:

$ ./hw 
Hello World 
$