Updates checked in on July 6th ------------------------------ I've made the following changes : 1) imperative rules and queries are now executed using the same code as seminaive rules. For the moment, imperative rules should not have the same relation in the head and in the body. If desired, I can add code to create temporaries, etc. Queries are given a head literal called 'printa' (i.e print answer), which is a builtin Of course, this is invisible to the user. This prints out answers to the query in tuple form. All the variables involved in the query are printed. This will look slightly different from our current interface, so if you dont like it, all that needs to be changed is the solver for the builtin. 2) in order to get part 1 done, and to clean up the code a bit, i've split interp.C into three parts : compile.C : compile time stuff (module, sccs, etc) compile_rule.C : compile time seminaive rule generation execute.C. : run time code (bsn/psn code, initialization, etc) So you will all need to get rid of interp.C and instead link in these three files. I've also checked in a new Makefile to reflect these changes. 3) at the command line, we now have an additional option to say : connect to exodus. The default is _not_ to connect. Of course, if the code is compiled without the persistence flag, there is no question of connecting with exodus. The utility of this was learnt the hard way at sigmod, so if there are any other such flags that you think might be useful, we should add them. 4) the current CORAL code compiles and runs as is on the HP snakes. with the foll caveats : a) exodus not tested b) explain not tested (just got the lab to install Interviews) c) incr-load not done d) timer statistics incorrect. 5) the makefile in the main coral directory now has a dependency list called setup. If you want to set up all of CORAL, you can use the 'make setup' command. It requires you to set CORALROOT, and set MASTER in yr environment. You will also need to create a link from CORALROOT to MASTER/RCS. After that go to CORALROOT and run 'make -f $MASTER/makefile setup'. This creates all the links, etc. Do this to start out with a clean slate on CORAL. If there are any other such utilities that you think would be useful, please send me suggestions, and i'll try to do them soon. We should have all these ready by the time the next semester comes along. -praveen