Some flags can be set in the application. as fact of the Prolog theory.
to generate the BP labelling with no completeness requiremnet.
to write in the output tab all the step that led to a parcticular labelling (according to definition 4.2 of Calegari and Sartor 2020).
The engine can be queried via two API:
build and prints (in the output tab) the argument and the statement labellings according to the provided theory.
answerQuery(Goal, In, Out, Und).
allow to query the engine about a given Goal. The result are collected in the In, Out, Und lists respectively.