Anfragen in Prolog

• Fakten/Regeln, die der Interpreter lösen soll
• true, wenn lösbar, sonst false
• WENN freie Variablen in Query veerwendet werden, woird für diese Variablen erfüllende Belegung zurück gegeben

SWI-Prolog: Mit [SPACE] sucht Interpreter nach weiteren Belegungen