Основы Системы Visual Prolog - История изменений

Victor Yukhtenko: /* Заключение */

2007-12-25T08:00:23Z

Заключение

← Предыдущая		Версия 10:00, 25 декабря 2007
Строка 329:		Строка 329:
	==Заключение==		==Заключение==

	На этом материале мы познакомились с тем, что программы, написанные в системе программирования Visual Prolog часто очень похожи на программы, написанные в традиционном Прологе. Некоторый набор ключевых слов используется для обозначения различий частей исходного кода на языке системы Visual Prolog. Хотя Visual Prolog является объектно-ориентированным языком, сохраняется возможность разработки кода, не использующего свойства объектной ориентированности. Было показано работающее приложение консольного типа, которое поясняет как создавать подобные программы.		На этом материале мы познакомились с тем, что программы, написанные в системе программирования Visual Prolog, часто очень похожи на программы, написанные в традиционном Прологе. Некоторый набор ключевых слов используется для обозначения различий частей исходного кода на языке системы Visual Prolog. Хотя Visual Prolog является объектно-ориентированным языком, сохраняется возможность разработки кода, не использующего свойства объектной ориентированности. Было показано работающее приложение консольного типа, которое поясняет как создавать подобные программы.

	Мы увидели, кроме того, как эмулируется работа с динамическими данными, характерная для традиционного Пролога. Это делается путем помещения части кода в виде внешнего файла, отделенного от программы, представленной в двоичном формате. Синтаксис данных такого рода полностью соответствует синтаксису Пролога.		Мы увидели, кроме того, как эмулируется работа с динамическими данными, характерная для традиционного Пролога. Это делается путем помещения части кода в виде внешнего файла, отделенного от программы, представленной в двоичном формате. Синтаксис данных такого рода полностью соответствует синтаксису Пролога.

Victor Yukhtenko: /* References */

2007-12-25T07:59:06Z

References

← Предыдущая		Версия 09:59, 25 декабря 2007
Строка 333:		Строка 333:
	Мы увидели, кроме того, как эмулируется работа с динамическими данными, характерная для традиционного Пролога. Это делается путем помещения части кода в виде внешнего файла, отделенного от программы, представленной в двоичном формате. Синтаксис данных такого рода полностью соответствует синтаксису Пролога.		Мы увидели, кроме того, как эмулируется работа с динамическими данными, характерная для традиционного Пролога. Это делается путем помещения части кода в виде внешнего файла, отделенного от программы, представленной в двоичном формате. Синтаксис данных такого рода полностью соответствует синтаксису Пролога.

	==~~References~~==		==Ссылки==
	[[en:Fundamental Visual Prolog]]		[[en:Fundamental Visual Prolog]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]

Victor Yukhtenko: /* Рассмотрение программы */

2007-12-25T07:58:31Z

Рассмотрение программы

← Предыдущая		Версия 09:58, 25 декабря 2007
Строка 313:		Строка 313:
	Если никакое ключевое слово в объявлении предиката не используется, то предикат получает режим процедуры, которая может выработать только одно решение, и предикат ''father'' прекратил бы работу после получения первого же результата и не смог бы быть вызван повторно. Заметим, следует быть очень осторожными в использовании отсечения (cut), обозначаемого как '''!''', в клаузах таких недетерминированных предикатов. Если в конце клаузы предиката ''father'' помещено отсечение, то предикат выработает только одно решение (даже если он объявлен как недетерминированный).		Если никакое ключевое слово в объявлении предиката не используется, то предикат получает режим процедуры, которая может выработать только одно решение, и предикат ''father'' прекратил бы работу после получения первого же результата и не смог бы быть вызван повторно. Заметим, следует быть очень осторожными в использовании отсечения (cut), обозначаемого как '''!''', в клаузах таких недетерминированных предикатов. Если в конце клаузы предиката ''father'' помещено отсечение, то предикат выработает только одно решение (даже если он объявлен как недетерминированный).

	Квалификатор направлений ввода-вывода ''anyflow'' говорит компилятору о том, что параметры, назначенные предикату могут быть как связанными, так и свободными, без каких либо ограничений. Это означает, что используя одну и ту же декларацию предиката ''father'', можно будет получать как имя отца ~~name~~ (в случае, если имя потомка связано) так и имя потомка (в случае, если имя отца связано). Ситуация, когда оба параметра связаны, также обрабатывается - и в этом случае проверяется существует ли отношение между данными, представленными параметрами.		Квалификатор направлений ввода-вывода ''anyflow'' говорит компилятору о том, что параметры, назначенные предикату могут быть как связанными, так и свободными, без каких либо ограничений. Это означает, что используя одну и ту же декларацию предиката ''father'', можно будет получать как имя отца (в случае, если имя потомка связано) так и имя потомка (в случае, если имя отца связано). Ситуация, когда оба параметра связаны, также обрабатывается - и в этом случае проверяется существует ли отношение между данными, представленными параметрами.

	И, наконец, ~~очевидно, что в последнем случае~~ квалификатор ''anyflow'' включает и ситуацию, когда оба параметра предиката ''father'' являются свободными переменными. В этом случае, предикат ''father'' вернет в ответ на запрос различные комбинации отношений родитель-потомок, предусмтотренные в программе (~~посредством загрузки файла~~ ''fa.txt''). Последний вариант как раз и использован в предикате run, как видно во фрагменте, приведенном ниже. Можно заметить, что переменные X и Y переданные предикату father не связаны при его вызове.		И, наконец, квалификатор ''anyflow'' включает ситуацию, когда оба параметра предиката ''father'' являются свободными переменными. В этом случае, предикат ''father'' вернет в ответ на запрос различные комбинации отношений родитель-потомок, предусмтотренные в программе (представленные в загружаемом файле ''fa.txt''). Последний вариант как раз и использован в предикате ''run'', как видно во фрагменте, приведенном ниже. Можно заметить, что переменные X и Y переданные предикату ''father'' не связаны при его вызове.

	<vip>clauses		<vip>clauses

Victor Yukhtenko: /* Conclusion */

2007-12-25T07:55:47Z

Conclusion

← Предыдущая		Версия 09:55, 25 декабря 2007
Строка 327:		Строка 327:
	fail.</vip>		fail.</vip>

	==~~Conclusion~~==		==Заключение==

	~~In this lesson we learnt that programs written in~~ Visual Prolog ~~are often very similar to those written in traditional Prolog~~. ~~There are several keywords that are used to differentiate the various parts of a~~ Visual Prolog ~~source code~~. ~~Though~~ Visual Prolog ~~is an object~~-~~oriented language~~, ~~it is possible to develop code which avoids the language's object-oriented features~~. ~~A complete console-based application (family1) was developed in this tutorial, which explains~~, ~~how to create such a program~~.		На этом материале мы познакомились с тем, что программы, написанные в системе программирования Visual Prolog часто очень похожи на программы, написанные в традиционном Прологе. Некоторый набор ключевых слов используется для обозначения различий частей исходного кода на языке системы Visual Prolog. Хотя Visual Prolog является объектно-ориентированным языком, сохраняется возможность разработки кода, не использующего свойства объектной ориентированности. Было показано работающее приложение консольного типа, которое поясняет как создавать подобные программы.

	~~We also found that it is possible to emulate the dynamic working of a traditional Prolog program by keeping part of the code as a data file outside the main binary compiled application~~. ~~The syntax of such a data file closely follows Prolog syntax~~.		Мы увидели, кроме того, как эмулируется работа с динамическими данными, характерная для традиционного Пролога. Это делается путем помещения части кода в виде внешнего файла, отделенного от программы, представленной в двоичном формате. Синтаксис данных такого рода полностью соответствует синтаксису Пролога.

	==References==		==References==
	[[en:Fundamental Visual Prolog]]		[[en:Fundamental Visual Prolog]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]

Victor Yukhtenko: /* Рассмотрение программы */

2007-12-25T07:46:32Z

Рассмотрение программы

← Предыдущая		Версия 09:46, 25 декабря 2007
Строка 313:		Строка 313:
	Если никакое ключевое слово в объявлении предиката не используется, то предикат получает режим процедуры, которая может выработать только одно решение, и предикат ''father'' прекратил бы работу после получения первого же результата и не смог бы быть вызван повторно. Заметим, следует быть очень осторожными в использовании отсечения (cut), обозначаемого как '''!''', в клаузах таких недетерминированных предикатов. Если в конце клаузы предиката ''father'' помещено отсечение, то предикат выработает только одно решение (даже если он объявлен как недетерминированный).		Если никакое ключевое слово в объявлении предиката не используется, то предикат получает режим процедуры, которая может выработать только одно решение, и предикат ''father'' прекратил бы работу после получения первого же результата и не смог бы быть вызван повторно. Заметим, следует быть очень осторожными в использовании отсечения (cut), обозначаемого как '''!''', в клаузах таких недетерминированных предикатов. Если в конце клаузы предиката ''father'' помещено отсечение, то предикат выработает только одно решение (даже если он объявлен как недетерминированный).

	~~The~~ anyflow ~~flow-pattern tells the compiler that the parameters that are given for the predicate could be either free or bound~~, ~~with no restrictions whatsoever~~. ~~That means~~, ~~with the same definition of the~~ father ~~predicate~~, ~~it would be possible to both yield the father's~~ name (~~in case the name of the offspring was bound~~) ~~OR the offspring's name~~ (~~in case the name of the father was bound~~). ~~It can also handle situations where both are bound; in which case the predicate will check if such a relationship exists in the data~~.		Квалификатор направлений ввода-вывода ''anyflow'' говорит компилятору о том, что параметры, назначенные предикату могут быть как связанными, так и свободными, без каких либо ограничений. Это означает, что используя одну и ту же декларацию предиката ''father'', можно будет получать как имя отца name (в случае, если имя потомка связано) так и имя потомка (в случае, если имя отца связано). Ситуация, когда оба параметра связаны, также обрабатывается - и в этом случае проверяется существует ли отношение между данными, представленными параметрами.

	~~And; to state the obvious; the~~ anyflow ~~flow pattern can also accommodate a situation where both the parameters of the~~ father ~~predicate are free variables~~. ~~In such a case~~, ~~the~~ father ~~predicate will yield the various combinations of father+offspring present in the data the program has learnt~~ (~~through consulting the~~ fa.txt ~~file~~) ~~to the enquirer~~. ~~The last usage is what is performed in the~~ run ~~predicate~~, ~~as seen in the code snippet below~~. ~~You would notice that the variables~~ X ~~and~~ Y ~~given to the father predicate are not bound when the~~ father ~~predicate is called~~.		И, наконец, очевидно, что в последнем случае квалификатор ''anyflow'' включает и ситуацию, когда оба параметра предиката ''father'' являются свободными переменными. В этом случае, предикат ''father'' вернет в ответ на запрос различные комбинации отношений родитель-потомок, предусмтотренные в программе (посредством загрузки файла ''fa.txt''). Последний вариант как раз и использован в предикате run, как видно во фрагменте, приведенном ниже. Можно заметить, что переменные X и Y переданные предикату father не связаны при его вызове.

	<vip>clauses		<vip>clauses

Victor Yukhtenko: /* Рассмотрение программы */

2007-12-24T07:51:43Z

Рассмотрение программы

← Предыдущая		Версия 09:51, 24 декабря 2007
Строка 301:		Строка 301:
	Логика программы очень проста. Мы ее уже обсуждали в других руководствах, где рассматривалось как корректное представление данных может помочь построить эффективную программу на Прологе. Давайте теперь обратим внимание на логику используемого метода.		Логика программы очень проста. Мы ее уже обсуждали в других руководствах, где рассматривалось как корректное представление данных может помочь построить эффективную программу на Прологе. Давайте теперь обратим внимание на логику используемого метода.

	При старте непосредственно будет вызван главный предикат. ~~This in turns branches off to the~~ run ~~predicate~~. Предикат run прежде всего зачитывает данные, записанные в файле fa.txt. После загрузки данных, программа систематически переходит от одной проверки к другой, обрабатывая данные, и выводит на консоль выводы на базе этих проверок.		При старте непосредственно будет вызван главный предикат. Здесь все построена вокруг предиката ''run''. Предикат ''run'' прежде всего зачитывает данные, записанные в файле ''fa.txt''. После загрузки данных, программа систематически переходит от одной проверки к другой, обрабатывая данные, и выводит на консоль выводы на базе этих проверок.

	Обработка данных основывается на стандартных механизмах отката и рекурсивных вызовов. В этом руководстве детально не рассматривается как работает Пролог, но приведем краткое описание работы.		Обработка данных основывается на стандартных механизмах отката и рекурсивных вызовов. В этом руководстве детально не рассматривается как работает Пролог, но приведем краткое описание работы.

	~~When the~~ run ~~predicate is calling the~~ father ~~predicate~~, ~~it does not stop at the first satisfactory ending of the~~ father ~~predicate~~. ~~The invoking of a~~ fail ~~at the end of the predicate, forces the Prolog engine to seek another pass through the~~ father ~~predicate~~. ~~Such a behavior is called~~ ''backtracking'', ~~because the Prolog engine literally seems to backtrack over code which had earlier executed~~.		Когда предикат ''run'' вызывает предикат ''father'', он не ограничивается первым удовлетворяющим решением предиката ''father''. Применение предиката fail в конце последовательности понуждает механизм Пролога к поиску следующего прохода предиката ''father''. Такое поведение, называется ''backtracking'' (откат), поскольку кажется, что механизм Пролога буквально перепрыгивает назад, минуя ранее исполненный код.

	~~This happens recursively~~ (~~i.e. as a repetitive process or cyclically~~)~~, and at each cycle the~~ father ~~predicate yields the next result~~. ~~Eventually all the possible definitions of~~ "~~fathers~~" ~~given in the data are exhausted~~, ~~and the run predicate would have no choice but carry over to the next clause body of the~~ run ~~predicate~~.		Это происходит рекурсивно (то есть как повтояющийся или циклический процесс) и в каждом цикле предикат ''father'' вырабатывает новый результат. В итоге все возможные определения "отцов", представленные данными исчерпываются и у предиката ''run'' нет другого выхода как перейти к следующему своему клаузу.

	~~The~~ father ~~predicate~~ (~~as well as some other predicates~~) ~~has been declared to be non-deterministic~~. ~~The keyword~~ nondeterm ~~can be used to declare non-deterministic predicates; i.e. predicates that can yield multiple answers using backtracking~~.		Предикат ''father'' (так же как и ряд других предикатов) объявлен как нетерминированный. Для обозначения недетерминированных предикатов используется ключевое слово '''nondeterm''', обозначающее, что предикат может вырабатывать множество решений посредством бэктрекинга (отката).

	~~If the no keyword is used in a predicate declaration~~, ~~then the predicate has got the procedure mode~~, ~~which can give only one solution~~, ~~and the~~ father ~~predicate will stop after yielding the first result and cannot be re-entered into~~. ~~Also~~, ~~one must be careful in the usage of the~~ cut (!~~) in the clause bodies of such non-deterministic predicates~~. ~~If there is a cut at the end of the clause body of the~~ father ~~predicate~~, ~~yet again; the predicate will yield only one solution~~ (~~even if it has been declared to be non-deterministic~~).		Если никакое ключевое слово в объявлении предиката не используется, то предикат получает режим процедуры, которая может выработать только одно решение, и предикат ''father'' прекратил бы работу после получения первого же результата и не смог бы быть вызван повторно. Заметим, следует быть очень осторожными в использовании отсечения (cut), обозначаемого как '''!''', в клаузах таких недетерминированных предикатов. Если в конце клаузы предиката ''father'' помещено отсечение, то предикат выработает только одно решение (даже если он объявлен как недетерминированный).

	The anyflow flow-pattern tells the compiler that the parameters that are given for the predicate could be either free or bound, with no restrictions whatsoever. That means, with the same definition of the father predicate, it would be possible to both yield the father's name (in case the name of the offspring was bound) OR the offspring's name (in case the name of the father was bound). It can also handle situations where both are bound; in which case the predicate will check if such a relationship exists in the data.		The anyflow flow-pattern tells the compiler that the parameters that are given for the predicate could be either free or bound, with no restrictions whatsoever. That means, with the same definition of the father predicate, it would be possible to both yield the father's name (in case the name of the offspring was bound) OR the offspring's name (in case the name of the father was bound). It can also handle situations where both are bound; in which case the predicate will check if such a relationship exists in the data.

Victor Yukhtenko: /* A Round up of the Program */

2007-12-24T07:27:21Z

A Round up of the Program

← Предыдущая		Версия 09:27, 24 декабря 2007
Строка 297:		Строка 297:
	Программа обрабатывает данные, помещенные в файл fa.txt и порождает логические связи персон, данные о которых там помещены.		Программа обрабатывает данные, помещенные в файл fa.txt и порождает логические связи персон, данные о которых там помещены.

	===~~A Round up of the Program~~===		===Рассмотрение программы===

	~~The logic of the program is very simple~~. ~~We had discussed it in an earlier tutorial~~, ~~where we explained how the correct representation of data can help yield the appropriate results in a Prolog program~~. ~~Let us now discuss the manner in which this logic works~~.		Логика программы очень проста. Мы ее уже обсуждали в других руководствах, где рассматривалось как корректное представление данных может помочь построить эффективную программу на Прологе. Давайте теперь обратим внимание на логику используемого метода.

	~~At start up, the main predicate will be invoked directly~~. This in turns branches off to the run predicate. ~~The first thing the~~ run ~~predicate will do is to read in the data which is written in the file~~ fa.txt. ~~Once the data is in place~~, ~~the program systematically progresses from one test to another to process the data and write out the conclusions of that test onto the console~~.		При старте непосредственно будет вызван главный предикат. This in turns branches off to the run predicate. Предикат run прежде всего зачитывает данные, записанные в файле fa.txt. После загрузки данных, программа систематически переходит от одной проверки к другой, обрабатывая данные, и выводит на консоль выводы на базе этих проверок.

	~~The mechanisms for processing the data are standard mechanisms of backtracking and recursions~~. ~~This tutorial is not the place for a detailed explanation of how Prolog works~~, ~~but here is a short summary of the internal workings~~.		Обработка данных основывается на стандартных механизмах отката и рекурсивных вызовов. В этом руководстве детально не рассматривается как работает Пролог, но приведем краткое описание работы.

	When the run predicate is calling the father predicate, it does not stop at the first satisfactory ending of the father predicate. The invoking of a fail at the end of the predicate, forces the Prolog engine to seek another pass through the father predicate. Such a behavior is called ''backtracking'', because the Prolog engine literally seems to backtrack over code which had earlier executed.		When the run predicate is calling the father predicate, it does not stop at the first satisfactory ending of the father predicate. The invoking of a fail at the end of the predicate, forces the Prolog engine to seek another pass through the father predicate. Such a behavior is called ''backtracking'', because the Prolog engine literally seems to backtrack over code which had earlier executed.

Victor Yukhtenko: /* Шаг 4: Престроение кода проекта */

2007-12-24T07:15:32Z

Шаг 4: Престроение кода проекта

← Предыдущая		Версия 09:15, 24 декабря 2007
Строка 261:		Строка 261:
	[[Image:FundamentalVisualProlog6.jpg]]		[[Image:FundamentalVisualProlog6.jpg]]

	===Шаг 4: ~~Престроение~~ кода проекта===		===Шаг 4: Перестроение кода проекта===

	Повторите вызов команды меню '''Build'''. IDE теперь уведомит, что исходный текст поменялся, и выполнит все необходимые действия для перекомпиляции соответствующих разделов. Если Вы вызовите команду меню Rebuild All, тогда ''ВСЕ'' модули проекта будут перекомпилированы. В случае больших проектов это может занимать значительное время. Rebuild All обычно используется в качестве финальной фазы после ряда небольших изменений и соответствующих компиляций, дабы удостовериться в том, что все в полном порядке.		Повторите вызов команды меню '''Build'''. IDE теперь уведомит, что исходный текст поменялся, и выполнит все необходимые действия для перекомпиляции соответствующих разделов. Если Вы вызовите команду меню Rebuild All, тогда ''ВСЕ'' модули проекта будут перекомпилированы. В случае больших проектов это может занимать значительное время. Rebuild All обычно используется в качестве финальной фазы после ряда небольших изменений и соответствующих компиляций, дабы удостовериться в том, что все в полном порядке.

Victor Yukhtenko: /* Шаг 5: Исполнение Программы */

2007-12-21T08:25:38Z

Шаг 5: Исполнение Программы

← Предыдущая		Версия 10:25, 21 декабря 2007
Строка 280:		Строка 280:
	<vip>clauses		<vip>clauses
	person("Judith",female()).		person("Judith",female()).
	person("Bill",male()).		person("Bill",male()).
	person("John",male()).		person("John",male()).
	person("Pam",female()).		person("Pam",female()).
	parent("John","Judith").		parent("John","Judith").
	parent("Bill","John").		parent("Bill","John").
	parent("Pam","Bill").</vip>		parent("Pam","Bill").</vip>

	Несмотря на то, что это файл данных, Вы заметите, что синтаксис файла очень похож на обычный код Пролога! Даже несмотря на то, что программа теперь откомпилирована и представлена в двоичном формате, Вы можете менять ход и результаты ее исполнения, изменяя данные, которые программа обрабатывает. И эти данные записываются в этот текстовый файл с использованием того же самого синтаксиса Пролога. Visual Prolog таким образом эмулирует свойство использования динамически изменяемого кода, характерное для традиционного пролога. Хотя не все свойства использования динамически изменяемого кода традиционного Пролога воспроизводятся, но достаточно сложные структуры данных (или не сложные, как в этом примере) могут быть использованы.		Несмотря на то, что это файл данных, Вы заметите, что синтаксис файла очень похож на обычный код Пролога! Даже несмотря на то, что программа теперь откомпилирована и представлена в двоичном формате, Вы можете менять ход и результаты ее исполнения, изменяя данные, которые программа обрабатывает. И эти данные записываются в этот текстовый файл с использованием того же самого синтаксиса Пролога. Visual Prolog таким образом эмулирует свойство использования динамически изменяемого кода, характерное для традиционного пролога. Хотя не все свойства использования динамически изменяемого кода традиционного Пролога воспроизводятся, но достаточно сложные структуры данных (или не сложные, как в этом примере) могут быть использованы.

Victor Yukhtenko: /* Step 5: Execute the Program */

2007-12-21T08:24:21Z

Step 5: Execute the Program

← Предыдущая		Версия 10:24, 21 декабря 2007
Строка 269:		Строка 269:
	[[Image:FundamentalVisualProlog7.jpg]]		[[Image:FundamentalVisualProlog7.jpg]]

	===~~Step~~ 5: ~~Execute the Program~~===		===Шаг 5: Исполнение Программы===

	~~We now have our first true application complied using~~ Visual Prolog. ~~In order to test the application we~~'~~ve just compiled, you can run the program using the~~ Build \| Run ''in'' ~~Window menu command~~. ~~However~~, ~~in our case this would result in an error. The reason is that our little program is trying to read a text file (~~fa.txt) ~~for its functioning~~. ~~That text file contains the actual data regarding persons which our program will process. We'll come to the syntax of that file a bit later~~.		Теперь у нас есть приложение, успешно откомпилированное с помощью Visual Prolog. Для того, чтобы проверить работу приложения, которое только что построено, можно запустить ее выполнение, вызвав команду из меню ''Build \| Run in Window''. Но в нашем случае это приведет к ошибке. Причина заключается в том, что наша маленькая программа для обеспечения своей работы пытается читать текстовый файл ''fa.txt''. Этот текстовый файл содержит содержит записи относительно лиц, которые (записи) программа должна обработать. Вопросов синтаксита представления данных в этом файле мы коснемся позже.

	~~We need to now write that text file using some text editor and place it in the same directory where the executable is now residing~~. ~~Normally~~, ~~the executable would reside in the sub-folder called exe from the main project folder~~.		Сейчас нам необходимо написать этот текстовый файл с использованием текстового редактора и поместить его в ту же директорию, где располагается сама исполняемая программа. Обычно исполняемая программа помещается в поддиректории проектной директории, имеющей имя EXE.

	~~Let us create such a file using the~~ IDE ~~itself~~. ~~Use the~~ File \| New ~~menu command~~. ~~The~~ Create Project Item ~~window will appear~~. ~~Select~~ Text ~~file from the list on the left hand side~~. ~~Then select the appropriate directory where the file is to reside~~ (~~The same directory where the executable file~~ family1.exe ~~is present~~). ~~Then, give the filename~~ ''fa.txt'' ~~and click on the~~ Create ~~button of the dialog~~. ~~Till the filename is given~~, ~~the~~ Create ~~button would be grayed~~ (~~disabled~~). ~~Make sure that the checkbox:~~ Add to project as module ~~is checked on~~. ~~The advantage of adding it to the project is that it would be available for any subsequent debugging~~, ~~etc~~.		Давайте создадим такой файл сами с использованием среды IDE. Вызовите команду меню ''File \| New''. Появляется окно создания новой сущности ''Create Project Item''. Выберите Текстовый файл (Text File) в списке слева. Затем выберите директорию, где будет размещаться файл (та же директория, где располагается исполняемое приложение family1.exe). Присвойте теперь имя ''fa.txt'' файлу и нажмите кнопку Create (создать). До тех пор, пока имя файла не введено, кнопка Create (создать) будет неактивна (надпись серого цвета). Удостоверьтесь, что флажот ''Add to project as module'' (добавить в проект на правах модуля) включен. Полезность включения файла в проект заключается в том, что это будет удобно для последующей отладки и других действий.

	~~The contents of the file would be as follows:~~

			Файл следует заполнить текстом следующего содержания:
	<vip>clauses		<vip>clauses
	person("Judith",female()).		person("Judith",female()).
Строка 288:		Строка 287:
	parent("Pam","Bill").</vip>		parent("Pam","Bill").</vip>

	~~Though it is a data file~~, ~~you would notice that the syntax of the file is VERY similar to regular Prolog code~~! ~~Even though the program is now compiled and is now in a binary format; you can change the output by simply changing the crucial data the program is processing~~. ~~And that data is written into this text file using the same syntax as Prolog~~. ~~Thus~~ Visual Prolog ~~emulates the ''dynamic'' code writing capability of traditional Prolog~~. ~~Albeit~~, ~~not all features are available but at least complicated domains such as those in this example can definitely be given~~.		Несмотря на то, что это файл данных, Вы заметите, что синтаксис файла очень похож на обычный код Пролога! Даже несмотря на то, что программа теперь откомпилирована и представлена в двоичном формате, Вы можете менять ход и результаты ее исполнения, изменяя данные, которые программа обрабатывает. И эти данные записываются в этот текстовый файл с использованием того же самого синтаксиса Пролога. Visual Prolog таким образом эмулирует свойство использования динамически изменяемого кода, характерное для традиционного пролога. Хотя не все свойства использования динамически изменяемого кода традиционного Пролога воспроизводятся, но достаточно сложные структуры данных (или не сложные, как в этом примере) могут быть использованы.

	~~The syntax used in~~ fa.txt ~~MUST be compatible with the domain definitions of the program~~. ~~E.g. The functor used for defining a person MUST be~~ ''person'' ~~and not anything else; else appropriate compound domain representing that functor would not get initialized~~. (~~We had covered the topic of functors and compound domains in an earlier tutorial~~).		Синтаксис файла fa.txt ДОЛЖЕН быть совместим с определениями доменов в программе. Например, функтор, применяемый для определения персоны ДОЛЖЕН быть ''person'' и никак иначе. В противном случае соответствующий составной домен не будет инициализирован. (Понятия функторов и составных доменов рассматриваются в других руководствах).

	~~Now~~, ~~when you run the program using the~~ Build \| Run in the Window ~~menu command, this is what you~~'~~ll see~~:		Теперь, запустив программу по команде меню '''Build \| Run in the Window''' вы увидите:

	[[Image:FundamentalVisualProlog8.jpg]]		[[Image:FundamentalVisualProlog8.jpg]]

	~~The program processes the information in the file~~ fa.txt ~~and works out the logical sequence of the parentages of people given there~~.		Программа обрабатывает данные, помещенные в файл fa.txt и порождает логические связи персон, данные о которых там помещены.

	===A Round up of the Program===		===A Round up of the Program===