1) Hogere programmeertaal 2) Programmeertaal 3) Computerprogrammeertaal 4) Computertaal 
'Prolog' (uit het Frans 'pro'grammation en 'log'ique', 'programmeren met logica') is een logische programmeertaal. Prolog werd oorspronkelijk in 1971-72 ontworpen door Alain Colmerauer en zijn vakgroep aan de Universiteit van Marseille (Frankrijk).