Methodological knowledge notation and implementation in expert systems by H.J. Ader