An Analysis of Prolog Database Views and Their Uniform Implementation