Prolog

Antecedentes de prolog
 
Alain Coulmerauer (1970) desarrolló un lenguaje para hacer deducciones de texto. Se aplica un mecanismo de resolución sobre predicados especiales, cláusulas de Horn,llamado unificación. La difusión del lenguaje se produce en los 80, pero de forma muy limitada debido a la falta de aplicaciones en dicho lenguaje. 
El Prolog estuvo un tiempo diseñado para ejecutarse enminicomputadoras o estaciones de trabajo, actualmente hay versiones en Prolog que pueden instalarse en computadores personales como IBM-PC y PC-Compatibles.
Un programa escrito en PROLOG puro, es unconjunto de clausulas.
Sin embargo, PROLOG, como lenguaje de programación moderno, incorpora
mas cosas, como instrucciones de Entrada/Salida, etc.

+ Estructura de prolog
 
Un programa Prologestá formado por una secuencia de enunciados: hechos, reglas y comentarios.
Una relación puede estar especificada por hechos, simplemente estableciendo objetos que satisfacen la relación o porreglas establecidas acerca de la relación.
Cada regla está formada por un primer miembro (o la cabeza de la regla), un segundo miembro (o cola de la regla) ligados por " :- " y termina con el carácter " .".
código del programa
** Hechos **
mujer(maria).
hombre(pedro).
hombre(manuel).
hombre(arturo).
** Relaciones **
padre(pedro,manuel).
padre(pedro,arturo).
padre(pedro,maria).
** Reglas **nino(X,Y):- padre(Y,X)
hijo(X,Y):-nino(X,Y),hombre(X).
hija(X,Y):-nino(X,Y),mujer(X).
hermano_o_hermana(X,Y):-padre(Z,X),padre(Z,Y).
hermano(X,Y):-hermano_o_hermana(X,Y),hombre(X).hermana(X,Y):-hermano_o_hermana(X,Y),mujer(X).
 
+ Categoría de lenguajes de programación(en donde entra prolog)
 
PROLOG va bien para problemas de relaciones, p.e. Tratamiento del lenguaje natural, yconsulta de bases de datos. 
A pesar de que es posible desarrollar programas sin especificar el algoritmo de resolución a veces hay que echar mano de otro tipo de programación para hacer los programas más...