Title: Datenparallele Auswertung rekursiver logischer Programme