Stav dette: Prolog And Expert Systems Kenneth A. Bowen