Title: Database extensions to PROLOG (Part 1)