09.03. Typ von Termen 1

Was antwortet Prolog auf die folgenden Anfragen?

Über den ‚Programmieren‘-Button kannst du es ausprobieren.

?- atom(a).
?- atom(7).
?- atom(X).
?- atomic(a).
?- atomic(7).
?- atomic(X).
?- atomic(mag(eis)).
?- var(X).
?- var(a).
?- X=a, nonvar(X).
?- number(12.1234).
?- number(3+4).
?- integer(12.1234).
?- number(2).
?- X=a, var(X).
?- var(X), X=a.