Title: Semantik komponierter modularer logischer Programme mit integrierten objektorientierten Vererbungsmechanismen