|
== Как начать работу с tuProlog ==
Дистрибутив tuProlog предлагаетсодержит инструментывсе средства для запуска как уже существующих программ Prolog, илитак помочьи в разработкесоздания новых теорий (theories) Prolog и взаимодействовать с движком Prolog.
В зависимости от целей использования tuProlog, вы можете начать знакомство ссо стандартными инструментами различнымиможно начать двумя способамипутями.
=== Советы дляПуть программистов ===
Как программистуПрограммисту, использующему Prolog, вы, возможно, захотите начатьследует знакомствоознакомиться с возможностями tuProlog, запуская свои программы, написанные на языке Prolog.
ВыУже можетеготовые запуститьпрограммы ваши программызапускаются как исходные текстовые файлы (source text files) используя tuProlog Agent tool.
Этот инструмент считывает имя текстового файла содержащего теорию, и задачу которую необходимо выполнить, и затем он запускает демонстрацию (demonstration).
После того как вы установилиустановки tuProlog в папку dir, вы можетеможно использовать следующий шаблон для вызова Agent tool из командной строки:
java -cp dir /2p.jar
go :- write(’hello, world!’), nl.
Для запуска этой программы вынужно можете напечататьнабрать:
java -cp dir /2p.jar alice.tuprolog.Agent hello.pl go.
Затем, Agent tool попытается выполнить программу, следуя инструкциям, указанным в теории hello.pl.
В результате, надпись “hello, world!” должна появиться на экране.
Так же цель может быть добавлена, используя исходники Prolog. Например, допустим, что файл hellogo.pl содержит следующий текст:
=== Советы дляПуть разработчиков === ▼:- solve(go).
go :- write(’hello, world!’), nl.
Как разработчикРазработчику, вы можетеследует начать знакомство с TuProlog - это воспользоваться преимуществамис Графического Пользовательского Интерфейса (GUI, Graphical User Interface) включенного в дистрибутив tuProlog. ГПИ выводится следующей командой:▼Затем допишите:
ГПИ выводится следующей командой:
java -cp dir /2p.jar alice.tuprolog.Agent hellogo.pl
В результате появиться надпись “hello, world!”.
▲=== Советы для разработчиков ===
▲Как разработчик, вы можете начать знакомство с TuProlog - это воспользоваться преимуществами Графического Пользовательского Интерфейса (GUI, Graphical User Interface) включенного в дистрибутив tuProlog. ГПИ выводится следующей командой:
java -cp dir /2p.jar alice.tuprologx.ide.GUILauncher
Среда разработчика, созданная на основе ГПИ, делает стандартные возможности Prolog легкодоступными:
Среда разработчика, созданная на основе ГПИ, делает стандартные возможности Prolog легкодоступными: такие как запросы, просмотр текущего решения проблемы вместе с прилагаемой подстановкой переменных, отслеживание, и так далее. Также, она дает вам возможность просматривать и редактировать текущие теории Prolog, содержащиеся в движке, и наблюдать за работой tuProlog во время решения конкретных задач. Наконец, она предлагает вам средства для динамичной загрузки и выгрузки предикатных библиотек содержащихся в движке tuProlog.
запросы, просмотр текущего решения проблемы вместе с прилагаемой подстановкой переменных, отслеживание, и так далее.
Необходимо помнить, что 2p.jar - Java Archive, так что, при вызове команды:
Также, она дает возможность просматривать и редактировать текущие теории Prolog, содержащиеся в движке, и наблюдать за работой tuProlog во время решения конкретных задач.
java -jar 2p.jar
Наконец, она предлагает средства для динамичной загрузки и выгрузки Предикатных библиотек содержащихся в tuProlog.
Так же следует опробовать интерактивное окружение движка tuProlog.
В папке dir, или по двойному щелчку на него, в большинстве современных операционных систем, консоль автоматически ГПИ вызывается.
Так же следует опробовать интерактивное окружение движка tuProlog. В данном случае, вам необходимо вызвать подсказку tuProlog, используя оболочку комманднойкомандной строки, которая находится в дистрибутиве.
Вызывается она с помощью:
Чтобы вызвать ее, наберите:
java -cp dir /2p.jar alice.tuprologx.ide.CUIConsole
Это запустит интерпретатор tuProlog через консоль, наподобие пользовательского режима командной строки.
Чтоб выйти из консоли tuProlog, вам необходимо обратится к коммандекоманде стоп (halt.).
== Основы tuProlog ==
| 