The term meta-programming refers to the ability of writing programs that have other programs as data and exploit their semantics . The choice of logic programming as a basis for meta-programming offers a number of practical and theoretical advantages. One of them is the possibility of tackling critical foundation problems of meta-programming within a framework with a strong theoretical basis. Another is the surprising ease of programming. These reasons motivated an intensive research on meta-programming inside the logic programming community ,,,,.
|Title of host publication||Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2001), 3-7 December 2001, Havana, Cuba|
|Editors||R. Nieuwenhuis, A. Voronkov|
|Place of Publication||Berlin|
|Publication status||Published - 2001|
|Name||Lecture Notes in Computer Science|