L'originalité de Prolog réside dans l'utilisation de la logique comme langage de programmation. Introduit de nouveaux concepts et de nouvelles habitudes de programmation.