Подходит ли Пролог для разработки систем автоматического доказательства теорем?
Подходит ли Пролог для проведения больших объемов вычислений?
В основу проекта ЭВМ какого поколения был положен Пролог?
В случае наличия в программе раздела внутренней цели Турбо Пролог находит:
Как правило, время разработки программы на Прологе по сравнению со временем разработки программы на императивном языке: