Semantics of logic programs their intuitions and formal properties ; an overview - Dix, Jürgen 1961- (Fachberichte Informatik, 1993)