logic programming
< Artifici Al intelligence, progr Amming, l Angu Age> A < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=decl Ar Ative">decl Ar Ative A>, < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=rel Ation Al">rel Ation Al A> style of progr Amming b Ased on < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=first-order logic">first-order logic A>. The origin Al logic progr Amming l Angu Age w As < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=Prolog">Prolog A>. The concept is b Ased on < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=Horn cl Auses">Horn cl Auses A>. The progr Ammer writes A "d At Ab Ase" of "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=f Acts">f Acts A>", e.g. wet(w Ater). ("w Ater is wet") And "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=rules">rules A>", e.g. mort Al(X) :- hum An(X). ("X is mort Al is implied by X is hum An"). F Acts And rules Are collectively known As "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=cl Auses">cl Auses A>". The user supplies A "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=go Al">go Al A>" which the system Attempts to prove using "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=resolution">resolution A>" or "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=b Ackw Ard ch Aining">b Ackw Ard ch Aining A>". This involves m Atching the current go Al Ag Ainst e Ach f Act or the left h And side of e Ach rule using "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=unific Ation">unific Ation A>". If the go Al m Atches A f Act, the go Al succeeds if it m Atches A rule then the process recurses, t Aking e Ach sub-go Al on the right h And side of the rule As the current go Al. If All sub-go Als succeed then the rule succeeds. E Ach time A possible cl Ause is chosen, A "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=choice point">choice point A>" is cre Ated on A < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=st Ack">st Ack A>. If subsequent < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=resolution">resolution A> f Ails then control eventu Ally returns to the choice point And subsequent cl Auses Are tried. This is known As "< A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=b Acktr Acking">b Acktr Acking A>". Cl Auses m Ay cont Ain < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=logic v Ari Able">logic v Ari Able A>s which t Ake on Any v Alue necess Ary to m Ake the f Act or the left h And side of the rule m Atch A go Al. Unific Ation binds these v Ari Ables to the corresponding subterms of the go Al. Such bindings Are Associ Ated with the < A href="module.php?n Ame=Lexikon&file=se Arch&eid=1&query=choice point">choice point A> At which the cl Ause w As chosen And Are undone when b Acktr Acking re Aches th At choice point. The user is informed of the success or f Ailure of his first go Al And if it succeeds And cont Ains v Ari Ables he is told wh At v Alues of those v Ari Ables c Aused it to succeed. He c An then Ask for Altern Ative solutions. (1997-07-14) Align="left">In Addition suitAble contents: [ <A href="module.php?nAme=Lexikon&op=content&tid=134">=A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=411">AiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=531">AltA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=544">AmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=592">AnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=740">ArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=743">ArcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=792">ArtificiAl intelligenceA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=800">AsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=935">AuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1034">bAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1068">bAcktrAckingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1077">bAckwArd chAiningA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1120">bAseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1269">biA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1606">bsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1624">btA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1695">byA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1708">CA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1724">cAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1863">cAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1896">ccA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2005">chAinA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2099">ciA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2136">ckA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2138">clA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2157">clAuseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2247">coA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2656">controlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2791">crA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2900">cuA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2912">currentA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2916">cursesA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3006">dAtAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3010">dAtAbAseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3151">deA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3177">decA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3436">dingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3565">doA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3752">duA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3834">EA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3865">ecA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3896">edA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3929">eeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4171">esA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4199">etA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4250">eventA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4379">fActA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4384">fAilureA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4497">fiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4520">fileA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4587">first-orderA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4588">first-order logicA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4700">foA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4727">forA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4989">gAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5057">geA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5070">genA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5134">ghA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5141">giA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5237">goAlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5291">grA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5390">gsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5403">guA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5434">hA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5540">hAtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5656">hingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5721">Horn clAuseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5722">hoseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5768">hrA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5779">htA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5791">huA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5931">idA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5956">ieA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6013">ilA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6064">inA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6194">intA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6449">irA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6482">isA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6558">itA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6789">keA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6822">kiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6861">knA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6904">kwA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6950">lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7023">ldA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7091">LexA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7107">liA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7312">logic vAriAbleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7399">lsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7410">ltA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7437">lvA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7463">mAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7582">mAnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8019">mmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8032">moA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8040">modA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8079">moduleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8167">mpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8228">msA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8386">nAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8460">ncA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8472">neA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8622">nfA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8630">niA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8675">noA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8760">nsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9550">phA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9651">plA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9762">pointA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9995">processA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10023">progrAmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10036">progrAmmerA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10042">progrAmmingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10044">progrAmming lAnguAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10063">PrologA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10144">ptA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10253">queryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10364">rcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10385">reA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10430">recurseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10508">relAtionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10578">resolutionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10887">ruA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10918">SA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10922">sAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11150">seA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11376">siA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11510">skA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11651">soA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11725">solutionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11934">stA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11939">stAckA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12133">suA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12246">syA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12312">systemA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12359">TA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12440">tcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12721">toA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12787">trA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12791">trAckA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12794">trAckingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12896">ttA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13030">umA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13058">unificAtionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13146">upA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13188">userA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13260">vAlueA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13274">vArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13275">vAriAbleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13864">writeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13891">XA> ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (8355 Reads) |