Логическое программирование

ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр. (Год выпуска не указан). Конспект лекций (восстановлен из текстового файла). Презентации к курсу лекций (1400 слайдов). Натуральный вывод (сводный файл). Секвенциальное исчисление (сводный файл). Материалы к экзамену. Программные материалы к курсу лекций.

УГАТУ, УТС, 3 курс, преподаватель- Хасанов А. Ю. Задание 1: Определить предикат потомки мужского пола и найти всех потомков мужского пола и потомков мужского пола конкретного лица. Задание 2: Заданы 2 круга. Один с центром в (х1, у1) и радиусом r1, и другой соответственно (х2,у2) и r 2. Определить взаимное расположение кругов.

Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOG

УГАТУ, УТС, 3 курс, преподаватель- Хасанов А. Ю. Задание: сформировать список L1 из всех упорядоченных по убыванию подсписков списка L (без дублирования).