Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

5) некоторые не В суть не А. Ни одно не В не есть С. Следовательно, неко­ торые не А суть не В. 34. Запишите на языке ПРОЛОГ следующие предложения: а) Петров любит играть в футбол. 6) Джордж любит Мэри. в) Кто-то любит Эни. г) Мэри любит всякого, кто восхищается ей. д) Джордж ревнует ко всякому, кто нравится Мэри. е) Джордж опасается тех, кто выше его и сильнее его. (Решение для варианта а): любит играть(петров, футбол), для варианта в):любит(Х,мэри)). 35. В ПРОЛОГ-программе строковые домены записываются строчными буквами, например: родитель (том, лиз). здесь имена записаны строчными буквами. Если записать эти имена в ка­ вычках, то можно их записывать естественным образом заглавными буквами. Пусть задана ПРОЛОГ-программа, описывающая знания языков программиро­ вания и сред программирования, группой студентов: domains person, language = string predicates student (person, language) clauses student («Аксёнова», «С++»). student («Аминов», «Visual С++»). student («Викторов», «Borland С++ Builder »). student ( «Головко», «Lisp»). student ( «Иванов», «Visual Prolog»). student ( «Иванова», «Prolog»). student ( «Сидоров», «Delphi»). student ( «Иванов», «Borland С++ Builder »). student ( «Исхаков», «С++»). student («Сидоров», «С»). student («Петров», «Lisp»). student ( «Хасанов», «Java»). Сформулировать цели для получения ответов на следующие запросы: а) показать все языки, на которых программирует Сидоров; б) выяснить, умеет ли Хасанов программировать на языке Java; в) указать всех студентов, владеющих языком С++; г) указать все языки, которыми владеет данная группа (при выводе ре­ зультатов, допускаются повторения. 96