General use of the QuLog Interpreter

The QuLog interpreter is essentially the same as a Prolog interpreter - queries are entered and the interpreter responds by calling the query and displaying answers. There are some differences, most notably is that the QuLog interpreter carries out type and mode checking on each query (in a similay way to when it checks the body of a rule).