A solution of a goal: yes, no or halt (an error), with the values a yes solution binds to the variables of the goal
The values a yes solution binds to the variables of the goal, by their names
The error of a halt solution
The goal, as a yes solution solves it (its variables bound), otherwise as it was asked, as Prolog text
What the solution is: yes, no or halt
The variables of the goal a yes solution binds (an array in JavaScript)
The variables of the goal a yes solution binds
The value a yes solution binds to the variable of the goal named name, as Prolog text
The value a yes solution binds to the variable of the goal named name