Title: Translating Graphlog into Prolog