The External Storage Facility in SICStus Prolog
H. Nilsson · 1991
The SICStus Prolog External Database implements an efficient way of storing possibly non-ground Prolog terms on disk with indexing on user specified parts of the terms. The model and the implementation are described and some performance data are given. Contents 1 Introduction 2 2 Background 2 3 Notation in this Report 3 4 The Design 3 4.1 Superimposed Codewords : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 4.2 Dynamic Hashing : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 4.3 The algorithm in SICStus : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 5 The Implementation 9 5.1 Memory Administration : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 9 5.2 Language Details : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 6 Performance 10 6.1 Method of Measurement : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 6.2 The Hardware : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 6....