Metastructures vs. Attributed Variables in the Context of Extensible Unification
 |
 |
 |
abstract = {We relate two mechanisms which aim at the extension of logic programming languages. The first mechanism directly extends syntactic unification through the introduction of a data type, whose (unification) semantics are specified through user-defined predicates. The second mechanism was utilized for the implementation of coroutining facilities, and was independently derived with optimal memory management for various Prolog extensions in mind. Experience from the application of both mechanisms to the realization of CLP languages, without leaving the logic programming context, enables us to reveal similarities and the potential with respect to this task. Constructive measures that narrow or close the gap between the two conceptual schemes are provided.},
apice = {AttribvarPlilp1992},
author = {Christian Holzbaur},
booktitle = {Programming Language Implementation and Logic Programming},
doi = {10.1007/3-540-55844-6_141},
editor = {Maurice Bruynooghe and Martin Wirsing},
eisbn = {978-3-540-47297-1},
isbn = {978-3-540-55844-6},
isbn10 = {3-540-55844-6},
issn = {0302-9743},
note = {4th International Symposium (PLILP'92), Leuven, Belgium, 26-28 August 1992. Proceedings},
numpages = 9,
openalex = {W1586826229},
pages = {260--268},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Metastructures vs. Attributed Variables in the Context of Extensible Unification},
url = {https://link.springer.com/10.1007/3-540-55844-6_141},
volume = 631,
year = 1992
}
