Text this: Prolog And Expert Systems Kenneth A. Bowen