Вопросы по прологу

[andreystyle]

Есть такое задание. Из него хоть что то надобно на тройку сделать... То есть хотя бы на поверхностном уровне... Может у кого есть или шпаргалки или ответы на подобное задания?
Всем спасибо!



Основы логического программирования

Контрольная работа

Тема 1. Логические операции

Задание 1. Используя язык программирования Пролог определить для каждой формулы к какому типу логической формы они относится (общезначимая, противоречивая, необщезначимая, непротиворечивая, выполнимая):

(a) ~(~P) -> P

(b) P -> (P & Q)

(c) ~(P V Q) V ~Q

(d) (P V Q) -> P

(e) (P -> Q) -> (~Q -> ~P)

(f) (P -> Q) -> (Q -> P)

(g) P V (P -> Q)

(h) (P & (Q -> P)) -> P

(i) P V (Q -> ~P)

(j) (P V ~Q) & (~P V Q)

(k) ~P & ( ~(P -> Q))

(l) P -> ~P

(m) ~P -> P

Для решения задания необходимо составить программу на языке программирования Пролог. Можно воспользоваться следующим текстом:

not_(1,0).

not_(0,1).

and_(1,1,1).

and_(1,0,0).

and_(0,1,0).

and_(0,0,0).

or_(1,1,1).

or_(1,0,0).

or_(0,1,0).

or_(0,0,0).

imp_(X,Y,Z):-not_(X,Q),or_(Q,Y,Z).



Тема 2. Операции со списками

Составить программу на языке Пролог:

Задание 1. Подсчет количества элементов списка

Задание 2. Проверка наличия элемента в списке

Задание 3. Вставка элемента в список: в начало; в конец списка; в произвольное место списка (по порядковому номеру; по ключевому значению)



Задание 4. Объединения списков

Задание 5. Проверка вхождения подсписка в список

Задание 6. Сортировка списка



Тема 3. Операции с файлами

Задание 7. Чтение текстовых строк файла и формирование списка лексем(токенов) предложений.

Задание 8. Поиск предложений по заданным фразам.