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)

N="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 ]