Große Sprachmodelle (LLMs) können die Ausführung von Logikprogrammen simulieren und deren Ergebnisse vorhersagen.