Prolog...

Olá povo, Baixei uma apostila de Lógica de programação, daí entro do .zip ten vários documentos do Word, e neles falam sobre um tal de prolog, que até eu entendi é uma linguagem e tal importantíssima para as novas linguagens ( 1994 em diante)daí a dúvida: Tô lendo a coisa certa?vlw!