PROLOG: The language and its implementation compared with LISP