Describir: Program design for knowledge based systems /