Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Yves Deville (Chair) Conference proceedings 1994 British Computer Society

ELUC

AMEND

,Specialising the Ground Representation in the Logic Programming Language G?del,ms have the advantage of having a declarative semantics and can be optimised by program specialisation, to execute in a time comparable to equivalent Prolog meta-programs which use a non-ground representation.