Rainer Manthey PROLOG + Datenbanken = deduktive Datenbanken? 6 1993 WLP db/conf/wlp/wlp93.html#Manthey93