A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Meta-programming in CLP(R)
1997
The Journal of Logic Programming
A widely used property of Prolog is that it is possible to write Prolog programs to construct and manipulate other Prolog programs in a very general manner. Unfortunately, this property is not carried over to richer languages such as CLP(A')--the manipulation of CLP(~) programs in CLP(~') is quite limited. The reason is that the equality of terms in CLP(J~') is not based on their syntactic structure. We propose an extended language, CLP(~ +~t'), in which programs may be represented and
doi:10.1016/s0743-1066(96)00145-8
fatcat:m4xldmp4azaw3cut7jobxcbjvu