Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]: 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)