Queries with Variables

Queries can also be of the form:

?- plus(2,3,X).
?- plus(2,4,Y).

where uppercase letters denote variables.

Now the interpreter will answer

 X = 5

for first query and

 Y = 6

for second query.

This seems to be doing some computing.

But nothing new from imperative or functional programming yet.