Prolog
- PrologProlog
Es el lenguaje declarativo más utilizado en aplicaciones de Inteligencia Artificial en Europa y Japón. Un programa en Prolog no es más que un conjunto de claúsulas de Horn que representan hechos y reglas. El corte de una parte inexplorada de un árbol de búsqueda Prolog, puede usarse para implementar una forma de negación, algo que las claúsulas de Horn no pueden hacer. La ejecución de un programa se sustituye por la realización de una pregunta o consulta sobre los objetos y sus relaciones. El intérprete o compilador intenta entonces contestar esta consulta construyendo un árbol de búsqueda.
Existen tres dialectos diferentes: el original de Marsella, el de la Universidad de Edimburgo en Escocia y el del Imperial College de Londres. Actualmente se considera como estándar el Prolog de Edimburgo.
La versión del Hola Mundo en Prolog:
hello_world :-
write("Hello, World!"), nl.
- Artificial IntelligenceAI
- Kowalski, RobertEstados Unidos, 1941 -
- logic programmingprogramación lógica
- programming languagelenguaje de programación
- PrologProgramation Logique
- 1972
- Desarrollo del lenguaje Prolog por Alain Colmerauer y Philippe Roussel en la Universidad de Marsella (Francia).