|
|
|
The demo
application is started. When all files are read the ‘s’ (= step) command is
given and the first step in the inferencing process is executed. After each
step a certain amount of information is shown:
|
|
After ‘goal:’
the current goal is shown i.e. the current RDF triple that the engine tries
to resolve.
|
|
After
‘goallist:’ the current goallist is shown i.e. the list of the outstanding
goals (informally, the triples that have to be proved).
|
|
After
‘substitution:’ an empty list is shown in this slide because no substitutions
have been done up till now.
|
|
After ‘history:’
nothing appears, because there is not yet an history. The history will, piece
by piece, build the proof of a solution.
|
|
The variables
are prefixed with a prefix e.g. _1?X. This is a renaming of the variables
with a unique name because there are variables with a local scope that can
have the same name in different scopes. Though having the same name, they are
really different variables.
|
|
For
understanding the events in this trace it is best to make abstraction of
these prefixes.
|