Prolog
¿Que es la programacion logíca?
La programación lógica difiere significativamente de
la programación imperativa y orientada a objetos. Los problemas no se resuelven
aquí con la ayuda de algoritmos que dictan paso a paso cómo llegar a la
solución. En cambio, se de comprender el problema con la ayuda de la lógica de
predicados de tal manera que un "intérprete lógico" pueda generar la
solución a partir de la descripción del problema.
La programación lógica rara vez se encuentra en
aplicaciones prácticas. Pero tal vez aún desee adoptar un enfoque completamente
diferente para la resolución automática de problemas. A continuación, puede
aprender a automatizar el razonamiento lógico.
