Cool REPL
The repl
branch contains work by Thorsten Wißmann trying to implement a REPL for Cool. It is unclear whether that branch can be salvaged given all the changes that were meanwhile made however the idea of having a REPL for interactive logic exploration is still worthwhile.
See also Perl’s Term::Shell http://search.cpan.org/~shlomif/Term-Shell-0.05/lib/Term/Shell.pod