PPT-Folie
Um festzustellen, was John besitzt, kann man die Frage besitzt(john,X) stellen. X ist dabei eine Variable.
Prolog antwortet dabei mit folgendem:
Variablen beginnen mit einem Großbuchstaben oder Unterstrich .
_ ist eine anonyme Variable. Bei dem Beispiel oben, würde _ anstatt X folgendes bedeuten: Besitzt John etwas? (Antwort: yes).