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




Упражнения - часть 2


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

% Если устройство работает, то его предохранитель цел

        правило_цел_предохр:
                                        если
                                                соед( Прибор, Предохр)
                                                и работает( Прибор)
                                        то
                                                доказано( цел( Предохр) ).




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