Deakstadieđáhus: Prolog and expert systems /