Lecture notes in computer science vol:637 pages:454-472
International Workshop IWMM 92 location:St. Malo, France date:September 17–19, 1992
Aurora is an OR-parallel Prolog system whose implementation is based on the WAM, an efficient sequential implementation model. This paper discusses several issues related to parallel Garbage Collection (GC) in Aurora. The GC itself is a generalisation of GC techniques used for sequential Prolog.