Updates on Dec 28th --------------------- 1) fixed a couple of bugs in write_table a) it now appends to the output file instead of overwriting it. b) the sort option works 2) couple of changes to pipelining a) made ib efficient by computing backtrack points for each rule at compile time, instead of at run-time (as was being done) b) added automatic index generation 3) changed trace and profile to take an adorned relation name as argument instead of relation template. This means that now a particular exported form alone can be traced/profiled, or rather, the entire module corresponding to the exported form. The syntax is now profile(anc(bf)), etc. One result of this is that ONLY derived relations can be traced/profiled :: which seems to make sense. 4) fixed the imperative module to dump out the temporary file at run time instead of at compile time. Earlier, there was a problem with a lot of temporary files being created at compile time, and they have to be present at run-time for the program to run. Now instead, there is a standalone executable that can be run from any directory, and using links. 5) all temporary files are now created in /tmp, ensuring that we wont have any problems with things like consult/write_table/display_defaults etc, even if the current directory does not give write permissions. 6) fixed a bug in intelligent backtracking (where arith-expression arguments were not being handled properly) 7) added the quit builtin predicate that, when executed, gracefully ends any current computation, and then causes the parser to return, thus ending the session. 8) changed much of the directory structure !! Got rid of meaningless names like dump and mlib :: instead, there's a src directory. Also, have moved some files around, and renamed a couple (there's no longer anything called an iterative relation :: its a derived-relation now). so you might need to spend a bit of time reorganizing your coral directory to reflect the changes in /var/coral 9) added a global make_include file in coral/ that is included in the makefiles of src, and magic and interface. Any global flags, etc need to be set here in make_include. Also, read the installation document in coral/doc : it contains some instructions that you might find useful to set an env variable CORALROOT, etc. 10) there is some CORAL documentation in coral/doc