Mit Hilfe der Prädikatenlogik können wir Beziehungen zwischen Objekten elegant beschreiben und gleichzeitig mit Variablen über unendlich viele Objekte quantifizieren. Die Prädikatenlogik zusammen mit dem automatischen Beweisen stellt ein mächtiges Werkzeug für die symbolische KI dar, das heute zum Beispiel bei Planungsproblemen in der Robotik oder beim Autonomen Fahren verwendet wird.