Метапрограммирование. Вывод с ограничением по глубине (в ширину). Трассировка запросов. Искусственный интеллект. Человек как система обработки данных. Системы, основанные на знаниях. Представление знаний. Пролог как язык искусственного интеллекта.