Text this: Prolog and expert systems