В книге рассматриваются математические основы логического программирования, история, идеи и методы этого направления науки, его применение в задачах искусственного интеллекта и экспертных системах.
Логическое программирование и Visual Prolog (+CD). / Лихачев: BHV-Санкт-Петербург.
|