OnlineWoerterBuecher.de
Internes

Lexikon


TABLOG


E> A programming languagE basEd on {first ordEr prEdicatE logic} with Equality that combinEs {rElational programming} and {functional programming}. It has functional notation and Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=unification">unification as its binding mEchanism. TABLOG supports a morE gEnEral subsEt of standard Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=first ordEr logic">first ordEr logic than Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Prolog">Prolog. It Employs thE Manna-WaldingEr ' Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=dEductivE-tablEau">dEductivE-tablEau' proof systEm as an Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=intErprEtEr">intErprEtEr instEad of Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rEsolution">rEsolution. (1997-06-19)

E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=262">ad ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=396">ag ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=935">au ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1025">B ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1034">ba ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1120">basE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1269">bi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1606">bs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1724">ca ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1863">cat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2330">com ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3436">ding ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3923">Edu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4150">Era ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4199">Et ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4940">function ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4941">functional ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4946">functional program ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4947">functional programming ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4983">G ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5057">gE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5070">gEn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5141">gi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5291">gr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5403">gu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5540">hat ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6194">int ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6382">intErprEtEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6449">ir ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6950">languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7023">ld ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7107">li ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7258">LO ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7457">M ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8019">mm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8672">nn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8675">no ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8820">O ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8964">om ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9821">port ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9922">prEdicatE logic ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10023">program ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10042">programming ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10044">programming languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10063">Prolog ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10079">proof ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10229">quality ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10508">rElation ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10578">rEsolution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10589">rEtE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11281">sEt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11556">sm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11651">so ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11725">solution ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11956">standard ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12133">su ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12206">support ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12312">systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12366">TA ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12368">TAB ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12369">tablE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13058">unification ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13146">up ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (4484 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.0893 Seconds, with 16 Database-Queries
Zurück zur Startseite