Составные Домены и Списки - История изменений

SergeMukhin в 07:16, 6 ноября 2007

2007-11-06T07:16:15Z

← Предыдущая		Версия 09:16, 6 ноября 2007
Строка 448:		Строка 448:
	*Программа на Visual Prolog может содержать множество типов значений: простых и составных, встроенных (стандартных) и определяемых в программе.		*Программа на Visual Prolog может содержать множество типов значений: простых и составных, встроенных (стандартных) и определяемых в программе.
	*Простые значения - это: числа, строки и т.д..		*Простые значения - это: числа, строки и т.д..
	*''Составные домены'' позволяют рассматривать структуру информации как единую сущность. Составной домен состоит из имени (известного как функтор) и ~~одного или более~~ аргументов. Можно определить домен с несколькими альтернативными ~~фукторами~~.		*''Составные домены'' позволяют рассматривать структуру информации как единую сущность. Составной домен состоит из имени (известного как функтор) и, возможно, аргументов. Можно определить домен с несколькими альтернативными функторами.
	*Функтор в Visual Prolog не есть то же, что функция в других языках программирования. '''''Функтор не вызывает никаких вычислений.''''' Это просто имя которое обозначает составной домен и объединяет его аргументы.		*Функтор в Visual Prolog не есть то же, что функция в других языках программирования. '''''Функтор не вызывает никаких вычислений.''''' Это просто имя которое обозначает составной домен и объединяет его аргументы.
	*Составные значения могут обрабатываться и рассматриваться как одиночные переменные; функторы используются для создания различия между различными типами составных значений. Visual Prolog позволяет строить многоуровневые структурированные значения; Аргументами составных доменов могут быть опять-таки составные значения. Используя декларации составных смешанных доменов, можно использовать предикаты, которые:		*Составные значения могут обрабатываться и рассматриваться как одиночные переменные; функторы используются для создания различия между различными типами составных значений. Visual Prolog позволяет строить многоуровневые структурированные значения; Аргументами составных доменов могут быть опять-таки составные значения. Используя декларации составных смешанных доменов, можно использовать предикаты, которые:
	**принимают аргументы нескольких различных типов (определяется объявлениями функторов).		**принимают аргументы нескольких различных типов (определяется объявлениями функторов).
	**принимают переменное число аргументов, каждый ~~определенного~~ типа (объявления списков).		**принимают переменное число аргументов, каждый определённого типа (объявления списков).
	**принимают переменное число аргументов, часть из которых могут иметь более одного типа.		**принимают переменное число аргументов, часть из которых могут иметь более одного типа.

SergeMukhin: /* Декларирование Составных Доменов */

2007-11-06T07:14:16Z

Декларирование Составных Доменов

← Предыдущая		Версия 09:14, 6 ноября 2007
Строка 234:		Строка 234:
	можно запрашивать систему с помощью следующей цели:		можно запрашивать систему с помощью следующей цели:
	<vip>owns("John", X)</vip>		<vip>owns("John", X)</vip>
	Переменная X может быть связана с различными типами данных - книгой, лошадью или возможно другим типом, который будет определен. Поскольку предикат owns теперь ~~определен~~, больше его нельзя использовать в смысле старого определения:		Переменная X может быть связана с различными типами данных - книгой, лошадью или возможно другим типом, который будет определен. Поскольку предикат owns теперь определён, больше его нельзя использовать в смысле старого определения:
	<vip>owns :(string, string).</vip>		<vip>owns :(string, string).</vip>
	Второй аргумент больше не относится к домену string. Вместо этого необходимо сформулировать новое определение предиката, такое как, например		Второй аргумент больше не относится к домену string. Вместо этого необходимо сформулировать новое определение предиката, такое как, например
Строка 246:		Строка 246:
	Точка с запятой здесь читаются как ''or (или)''. В нашем случае возможны две альтернативы: либо книга может быть определена своим названием и автором, либо лошадь определяется своим именем. Домены Title, Author и Name - все являются стандартными доменами string.		Точка с запятой здесь читаются как ''or (или)''. В нашем случае возможны две альтернативы: либо книга может быть определена своим названием и автором, либо лошадь определяется своим именем. Домены Title, Author и Name - все являются стандартными доменами string.

	Дополнительные альтернативы могут быть легко добавлены в декларацию домена. К примеру, articles мог бы включать лодку, дом, или банковский ~~счет~~. Для лодки, можно было бы использовать функтор без аргументов. С другой стороны, может возникнуть желание представлять баланс счета в качестве банковской записи. Тогда объявления домена articles расширяются до:		Дополнительные альтернативы могут быть легко добавлены в декларацию домена. К примеру, articles мог бы включать лодку, дом, или банковский счёт. Для лодки, можно было бы использовать функтор без аргументов. С другой стороны, может возникнуть желание представлять баланс счета в качестве банковской записи. Тогда объявления домена articles расширяются до:
	<vip>domains		<vip>domains
	articles =		articles =
Строка 281:		Строка 281:
	stdio::write("The end.").		stdio::write("The end.").
	</vip>		</vip>
	Загрузим теперь эту программу в IDE и запустим ее. Visual Prolog теперь ответит:		Загрузим теперь эту программу в IDE и запустим её. Visual Prolog теперь ответит:
	<vip>Thing: book("A friend of the family","Irwin Shaw")		<vip>Thing: book("A friend of the family","Irwin Shaw")
	Thing: horse("Blacky")		Thing: horse("Blacky")
Строка 301:		Строка 301:
	'''Примечания:'''		'''Примечания:'''
	*Алтернативы разделяются точкой с запятой.		*Алтернативы разделяются точкой с запятой.
	*Каждая ~~алттернатива~~ состоит из фуктора и, возможно, списка доменов для соответствующих аргументов.		*Каждая альтернатива состоит из фуктора и, возможно, списка доменов для соответствующих аргументов.
	*Если функтор не имеет аргументов, его можно записывать как alternativeN или alternativeN( ).		*Если функтор не имеет аргументов, его можно записывать как alternativeN или alternativeN( ).

Строка 309:		Строка 309:
	<vip>book("The Ugly Duckling", "Andersen").</vip>		<vip>book("The Ugly Duckling", "Andersen").</vip>

	вместо использования фамилии автора, можно было бы ~~использвать~~ новую структуру, детализирующую автора глубже, включая имя и фамилию автора. Дав название новому составному домену author, теперь можно поменять описание книги на		вместо использования фамилии автора, можно было бы использовать новую структуру, детализирующую автора глубже, включая имя и фамилию автора. Дав название новому составному домену author, теперь можно поменять описание книги на

	<vip>book("The Ugly Duckling", author("Hans Christian", "Andersen")).</vip>		<vip>book("The Ugly Duckling", author("Hans Christian", "Andersen")).</vip>

SergeMukhin в 07:13, 6 ноября 2007

2007-11-06T07:13:04Z

← Предыдущая		Версия 09:13, 6 ноября 2007
Строка 233:		Строка 233:
	<vip>owns("John", horse("Blacky")).</vip>		<vip>owns("John", horse("Blacky")).</vip>
	можно запрашивать систему с помощью следующей цели:		можно запрашивать систему с помощью следующей цели:
	<vip>owns("John", X))</vip>		<vip>owns("John", X)</vip>
	Переменная X может быть связана с различными типами данных - книгой, лошадью или возможно другим типом, который будет определен. Поскольку предикат owns теперь определен, больше его нельзя использовать в смысле старого определения:		Переменная X может быть связана с различными типами данных - книгой, лошадью или возможно другим типом, который будет определен. Поскольку предикат owns теперь определен, больше его нельзя использовать в смысле старого определения:
	<vip>owns :(string, string).</vip>		<vip>owns :(string, string).</vip>
Строка 240:		Строка 240:
	Вы можете теперь описать домен articles в секции domains как показано здесь:		Вы можете теперь описать домен articles в секции domains как показано здесь:
	<vip>domains		<vip>domains
	articles =		articles =
	book(string Title, string Author);		book(string Title, string Author);
	horse(string Name).		horse(string Name).
	/* Articles - это книги или лошади */</vip>		/* Articles - это книги или лошади */</vip>
	Точка с запятой здесь читаются как ''or (или)''. В нашем случае возможны две альтернативы: либо книга может быть определена своим названием и автором, либо лошадь определяется своим именем. Домены Title, Author и Name - все являются стандартными доменами string.		Точка с запятой здесь читаются как ''or (или)''. В нашем случае возможны две альтернативы: либо книга может быть определена своим названием и автором, либо лошадь определяется своим именем. Домены Title, Author и Name - все являются стандартными доменами string.
Строка 248:		Строка 248:
	Дополнительные альтернативы могут быть легко добавлены в декларацию домена. К примеру, articles мог бы включать лодку, дом, или банковский счет. Для лодки, можно было бы использовать функтор без аргументов. С другой стороны, может возникнуть желание представлять баланс счета в качестве банковской записи. Тогда объявления домена articles расширяются до:		Дополнительные альтернативы могут быть легко добавлены в декларацию домена. К примеру, articles мог бы включать лодку, дом, или банковский счет. Для лодки, можно было бы использовать функтор без аргументов. С другой стороны, может возникнуть желание представлять баланс счета в качестве банковской записи. Тогда объявления домена articles расширяются до:
	<vip>domains		<vip>domains
	articles =		articles =
	book(string Title, string Author);		book(string Title, string Author);
	horse(string Name);		horse(string Name);
	boat;		boat;
	bankbook(real Balance).</vip>		bankbook(real Balance).</vip>
	Далее приведена полная программа, которая показывает как составной домен articles может быть использован в определениях предиката owns.		Далее приведена полная программа, которая показывает как составной домен articles может быть использован в определениях предиката owns.
	<vip>class my		<vip>class my
Строка 286:		Строка 286:
	Thing: boat()		Thing: boat()
	Thing: bankbook(1000)		Thing: bankbook(1000)
	The end.		The end.</vip>
	</vip>

	==Итак: правила объявлений==		==Итак: правила объявлений==

Victor Yukhtenko: /* Ссылки */

2007-11-01T12:44:26Z

Ссылки

← Предыдущая		Версия 14:44, 1 ноября 2007
Строка 459:		Строка 459:
	[[en:Compound and List Domains]]		[[en:Compound and List Domains]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]
			[[Категория:VipLanguage]]

Victor Yukhtenko: «Cоставные Домены и Списки» переименована в «Составные Домены и Списки»

2007-10-29T09:21:11Z

«Cоставные Домены и Списки» переименована в «Составные Домены и Списки»

← Предыдущая	Версия 11:21, 29 октября 2007
(нет различий)

Victor Yukhtenko: /* Декларирование Составных Доменов */

2007-10-22T12:15:39Z

Декларирование Составных Доменов

← Предыдущая		Версия 14:15, 22 октября 2007
Строка 225:		Строка 225:
	*'''''Откат всегда распространяется вверх до ближайшего недетерминированного вызова и пытается передоказать вызов.''''' В нашей программе последним недетерминированным вызовом является вызов phone_list. Именно здесь программа выбирает следующего человека для обработки. Если людей в списке (в базе данных) больше нет, то текущая клауза завершается неуспешно (fails); Visual Prolog теперь пытается доказать эту цель путем просмотра быза правил ниже. Поскольку есть еще одна клауза, определяющая get_months_birthdays, Visual Prolog пытается доказать обращение к get_months_birthdays путем доказательства подцелей этой другой части клаузы.		*'''''Откат всегда распространяется вверх до ближайшего недетерминированного вызова и пытается передоказать вызов.''''' В нашей программе последним недетерминированным вызовом является вызов phone_list. Именно здесь программа выбирает следующего человека для обработки. Если людей в списке (в базе данных) больше нет, то текущая клауза завершается неуспешно (fails); Visual Prolog теперь пытается доказать эту цель путем просмотра быза правил ниже. Поскольку есть еще одна клауза, определяющая get_months_birthdays, Visual Prolog пытается доказать обращение к get_months_birthdays путем доказательства подцелей этой другой части клаузы.

	==Декларирование Составных Доменов==		=Декларирование Составных Доменов=

	В этом разделе мы покажем как определяются составные домены. После компиляции программы, содержащей следующие отношения:		В этом разделе мы покажем как определяются составные домены. После компиляции программы, содержащей следующие отношения:
Строка 289:		Строка 289:
	</vip>		</vip>

	~~'''~~Итак: правила объявлений~~'''~~		==Итак: правила объявлений==

	Дадим теперь общее представление способа записи объявлений составных доменов:		Дадим теперь общее представление способа записи объявлений составных доменов:

Victor Yukhtenko: /* Многоуровневые Составные Домены */

2007-10-22T12:14:33Z

Многоуровневые Составные Домены

← Предыдущая		Версия 14:14, 22 октября 2007
Строка 305:		Строка 305:
	*Если функтор не имеет аргументов, его можно записывать как alternativeN или alternativeN( ).		*Если функтор не имеет аргументов, его можно записывать как alternativeN или alternativeN( ).

	=Многоуровневые Составные Домены=		==Многоуровневые Составные Домены==
	Visual Prolog позволяет организовывать многоуровневые составные домены. Например, в		Visual Prolog позволяет организовывать многоуровневые составные домены. Например, в

Victor Yukhtenko: /* Объявления Составных Смешанных Доменов */

2007-10-22T12:12:48Z

Объявления Составных Смешанных Доменов

← Предыдущая		Версия 14:12, 22 октября 2007
Строка 345:		Строка 345:
	book = book(string Title, author(string First_name, string Last_name)).</vip>		book = book(string Title, author(string First_name, string Last_name)).</vip>

	==Объявления Составных Смешанных Доменов==		=Объявления Составных Смешанных Доменов=

	Давайте обсудим три различных объявления доменов, которые можно включать в программы. Эти декларации позволяют использовать предикаты, которые		Давайте обсудим три различных объявления доменов, которые можно включать в программы. Эти декларации позволяют использовать предикаты, которые
Строка 353:		Строка 353:
	*принимают переменное число аргументов, каждый из которых может иметь более одного типа		*принимают переменное число аргументов, каждый из которых может иметь более одного типа

	===Аргументы множественных типов===		==Аргументы множественных типов==

	Для того, чтобы предикат в Visual Prolog допускал использование аргументов различного типа, необходимо использовать функторные объявления. Следующий пример, клауза your_age clause будет воспринимать аргументы типа age, которые могут иметь тип string, real или integer.		Для того, чтобы предикат в Visual Prolog допускал использование аргументов различного типа, необходимо использовать функторные объявления. Следующий пример, клауза your_age clause будет воспринимать аргументы типа age, которые могут иметь тип string, real или integer.
Строка 373:		Строка 373:
	age = integer; real; string.</vip>		age = integer; real; string.</vip>

	===Списки===		==Списки==

	Предположим, мы обрабатываем данные о предметах, которые может преподавать учитель. Код может выглядеть так:		Предположим, мы обрабатываем данные о предметах, которые может преподавать учитель. Код может выглядеть так:

Victor Yukhtenko: /* Ссылки */

2007-10-22T12:11:25Z

Ссылки

← Предыдущая		Версия 14:11, 22 октября 2007
Строка 456:		Строка 456:
	**принимают переменное число аргументов, часть из которых могут иметь более одного типа.		**принимают переменное число аргументов, часть из которых могут иметь более одного типа.

	==Ссылки==		=Ссылки=
	[[en:Compound and List Domains]]		[[en:Compound and List Domains]]
	[[Категория:VipРуководства]]		[[Категория:VipРуководства]]

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

2007-10-22T12:05:50Z

Заключение

← Предыдущая		Версия 14:05, 22 октября 2007
Строка 443:		Строка 443:
	)).</vip>		)).</vip>

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

	В этом руководстве были рассмотрены важные понятия:		В этом руководстве были рассмотрены важные понятия: