Азы. Не могу понять как работает простейшая программа

@umc55555 · Регистрация: 11.05.2013

Студворк — интернет-сервис помощи студентам

Для начала объясните пожалуйста, в чем разница между :- и ?- ? Не очень понимаю.

Перепробовал несколько сред разработки.
Visual Prolog больше для профессионалов, мне бы азы только изучить.
Turbo Prolog вообще вырубается после каждой компиляции.
SWI успешно компилирует, но ничего не выводит. Или может выводит, но не знаю где. Не уверен даже, что знаю куда смотреть. По идее в консольное окно, но там только логи компиляции выводятся.

Код элементарный, но не могу добиться ответа от программы. Перепробовал кучу вариантов, вот несколько из них (пустой строкой отделяю вариант):

Prolog

        a=1.
 
        a=1,
        write(a).
 
:-
        a=1,
        write(a),
        true.
 
:-
        a=1,
        write(a).
 
 
?-
        a=1,
        write(a).
 
?-
        a=1,
        write(a),
        true.
 
main:-
        a=1,
        write(a),
        true,
        halt.
:- main.

В основном пытаю SWI. Он несколько раз скомпилировал ":- a=1, write(a), true." , а потом перестал почему-то и в какой-то момент вообще вылетел.
Итак, прошу привести пример простейшей программы на Прологе и объяснить как запускать и где смотреть результат.
Спасибо и прошу прощения за лузерский вопрос..)

@umc55555 · 09.09.2013, 15:03 **[ТС]**

* простейшей программы на Прологе, которая корректно работает в SWI

@feofilakt · 10.09.2013, 04:25

Prolog

1	hello:-print('Hello World!').

-> menu -> compile
-> menu -> consult
?- hello. (это в консоли вводить)

@umc55555 · 13.09.2013, 17:23 **[ТС]**

Сообщение от feofilakt

-> menu -> compile
-> menu -> consult
?- hello. (это в консоли вводить)

Спасибо, вроде разобрался. По крайней мере, на первый взгляд.
P. S. Хотя все это так странно выглядит после императивных языков и IDE, где запуск программы гораздо проще выполняется.

@umc55555 14 / 14 / 7 Регистрация: 11.05.2013 Сообщений: 225
	09.09.2013, 15:03 [ТС]	2
	* простейшей программы на Прологе, которая корректно работает в SWI 0

@umc55555 14 / 14 / 7 Регистрация: 11.05.2013 Сообщений: 225
	13.09.2013, 17:23 [ТС]	4
	Сообщение от feofilakt -> menu -> compile -> menu -> consult ?- hello. (это в консоли вводить) Спасибо, вроде разобрался. По крайней мере, на первый взгляд. P. S. Хотя все это так странно выглядит после императивных языков и IDE, где запуск программы гораздо проще выполняется. 0

Опции темы