Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Вариант 9

2013-05-28 11:34:12 (читать в оригинале)

Вариант 9 1. Напишите предикат p(+V, -L) — истинный тогда и только тогда, когда список L получается из списка V после удаления всех повторяющихся элементов, т. е. из списка получается множество. 2. Напишите предикат exists(+P, +L), который проверяет «Существует ли элемент списка L, удовлетворяющий предикату P?» 3. Напишите программу вычисления целочисленного квадратного корня из натурального [...]

---

Логические задачи

2013-05-28 11:32:04 (читать в оригинале)

Второе контрольное задание. Второе контрольное задание состоит из двух задач. Вам надо запро-граммировать на Прологе решение логической задачи и создать экспертную систему. Каким образом можно создавать экспертные системы на Прологе вы прочитаете в 3 разделе. Там же формулируется точно задача, что вам необходимо сделать. Если вы хотите открыть свой салон красоты то приобрести оборудование можно [...]

---

Миссионеры и людоеды

2013-05-28 11:30:59 (читать в оригинале)

Миссионеры и людоеды Три миссионера и три людоеда находятся по одну сторону реки, через которую они хотят переправиться. В их распоряжении имеется лодка, которая может выдержать вес только двух человек. Кроме того, если в какой-то момент число людоедов станет больше числа миссионеров, миссионеры будут съедены независимо от того, на каком берегу реки это случится. Указания [...]

---

Задача об обезьяне и банане

2013-05-28 11:30:16 (читать в оригинале)

Задача об обезьяне и банане Возле двери комнаты стоит обезьяна. В середине этой комнаты к по-толку подвешен банан. Обезьяна голодна и хочет съесть банан, однако она не может дотянуться до него, находясь на полу. Около окна этой же комнаты на полу лежит ящик, которым обезьяна может воспользоваться. Обезьяна может предпринимать следующие действия: ходить по полу, [...]

---

программа 1

2013-05-27 08:51:27 (читать в оригинале)

Интерпретатору соответствует следующее декларативное толкование. Константа true является истинной. Конъюнкция (A,B) истинна, если истинна цель A и истинна цель B. Цель A истинна, если в интерпретируемой программе существует предложение A :- B , такое, что цель B истинна. Теперь дадим процедурное толкование этим трем предложениям программы 1. Факт solve устанавливает, что пустая цель, представленная в [...]