1. Fast decompilation of compiled clauses;Buettner,1986
2. Implementation techniques for Prolog databases;Clocksin;Software — Practice & Experience,1985
3. Logic for Problem Solving;Kowalski,1979
4. An integrated implementation of Prolog database operations;Liangliang;Future Generation Computer Systems,1990
5. Architectural studies on a sequential Prolog machine;Liangliang,1990