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

36. Представьте в виде ПРОЛОГ-прграммы базу данных всех южноамери­ канских стран вместе с их столицами. Сформулируйте подходящие запросы, позволяющие определять столицу заданной страны или страну, имеющей сто­ лицей заданный город. 37. Задана ПРОЛОГ-программа, в которой, для студентов указаны их адре­ са и годы рождения: domains person, address = string year = integer predicates student (person, address, year) clauses student («Аксёнова», «Пушкина 12 кв. 5», 1991). student («Аминов», «Гоголя 8 кв. 21», 1992). student («Викторов», «Кремлевская 7 кв. 12», 1990). student («Головко», «Восстания 53 кв. 8», 1992). student («Иванов», «Солнечная 123 кв. 11», 1993). student («Иванов», «Лесная 12 кв. 5», 1991). student («Сидоров», «Ягодная 25 кв. 9», 1992). student («Иванова», «Южная 8 кв. 23», 1991). goal student («Иванов», X, 1991) start. 1. Определите, что выдаст эта программа. 2. Сформулируй цели: а) для выяснения кто из студентов живет по адресу «Лесная 12 кв. 5»; б) для выяснения фамилий студентов 1992 года рождения. 38. Рассмотрим следующую трапецию. Требуется показать для этой конкретной трапеции, что накрест лежащие углы, образованные диагональю трапеции равны. Для этого введем предикаты и предложения, аксиоматизирующие свойства любых трапеций (эти свойства могут быть введены в систему ранее, но, например, нам не известны). Пусть даны следующие предикаты: T{x,y,u,v) - «xyuv - это трапеция, в которой стороны ху и vu параллельны друг другу, ах, у, м и v - соответственно верхняя левая, верхняя правая, нижняя правая и нижняя левая вершины трапеции»; P{x,y,u,v) - «отрезки ху и т параллельны»; а b 91