Què és Prolog
- Prolog significa programació en lògica. En el paradigma de programació lògica, el llenguatge pròleg és el més àmpliament disponible. Prolog és un llenguatge declaratiu, el que significa que un programa consta de dades basades en fets i regles (relació lògica) en lloc de calcular com trobar una solució. Una relació lògica descriu les relacions que es mantenen per a l'aplicació donada.
- Per obtenir la solució, l'usuari fa una pregunta en lloc d'executar un programa. Quan un usuari fa una pregunta, per determinar la resposta, el sistema de temps d'execució cerca la base de dades de fets i regles.
- El primer pròleg va ser 'Marseille Prolog', que es basa en l'obra de Colmerauer. El principal exemple de llenguatge de programació de quarta generació va ser prolog. Admet el paradigma de programació declarativa.
- El 1981, un projecte informàtic japonès de 5thes va anunciar la generació. Després d'això, es va adoptar Prolog com a llenguatge de desenvolupament. En aquest tutorial, el programa es va escriure al pròleg d'Edimburg 'estàndard'. Els pròlegs de la família PrologII són l'altre tipus de pròlegs descendents de Marseille Prolog.
- Les característiques del pròleg són 'Variable lògica', el que significa que es comporten com una estructura de dades uniforme, una estratègia de retrocés per cercar proves, una funció de concordança de patrons, una variable matemàtica i l'entrada i sortida són intercanviables.
- Per deduir la resposta, hi haurà més d'una manera. En aquest cas, es demanarà al sistema de temps d'execució que trobi una altra solució. Per generar una altra solució, utilitzeu l'estratègia de retrocés. Prolog és un llenguatge poc tipificat amb regles d'abast estàtic i verificació de tipus dinàmica.
- Prolog és un llenguatge declaratiu que significa que podem especificar quin problema volem resoldre en lloc de com resoldre'l.
- Prolog s'utilitza en algunes àrees com la base de dades, el processament del llenguatge natural, la intel·ligència artificial, però és bastant inútil en algunes àrees com un algorisme numèric o gràfics d'instància.
- En aplicacions d'intel·ligència artificial s'utilitza prolog. Les aplicacions d'intel·ligència artificial poden ser sistemes de raonament automatitzats, interfícies de llenguatge natural i sistemes experts. El sistema expert consta d'un motor d'interfície i una base de dades de fets. El sistema de temps d'execució del pròleg proporciona el servei d'un motor d'interfície.
- Un entorn de programació lògica bàsica no té valors literals. Un identificador amb majúscules i altres identificadors denoten variables. Els identificadors que comencen amb lletres minúscules denoten valors de dades. Els elements bàsics de Prolog són sense tipus. La majoria d'implementacions de prolog s'han millorat per incloure valors enters, caràcters i operacions. El mecanisme de pròleg descriu les tuples i les llistes.
- El llenguatge de programació funcional i el pròleg tenen algunes similituds com Hugs. Un programa lògic s'utilitza per consistir en la definició de relacions. Un llenguatge de programació funcional s'utilitza per consistir en una seqüència de definicions de funcions. Tant la programació lògica com la programació funcional es basen en gran mesura en definicions recursives.
Aplicacions de Prolog
Les aplicacions del pròleg són les següents:
- Llenguatge d'especificació
- Planificació de robots
- Comprensió del llenguatge natural
- Aprenentatge automàtic
- Solucionar problemes
- Recuperació intel·ligent de bases de dades
- Sistema expert
- Raonament automatitzat
Requisit previ
Abans d'aprendre Prolog,
Públic
El nostre tutorial Prolog està dissenyat per ajudar a principiants i professionals.
estàtica al c
Problemes
Assegurem que no trobareu cap problema en aquest Tutorial Pròleg. Però si hi ha algun error, si us plau, publiqueu el problema en un formulari de contacte.