Generating Prolog++ code from specifications

Details Please click here