1. ClaSS Oriented Ring ASSociated Language. 2. A deductive databaSe and logic programming SyStem baSed on Horn-clauSe ruleS with extenSionS like SQL' S group-by and aggregation operatorS. CORAL waS developed at the UniverSity of WiSconSin-MadiSon. It iS implemented in C++ and haS a Prolog-like Syntax. 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 ExoduS Storage manager. There iS an on-line help facility. It requireS AT&T C++ 2.0 (or G++ Soon) and runS on DecStation and Sun-4. . (1993-01-29)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ad ] [ ag ] [ aggregation ] [ AL ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ aS ] [ AT ] [ at ] [ AT&T ] [ au ] [ b ] [ ba ] [ backtracking ] [ baSe ] [ be ] [ bo ] [ bot ] [ bottom ] [ by ] [ C ] [ C++ ] [ ca ] [ ch ] [ ci ] [ ck ] [ cl ] [ ClaSS Oriented Ring ASSociated Language ] [ clauSe ] [ co ] [ com ] [ con ] [ conS ] [ D ] [ data ] [ databaSe ] [ de ] [ deductive databaSe ] [ diff ] [ ding ] [ do ] [ down ] [ du ] [ E ] [ ec ] [ ed ] [ edu ] [ eg ] [ er ] [ era ] [ eS ] [ et ] [ evaluation ] [ extenSion ] [ fi ] [ file ] [ fix ] [ fixpoint ] [ G ] [ ga ] [ ge ] [ gi ] [ gl ] [ gr ] [ group ] [ gu ] [ h ] [ hn ] [ hr ] [ id ] [ ie ] [ iff ] [ il ] [ in ] [ inc ] [ int ] [ interface ] [ io ] [ iq ] [ ir ] [ iS ] [ it ] [ ke ] [ ki ] [ la ] [ Lex ] [ li ] [ line ] [ logic programming ] [ lu ] [ ly ] [ M ] [ ma ] [ man ] [ method ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ nS ] [ O ] [ om ] [ on-line ] [ op ] [ operator ] [ OR ] [ pa ] [ pe ] [ ph ] [ pl ] [ point ] [ port ] [ pr ] [ program ] [ programming ] [ Prolog ] [ Q ] [ QL ] [ query ] [ queS ] [ RAL ] [ rc ] [ re ] [ ro ] [ ru ] [ run ] [ S ] [ Sc ] [ Se ] [ Si ] [ Sit ] [ Sk ] [ So ] [ SQL ] [ St ] [ Storage ] [ Su ] [ Sun ] [ Support ] [ Sy ] [ Syntax ] [ SyStem ] [ T ] [ th ] [ to ] [ tp ] [ tr ] [ track ] [ tracking ] [ tt ] [ ua ] [ up ] [ uS ] [ va ] [ ve ] [ vi ]