Please use this identifier to cite or link to this item:
|Title:||Meta-programming in CLP(ℛ)|
|Citation:||Heintze, N.,Michaylov, S.,Stuckey, P.J.,Yap, R.H.C. (1997-12). Meta-programming in CLP(ℛ). Journal of Logic Programming 33 (3) : 221-259. ScholarBank@NUS Repository.|
|Abstract:||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(ℛ) - the manipulation of CLP(ℛ) programs in CLP(ℛ) is quite limited. The reason is that the equality of terms in CLP(ℛ) is not based on their syntactic structure. We propose an extended language, CLP(ℛ + script M sign;), in which programs may be represented and structurally manipulated. Importantly, CLP(ℛ + script M sign;) is not just a meta-language for CLP(ℛ), but it can also be used as its own meta-language. We present a decision algorithm for ℛ + script M sign; constraints, discuss implementation issues, and describe the implementation of a subclass of ℛ + script M sign; constraints. Finally, by building on the extended language, we present an integrated set of system predicates and a methodology for practical meta-programming. © Elsevier Science Inc., 1997.|
|Source Title:||Journal of Logic Programming|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Oct 12, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.