geändert:   prologtocorelogic.html