Cтраница 3
Пролог - язык программирования, в котором решения компьютерных задач выражаются с помощью фактов, представляющих отношения между объектами, и правил, специфицирующих выводимые из фактов следствия. Механизмы представления знаний об объектах и отношениях в Прологе являются одновременно и высокоуровневыми и многоцелевыми. Это дает программисту два существенных преимущества. Первое, весьма ощутимое преимущество состоит в том, что программист освобождается от необходимости вникать в организацию физической памяти, отводимой для данных, которыми манипулирует программа. Второе преимущество состоит в той легкости, с которой в этом языке могут быть выражены сущности и отношения из самых различных областей человеческой деятельности. Многие из этих задач принадлежат к существующей и расширяющейся области искусственного интеллекта, в которой условия задач зачастую бывают не определены или едва обозначены, а для самих задач характерны возможность их развития и углубления, а также отсутствие четких критериев вывода. Всегда считалось, что такие задачи) как построение универсального решателя задач, понимание естественного языка, проведение и использование экспертизы, находятся в трудноформализуемых областях человеческого интеллекта. Поэтому попытки программирования таких задач следует считать своего рода вызовом. [31]