Wat is Prolog?

Opgevat in het begin van de jaren zeventig, proloog, waarschijnlijk een combinatie van het woordenprogramma en logica, is een van de eerste computerprogrammeertalen.Mede omdat het een zeer eenvoudige code is, met behulp van eerste orderlogica en weinig berekening, is het nog steeds in populair gebruik.De oorspronkelijke instructieset is aanzienlijk vergroot en ontwikkeld tot veel varianten omdat deze bijzonder geschikt is om taal te verwerken.Deze twee primaire attributen van het programma bieden de verwerking van toepassingen zoals kunstmatige intelligentie en geautomatiseerde telecommunicatie.

Prolog gebruikt formele, eerste orderlogica.De instructies die naar een computer worden geüpload, zijn stevig;Ze hebben geen fuzzy, computationele weging.In expressie is de syntaxis van de taal een eindige set regels en de semantiek worden gedefinieerd, meestal door sets zoals enkele descriptoren, meerdere lijsten en strings, of door een bereik zoals numerieke sequenties.

Samen met enkele beter bekende codering zoals HyperText Markup Language (HTML), bevindt Prolog zich in een klasse van software die gewoonlijk declaratieve programmeertalen wordt genoemd, die kenmerkend de eenvoudige verklaring "X gelijk is aan Y", gedefinieerd als een 'term'.Een computer wordt verteld wat hij moet doen;Het wordt niet geïnstrueerd om op zichzelf te berekenen hoe je daar kunt komen.De computer krijgt een reeks feiten met een 'predicaat' en relaties, gedefinieerd als een 'clausule', waaruit een invoerquery een echte versus valse uitvoerconclusie zou moeten opleveren.Het voert geen algoritme uit, maar ontleent eerder een eenvoudig antwoord door het toe te voegen en af te trekken of te negeren van de bekende set definities.Computeren in proloog wordt gebruikt om theorieën en hun onderliggende veronderstellingen te testen en te bewijzen, van geavanceerde wiskunde tot biologie tot filosofie.

Een van de cognitieve theorieën van intelligentie is dat er een grote maar eindige lexicale opslag van informatie in de hersenen is die wordt opgehaald, verwerkt en teruggevoed, wat resulteert in een grotere complexiteit of eenvoud van de informatie.Met toenemende geheugencapaciteit en snelle toegang is dit het dominante paradigma dat de Heilige Grail Mdash van Computer Science heeft aangedreven;kunstmatige intelligentie.Wat volgens velen in het veld de sleutel is, is interface en taal.Proloogprogrammering kan worden gebruikt om GUI's te maken, de grafische gebruikersinterface ontwikkeld door Apple , door eenvoudigweg visuele symbolen te definiëren.Het kan ook worden gebruikt om gezichtsuitdrukking te lezen, te vertalen en te creëren.

Computationele taalkunde is aanzienlijk moeilijker, en hoewel Prolog in de loop der jaren is gevorderd om bijvoorbeeld de unieke grammaticale principes van sommige vreemde talen op te nemen, vragen veel onderzoekers, vragen veel onderzoekers.of het de taal effectief vertegenwoordigt.Voor beperkte expertsystemen, zoals geautomatiseerde spraakherkenning technische ondersteuning telefoonlijnen, wordt prolog programmeren tot op zekere hoogte gebruikt.Het kan ook worden geïntegreerd in Logic Software Mdash met hogere orde;Kwantificering van talen zoals C+ of Java Mdash;Maar compressie en draagbaarheid blijven problemen die doorgaan voor deze data-intensieve programmeertaal.