Prolog

Пролог (PROLOG, от PROgramming in LOGic, — програмиране в логиката) е разработен през 1972 година от Алан Колмар от университета в Лумини (Марсилия) и може да служи като пример за непроцедурен език. При работа с него програмиста не извършва описание на алгоритъма стъпка по стъпка — той достатъчно просто определя множество факти и установява отношения между тях. С помощта на тези отношения процедурите, вече вградени в езика, правят логически изводи за това. Тази особеност прави Пролог много удобен за написване на «експертни системи».