Generating Prolog++ code from specifications
Details
Please click here