Programación utilizando Visual Prolog 6.0

- Prolog es el resultado de muchos años de trabajo de la investigación
La versión oficial de Prolog se desarrolló en la Universidad de Marsella, Francia por Alain Colmerauer en los tempranos 1970s como una herramienta para Programación en la Lógica
El resultado fue el desarrollo de un nuevo paradigma de programación
Existen varias versiones o dialectos comerciales de Prolog: desde Turbo Prolog de Borland y el Arity Prolog hasta el PDC Visual Prolog
El Prolog se ha ido en general de los laboratorios de las inteligencias artificiales, y el Visual Prolog de PDC es un competidor comercialmente, el ambiente de desarrollo de uso general
Visual Prolog se ha vuelto la herramienta de opción cada vez más para muchos diseñadores, debido a los rasgos inteligentes que pueden agregarse así fácilmente los programas o incluso los sitios Web
Prolog es lo que se conoce como un idioma declaratorio
Esto significa que dado los hechos necesarios y reglas, Prolog usará el razonamiento deductivo para resolver sus problemas de la programación
Esto está en contraste con los idiomas de la computadora tradicionales, como el C, Básic y Pascal que son los idiomas procedurales
En un idioma procedural, el programador debe proporcionar instrucciones que dicen exactamente a la computadora cómo resolver un problema dado paso a paso
En otros términos, el programador debe saber resolver el problema antes de que la computadora pueda hacerlo
El programador de Prolog, por otro lado, sólo necesita proporcionar una descripción del problema y aterrizar las reglas para resolverlo
De allí, Prolog determina cómo encontrar una solución.