Describir: Building expert systems in prolog /