Describir: Prolog and expert systems /