Preisanfrage zu Produkt "On Types and Type Consistency in Logic Programming"