Prolog - Quiero saber que es PROLOG ?

Hola, espero que me puedan decir que es esto.
a mi se me inmagina que es un lenguaje de alto nivel que funiona a base de logica booliana (para aplicarla en algebra, o en ctos. digitales).

Podria alguien explicarme, y donde poder conseguirlo gratis

Gracias !!!!

Prolog es un lenguaje de programación lógica.
La programación lógica es un paradigma de los lenguajes de programación en el cual los programas se consideran como una serie de aserciones lógicas. De esta forma, el conocimiento se representa mediante reglas, tratándose de sistemas declarativos. (http://members.es.tripod.de/ncabanes/IntroProlog.html)

Un saludo

soi un novato en apuros y mañana tengo un examen q me juego la vida