1. <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=ClAss Oriented Ring AssociAted LAnguAge">ClAss Oriented Ring AssociAted LAnguAgeA>. 2. A <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=deductive dAtAbAse">deductive dAtAbAseA> And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=logic progrAmming">logic progrAmmingA> system bAsed on <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Horn-clAuse">Horn-clAuseA> rules with extensions like <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=SQL">SQLA>' s <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=group-by">group-byA> And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=AggregAtion">AggregAtionA> operAtors. CORAL wAs developed At the University of Wisconsin-MAdison. It is implemented in C++ And hAs A <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Prolog">PrologA>-like <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=syntAx">syntAxA>. MAny evAluAtion techniques Are supported, including {bottom-up fixpoint evAluAtion} And top-down {bAcktrAcking}. {Modules} Are sepArAtely compiled different evAluAtion methods cAn be used in different modules within A single progrAm. Disk-resident dAtA is supported viA An interfAce to the <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Exodus">ExodusA> storAge mAnAger. There is An on-line help fAcility. It requires <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=AT&T">AT&TA> <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=C++">C++A> 2.0 (or <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=G++">G++A> soon) And runs on <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=DecstAtion">DecstAtionA> And <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Sun-4">Sun-4A>. <A href="ftp://ftp.cs.wisc.edu/">A>. (1993-01-29)

Align="left">In Addition suitAble contents:
[ <A href="module.php?nAme=Lexikon&op=content&tid=31">2A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=134">=A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=262">AdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=396">AgA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=399">AggregAtionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=432">ALA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <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=800">AsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=893">ATA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=925">AT&TA> ] [ <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=1120">bAseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1181">beA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1444">boA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1501">botA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1503">bottomA> ] [ <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=1712">C++A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1724">cAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <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=2154">ClAss Oriented Ring AssociAted LAnguAgeA> ] [ <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=2330">comA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2606">consA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2976">DA> ] [ <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=3210">deductive dAtAbAseA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3371">diffA> ] [ <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=3649">downA> ] [ <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=3923">eduA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3946">egA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4150">erAA> ] [ <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=4246">evAluAtionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4354">extensionA> ] [ <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=4595">fixA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4602">fixpointA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4983">GA> ] [ <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=5141">giA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5171">glA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5291">grA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5377">groupA> ] [ <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=5681">hnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5768">hrA> ] [ <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=5986">iffA> ] [ <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=6068">incA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6194">intA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6274">interfAceA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6446">iqA> ] [ <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=6918">lAA> ] [ <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=7151">lineA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7310">logic progrAmmingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7457">MA> ] [ <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=7817">methodA> ] [ <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=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=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8630">niA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8760">nsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8820">OA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8964">omA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8988">on-lineA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9014">opA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9071">operAtorA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9100">ORA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9204">pAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <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=9821">portA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10023">progrAmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10042">progrAmmingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10063">PrologA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10198">QA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10210">QLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10253">queryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10256">quesA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10304">RALA> ] [ <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=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10887">ruA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10892">runA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10918">SA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11010">scA> ] [ <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=11506">sitA> ] [ <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=11889">SQLA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11934">stA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12065">storAgeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12133">suA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12170">SunA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12206">supportA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12246">syA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12295">syntAxA> ] [ <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=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12721">toA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12777">tpA> ] [ <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=13146">upA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13366">viA> ]