Prolog (programmation en logique ) est un langage de programmation qui a été développé en France pour utilisation en traduction du langage naturel. Le langage naturel est ce que les programmeurs appellent langues comme le français et l'allemand. Prolog a été affinée par des informaticiens en Ecosse pour une utilisation en tant que démonstrateur automatique , ce qui prouve théorèmes mathématiques et logiques. Les Japonais ont choisi Prolog à utiliser dans des projets Intelligence Artificielle (IA ) . Cette langue internationale est incroyablement flexible. Instructions
1

utilisation Prolog comme il est destiné à être utilisé . Langages comme Ruby et C + + indiquent à l'ordinateur ce qu'il faut faire . La programmation en Prolog consiste à créer une base de données de faits et de règles qui décrivent un univers de discours. L'utilisateur soumet alors une question et Prolog répond à la question sur la base des faits et des règles dans la base de données . Cette procédure de questions-réponses est assez flexible. Par exemple, la question peut être un théorème mathématique et la réponse indique si elle est vraie ou fausse , ou la question peut être une phrase en japonais et la réponse est la traduction en français .
2

savoir la structure de clauses de Horn - c'est la clé de représenter des faits et des règles dans la base de Prolog «programme». Une représentation de la clause de la Corne de l' un fait est tout simplement une déclaration de fait suivie d'une période . La représentation de la clause de Horn d'une règle est une conclusion, suivie par l' ": -" . Symbole, suivie d'une série de conditions , suivie d'une période

Le fait que le ciel est bleu pourrait être écrit en Prolog comme "Blue (ciel ) . " La règle selon laquelle le ciel est bleu si c'est le jour et non précipitation est de "Blue (ciel ): - . Temps (jour), Raining (non ) "

le prologue «programme» se compose d'une base de faits et des règles . Si vous faites le traitement du langage , ce sera le mot définitions et les règles de grammaire. Si vous construisez un système logique ou mathématique , le «programme» seront les axiomes du système.
3

travail à travers plusieurs exemples de Prolog . Imaginez que vous êtes l'ordinateur et qu'il existe une base de données simple, puis prenez une question et passer par les étapes qui Prolog passerait par répondre à la question . Il n'ya pas de voie plus rapide pour comprendre Prolog et apprendre à être un bon programmeur Prolog , selon Clocksin et Mellish , qui a littéralement écrit le livre sur la programmation de Prolog .