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