Logic program analysis by abstract hybrid interpretation (1989)