A System For Specialising Logic Programs
John P. Gallagher · 2009
1 This report describes SP, a system for specialising logic programs. The report functions as a user's manual for SP, and also contains the algorithms employed and arguments for their correctness. A number of examples of program specialisation are given in Appendix A.