Variables: How Variables Get Their Values
Prolog has no assignment statement; this is a significant distinction between Prolog and other programming languages.Variables in Prolog get their values by being matched to constants in facts or rules.
This is a very important point: You can't store information by giving a value to a variable. Variables are used as part of the pattern-matching, process, not as a kind of information storage.