Язык программирования PROLOG
Общие положения
PROLOG (Пролог) – язык программирования, созданный специально для работы с базами знаний, основанными на фактах и правилах. В языке Пролог реализован механизм возврата для выполнения обратной цепочки рассуждений (от целей к фактам). При этом вначале предполагается, что некоторые выводы или заключения верны, а затем эти предположения проверяются. Если предположение не подтверждается, выполняется возврат в исходную точку (точка возврата - ТВ) и выдвигается новое предположение. Находятся все возможные решения. При необходимости число вариантов ответа ограничивается средствами языка.
10. = =0, = =1; ()=1, ()=0; (, )=0. 20. = =0, = =2; ()=1, ()=0.2; (, )=0.2 и т. д. 01. = =1, = =0; ()=0.8, ()=0; (, )=0 и т. д. Значения для всех пар (, ) сведем в таблицу отношения ( (), ()) – табл.10.2.
Таблица 10.2. Значения ( (), ())
Предпосылка Пр2 есть ( ())= . Тогда следствие ( ())= = ( (), ())= [ ()Ù ( () ())]/ = [ ()Ù Ù (, )]/ , где [ ()Ù (, )]= (). По аналогии с предыдущим алгоритмом имеем: 00. = =0, = =0; ()=1, (, )=0. В этом случае ()Ù (, )=1Ù 0=0= . X=владимир, Y=виктор X=владимир, Y=сергей. На запрос отец(виктор, Y) Пролог отвечает: Y=таня Y=оля Y=даша. На вопрос отец(виктор, владимир) Пролог отвечает: False.
|