| Home > Publications > Reports > Informatics (CW) |
CW 366
Bart Demoen, Phuong-Lan Nguyen
Supporting more types in the WAM: the hProlog tagging scheme
Abstract
Starting from dProlog, we develop hProlog to become a back end for HAL. We incorporate attributed variables, the data types string and character and support bigints. We describe how we managed to cater for all these, while not further restricting the heap address space and without efficiency loss. We explain the rationale behind some decisions, the effect on indexing, some new low-level built-in predicates and abstract machine instructions. The tagging scheme has room for extending it to other basic types.
report.pdf / mailto: B. Demoen