Compiling knowledge-based systems specified in KFE to Ada | lit.salon