Terms

Many concepts identified by the DQL abstract syntax are also identified in the survey paper.

DQL	survey
query pattern	goal
must-bind variables list and may-bind variables list	variable boundness and bindings list
query premise	@@@
justification request	proof
answer bundle	report
answer bundle size bound	number of rows
answer set	bindings
query answer	report or assertions
pattern restriction	goal characteristics
answer KB pattern	-
query	-
server	-
server continuation	-
binding set	???