Язык программирования PROLOG

Общие положения

 

PROLOG (Пролог) – язык программирования, созданный специально для работы с базами знаний, основанными на фактах и правилах. В языке Пролог реализован механизм возврата для выполнения обратной цепочки рассуждений (от целей к фактам). При этом вначале предполагается, что некоторые выводы или заключения верны, а затем эти предположения проверяются. Если предположение не подтверждается, выполняется возврат в исходную точку (точка возврата - ТВ) и выдвигается новое предположение. Находятся все возможные решения. При необходимости число вариантов ответа ограничивается средствами языка.

 

0⁰. = =0, = =0. Из исходных данных ()=1 (числитель первого элемента множества ), ()=0 (то же для ). В этом случае > и (, )= () ()=1 0=0.

1^0. = =0, = =1; ()=1, ()=0; (, )=0.

2⁰. = =0, = =2; ()=1, ()=0.2; (, )=0.2

и т. д.

0¹. = =1, = =0; ()=0.8, ()=0; (, )=0 и

т. д.

Значения для всех пар (, ) сведем в таблицу отношения ( (), ()) – табл.10.2.

 

Таблица 10.2. Значения ( (), ())

 

			0.2	0.4	0.8		0.8	0.4	0.2
			0.2	0.4		0.2		0.4	0.2
			0.2	0.4	0.4	0.4	0.4	0.4	0.2
			0.2		0.6	0.6	0.6		0.2
				0.8	0.8	0.8	0.8	0.8

 

Предпосылка Пр2 есть ( ())= . Тогда следствие ( ())= = ( (), ())= [ ()Ù ( () ())]/ = [ ()Ù

Ù (, )]/ , где [ ()Ù (, )]= (). По аналогии с предыдущим алгоритмом имеем:

0⁰. = =0, = =0; ()=1, (, )=0. В этом случае

()Ù (, )=1Ù 0=0= .

X=виктор, Y=даша

X=владимир, Y=виктор

X=владимир, Y=сергей.

На запрос отец(виктор, Y) Пролог отвечает:

Y=таня

Y=оля

Y=даша.

На вопрос отец(виктор, владимир) Пролог отвечает:

False.