Prolog ( Programmation en Logique ) est un langage de programmation unique. Il a été développé en France par des chercheurs qui se sont intéressés à la traduction automatique du langage naturel. Il a été perfectionné en Ecosse par des chercheurs qui se sont intéressés à démonstrateurs automatiques automatiques. Il est venu à l'attention du monde lorsque les Japonais ont choisi comme langue de base pour leur projet " cinquième génération " d'Intelligence Artificielle (AI ) . Il ya beaucoup de bonnes raisons d'utiliser Prolog . Utiliser Prolog

Une des meilleures raisons d'utiliser Prolog est que vous n'avez pas à indiquer à l'ordinateur comment résoudre un problème --- vous avez juste à donner à l'ordinateur des règles inhérentes à la résolution du problème . Programmes Prolog se composent d'un bien commandé un ensemble de règles qui ressemblent à ceci : Si X et Y et Z puis W. Cet ensemble de règles pourraient être les règles de grammaire ( si vous travaillez sur les langues naturelles ) ou des règles relatives aux mathématiques ( si vous travaillez sur les démonstrateurs automatiques automatiques) ou des règles concernant n'importe quel domaine d'intérêt. Les règles doivent avoir cette forme : «Si (un nombre quelconque d'antécédents --- y compris zéro antécédents) puis ( conclusion ) . " Les antécédents doivent être connectés avec le "et" la conjonction. Une fois les règles sont en place, vous pouvez soumettre une question et le programme va répondre « oui», « non» ou « ne peut pas dire . "
Quantification

une autre raison d' utiliser Prolog , c'est qu'il est très facile d'exprimer les choses en Prolog qui sont difficiles à exprimer en d'autres langues . Il est facile d'exprimer des faits en Prolog , mais il est également facile d'exprimer des relations complexes parce que Prolog utilise la logique de quantification à la place de la logique simple utilisée par d'autres langues. Quantification signifie simplement qu'une variable peut avoir des attributs --- en d'autres termes , ce n'est pas seulement «Si A et B puis C " il peut aussi être «Si A ( a, b, c) et B (m, n) alors C (a, b , n) ", où a, b, c , m et n sont des attributs de a, B et C. Par exemple, si Between ( x , y, z ) et entre (x, k , y) puis entre (x, k , z) " serait difficile d'exprimer dans une autre langue --- il serait certainement prendre plus d'une ligne dans une autre langue.
unification
Photos

La raison pour laquelle beaucoup de gens choisissent Prolog , c'est qu'il va rechercher automatiquement une réponse. Cela peut être fait dans d'autres langues , mais ce n'est pas automatique et impliquerait des centaines ou des milliers de lignes de code. Prolog devient vraiment son puissance des outils logiques, tels que la quantification et l'unification . unification signifie simplement que deux choses ne doivent pas être égale à correspondre aussi longtemps qu'ils peuvent être rendus égaux en utilisant une liste de substitutions . par exemple, P (j, g ) n'est pas égal P ( k, g ), mais ils peuvent être rendus égaux si (j = k) est sur la liste de remplacement. unification , il est facile de chercher quelque chose parce que quand Prolog répond «oui» ou «non» il revient aussi la substitution liste qui est nécessaire pour faire fonctionner les choses . Par exemple, si le fait Dog (riche , benji ) est dans votre base de données et vous demander le "Dog (riche , x) " question. Prolog retournera " oui " et la liste de substitution (x = benji ) .