NOTE:will be changed in the near future.
return the solution of a query which is called once by call Throw an ArgumentException if there is no or more than one variable in the goal- goal (String)
- a goal with *one* variable
the bound variable of the first solution