Проектирование БД на языке пролог.