db/conf/xp/Maier83.html David Maier Is Prolog a Database Language? 1983 conf/xp/1983 XP4.5 Workshop on Database Theory db/conf/xp/xp1983.html#Maier83 XP/1983/maier.pdf