Применение логических языков программирования для решения задач искусственного интеллекта : учеб. поосбие