All Packages Class Hierarchy
null
zurück, falls diese Klausel keinen
Body
hat.
null
zurück, falls diese Klausel keinen
Head
hat.
Dabei wird ein Vector angelegt (falls keiner übergeben wurde), in den alle Variablen-Objekte hineingeschrieben werden, die bisher vorkamen.
internVars()
.
toString()
aus.
refute()
aufgerufen um den Modellgenerierungsprozess zu starten.
satchmo.prolog
.
satchmo.prolog
.
DataBase
zu beweisen.