Minimale Modellsemantik für Logikprogramme mit Negation-as-Failure