TietojaTheLogicProgramminguage
Prologisbasedontheprocessingoffirst-orderpredicatecalculus,duetoitssimplegrammar,richexpressivenessanduniquenon-procedurallanguageThecharacteristicsofitareverysuitableforexpressinghumanthinkingandreasoningrules,whichhaswonthewidespreadinterestofartificialintelligenceresearchandapplicationdeveloperswhenitcameout.Erityisesti.JapanalsolistEdPrologasthecorelanguageInitsFifth-sukupolvi ComputErtResearchPlanProPoosedIn1979.
PrologisActuleDuctIVerAsoningTechniqueBasedonReverserules, ButtherESTricTrictionSontheexpressionofrulesandGoals.Yhdistetty.
THEPROLIGLAGE
TheBasiccomponentenftheprologLanguageisHornClause, ilmaisee,
∧∧∧p;
IntheprologLanguage, thehornclausetakesthreeformstheyRespectivedResentThThRePartsOftheProblem-SolvingDescriptionInReversEductIVersioning.
Kohde
ITisexPresseDasahornClausewithOnlytheleftPart:
∧∧∧;
Se, intheprologiguage, theTtargetFormulaislimitedTobeexpresseDastheconjunctionofatomisformulas, ja cannotBeanYTextAndorformformformFormormformFormormformFormormformFormFormFormFormFormFormForm.
Sääntö
ExpressEDEATYPicalHornClause:
∧∧∧p
TämäSenormalisoituabruleuseDInReversEductiver -kausiluonto, buttheleftPartoftherAlimitedToTheconjunctionofatomicFormulas.PIRENTTHANARBITRYWORDSADORSHAPES.
Tosiasiat
FacSarerePresentedasacollectionoffactelements, jaAchfactelementisRepresentedasahornClausewithOnlyTherightpart, seis, asingleatomicFormulap.ImplisiittisetConjunctiverelationsbet offactelements.
AslongasthethreePartsOftheProblemdescriptionAareexpressedinPrologLangage, thereasoningMechanismSupportsPrologsencenceswillautomautersFormrule-pohjainen RAKENNEDUTTIVIVER-MAASEMAA JA FINALLAYGIVEANSWERS.
BecausethegoalandTheeleftPartoftherulesarelimitedTottheconjunctionofatomisformulas, theseatomicformulascanActivatiMultiplerules.Siksi theand-orgraphestableybyProlog'ductIiver-kausiluontoprocesshasanand-reorelationhipThatalternateSlayerBylayer.ImeDedownwardExpansionOfTandorgraph, AconsistentsolutionGraphwillEventuleMormorded (haki) ja mielenosoituksenaineiden kausiluontot.
TheatomicformulasconteineTHetRetArereGardedassub-tavoitteet.Aina kun se on theatomicformulasonTheLefTOTHEnTHEANID-ORGRAPH, theatomicfornulasontheleftoftherulebenewsub-gaalsandheTheDactivaTeanewrule;.
ominaisuudet
TheprologLanguageisquitesimple, butThedescriptioniableSyverstrong.Forexample, kunTosiasiatandrulesDescribetheaxioMofaciciScipline.ViestihirblemisthePropositionTobeproved; WhenTosiasiatAndrulesDescribeciEnAndRelationship, kolmesTheproblemisadataqueryStatement; WhenTosiasiatAndrulesDesCietuStateChateChanAws.Siksi PrologLanguageisanIntelligentProgramminglage.
PROLOGPROGRAMHASNOSPIFIFIFICRUNNINGSSEADINEN JA THEHESEQUESOFRUNNINGTHEPROGRAMISCIREDOUTOUTCOMPLEYYINACCORDANCEWHOMATEMATICALLOGICICDUCTION (DIGESTIONMETHOD).ITISNOTDETERMINDBYTHEPROGRAMER.PrologisadescriptILanguageThatusSaspesificMethodTodescribeProblem ja sentHEcomputerauttomaticalfindstheanswertOtheProblem.TakeaNextremeexample: WhenthefactsandrulesareEstabled, youonlyneedTotellitacitquequestion, jaTewillautomaticalfindTheanswer.
TherearenocontrolflowStaTementSuchasif, tapaus ja forintheprologprogram.Alihankinta, ohjelmoijatDonotNeedTounderStantherunningProcessOfTheProgramm, vain.Prologalsoprovidessomethodsforcontrollingprogramflow, joka on kuitenkin, että.