shell that uses deductive database for completions