翻訳と辞書
Words near each other
・ copy and paste
・ copy member
・ copy module
・ copy protection
・ copybook
・ copybroke
・ copying garbage collection
・ copyleft
・ copyright
・ copywronged
coral
・ coral 66
・ corba
・ corbie
・ corc
・ core
・ core cancer
・ core dump
・ core gateway
・ core leak


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

coral : 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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.