Qu'est-ce que Prolog?
Conçu au début des années 1970, Prolog, qui combine très probablement programme et mots, est l’un des premiers langages de programmation informatique. En partie parce qu'il s'agit d'un code très simple, utilisant une logique du premier ordre et peu de calcul, il est toujours utilisé. Le jeu d'instructions d'origine a été considérablement élargi et développé dans de nombreuses variantes, car il est particulièrement bien adapté au traitement de la langue. Ces deux attributs principaux du programme fournissent le traitement d'applications telles que l'intelligence artificielle et les télécommunications automatisées.
Prolog utilise une logique formelle du premier ordre. Les instructions téléchargées sur un ordinateur sont fermes; ils n'ont pas de pondération floue et informatique. Dans l'expression, la syntaxe du langage est un ensemble fini de règles et la sémantique est définie, généralement par des ensembles tels que des descripteurs uniques, des listes et des chaînes multiples, ou par une plage telle que des séquences numériques.
Outre certains codages mieux connus tels que le langage de balisage hypertexte (HTML), Prolog appartient à une classe de logiciels communément appelés langages de programmation déclaratifs, qui utilisent de manière caractéristique la simple déclaration «X est égal à Y», définie comme un «terme». dit quoi faire; il n'est pas chargé de calculer par lui-même comment s'y rendre. L'ordinateur reçoit un ensemble de faits avec un «prédicat» et des relations, définies comme une «clause», à partir desquelles une requête d'entrée doit générer une conclusion de sortie vraie par rapport à une fausse. Il n'exécute pas un algorithme, mais dérive plutôt une réponse simple en ajoutant et en soustrayant, ou en annulant, de son ensemble connu de définitions. L'informatique dans Prolog est utilisée pour tester et prouver les théories et leurs hypothèses sous-jacentes, des mathématiques avancées à la biologie en passant par la philosophie.
L'une des théories cognitives de l'intelligence est qu'il existe dans le cerveau un stock d'informations lexicales important mais limité, qui est récupéré, traité et renvoyé, ce qui entraîne une plus grande complexité ou simplicité des informations. Avec l'augmentation de la capacité de mémoire et l'accès rapide, c'est le paradigme dominant qui a conduit le Saint Graal de l'informatique - l'intelligence artificielle. Selon de nombreuses personnes sur le terrain, la clé est l'interface et le langage. La programmation Prolog peut être utilisée pour créer des interfaces graphiques, l’interface utilisateur graphique mise au point par Apple®, en définissant simplement des symboles visuels. Il peut également être utilisé pour lire, traduire et créer des expressions faciales.
La linguistique informatique est beaucoup plus difficile et, bien que Prolog ait progressé au fil des ans pour incorporer, par exemple, les principes grammaticaux uniques de certaines langues étrangères, de nombreux chercheurs se demandent s’il représente effectivement une langue. Pour les systèmes experts limités, tels que les lignes téléphoniques d'assistance technique à reconnaissance vocale informatisée, la programmation Prolog est utilisée avec un certain degré d'efficacité. Il peut également être intégré à un logiciel logique d'ordre supérieur - quantifiant des langages tels que C + ou java - mais la compression et la portabilité restent des problèmes persistants pour ce langage de programmation gourmand en données.