Issues in the Implementation of a Persistent Prolog

摘要: Persistence in Prolog is both a problem and an opportunity. A because at bottom static language. Therefore opportunity that there no impediment of existing language implementation structures to be cleared away: persistent can developed de novo. This paper reports consistent efficient implementations dynamic procedures, which make use bitmapped index enabling the store have great flexibility how it stores data. The processed high speed using inexpensive specialized hardware. resulting bitmap representation sets clauses used implement logically sound scheme for concurrency control uses optimistic strategy has fine granularity. Finally argued completely dynamically typed language, probably fundamentally so, but several approaches typing are noted.