PROLOG: a language for implementing expert systems