Implementing Persistent Prolog: Large, Dynamic, Shared Procedures in Prolog (Ellis Horwood Series in Computers and Their Applications)