Программирование на языке Пролог для искусственного интеллекта


         

не работает( Прибор)



                                    вкл( Прибор) и

                                    прибор( Прибор) и

                % Конкретизация

                                    не работает( Прибор) и

                                    соед( Прибор, Предохр) и

                                    доказано( цел( Предохр) )

                            то

                                    доказано( неиспр( Прибор) ).


Здесь условие

        прибор( Прибор)

"защищает" следующее за ним условие

        не работает( Прибор)

от неконкретизированной переменной.


Содержание  Назад  Вперед