机译:REPRESENTING COBOL IN PROLOG — TOWARDS PROGRAM COMPREHENSION AND REENGINEERING
German National Research center for Information Technology, Research Institute for Computer Architecture and Software Technology, GMD-FIRST, Rudower Chaussee 5, 12489 Berlin, Germany;
Reengineering; COBOL; logic programming; prolog; specification language;