Prolog est un puissant langage de programmation avec des applications à la pointe de la recherche scientifique . Il a été développé en France par les chercheurs intéressés par traduction automatique entre les langues naturelles. Il a ensuite été affinée en Ecosse par des mathématiciens intéressés par les programmes informatiques qui prouvent automatiquement théorèmes mathématiques . Il a ensuite été choisi par le japonais pour langue officielle de la Cinquième projet d' Intelligence Artificielle de génération . Natural Language Translation

utilisant Prolog consiste à écrire une série d' énoncés qui décrivent les connaissances dans un certain domaine restreint et ensuite poser des questions sur ce domaine. Prolog cherche automatiquement à travers les déclarations et est livré avec toutes les réponses possibles qui sont compatibles avec la série de déclarations . Si les états sont les définitions et les règles de grammaire , Prolog peut prendre une phrase de candidat et de décider s'il s'agit d'une sentence valable en ce qui concerne les définitions et les règles de la langue. Un programme légèrement plus sophistiqué , on obtiendra une traduction de la phrase si elle est valide .
Démonstration automatique

Si la base de données des comptes se compose de relations mathématiques au lieu de grammaticale ceux , vous pouvez jeter un théorème comme une question et le système de Prolog répondent par un «oui» ou «non» selon que le théorème est compatible avec la base de faits et de règles. Voici une déclaration est conforme à un ensemble de règles et de faits est le même que l'essai d'un théorème mathématique ou logique proposée pour voir qu'il est valide. Prolog comprend ni les mathématiques , ni logique - . Elle ne comprend cohérence
Data Mining

Prolog , de par sa nature , met en place une base de données . En raison de la façon dont les expressions Prolog contiennent des variables , une question à propos de la base de données peut renvoyer des valeurs souhaitées. Par exemple, le " Bigger_than_a_breadbox (X) " de la requête retourne un "non" si rien dans la base de données est plus grand qu'une boîte à pain . Si quelque chose est , Prolog retournera " oui " ainsi qu'une liste de toutes les choses dans la base de données qui ont causé un «match ». Il y aura une liste comme : . X = Godzilla , X = L'Empire State Building , X = A Volkswagen et ainsi de suite , en fonction du contenu de la base de données
Robotics

robots doivent constamment se poser la même question: «Que dois- je faire maintenant? " La base de données qui est utilisée pour répondre à cette question provient de trois sources : les capteurs , de la mémoire et des commandes provenant d'êtres humains . La question reste la même , mais la base de données qui est utilisée pour répondre à la question change constamment . Un des avantages de l'utilisation prologue avec un robot , c'est que plusieurs prologues peuvent fonctionner en même temps sur la même base de données. Les yeux peuvent courir un prologue tandis que les jambes courent un autre prologue , sans aucune interférence , ni comme des modifications de la base de données.