Querying a Logic Program

Now we can ask the Logic program interpreter queries like:

?- plus(2,3,6).
?- plus(1,4,3).
?- plus(1,1,2).

and it will correctly answer yes or no.