Prolog es el más popular de los lenguajes declarativos. Estos se caracterizan porque en ellos se le indica al ordenador qué es lo que se quiere que haga, pero no cómo se quiere que lo haga. Sin embargo, y por ahora, su uso está