-Creado por Alain Colmerauer y Philippe Roussel -Paradigma lógico y declarativo Factor/Jure: Jure -Su aplicación principal es en Inteligencia artificial, procesamiento de lenguaje natural, sistemas expertos, representación del conocimiento. - Prolog es Jure, es decir se basa en normas y estándares definidos formalmente para su uso, que están definidas por estándares internacionales, como ISO Prolog, que establecen las reglas para la sintaxis y el comportamiento del lenguaje.