Title: Compiling knowledge-based systems specified in KFE to Ada
Subjects: Ada (Computer program language), Expert systems (Computer science)