Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


CORAL

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.

ftp://ftp.cs.wisc.edu/.

(1993-01-29)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017