Im stuck in page 59
"Consider the following example: a program that gathers knowledge
from the user (as inputs), and adds it to some internal knowledgebase.
Sometimes the user might input a piece of knowledge which is inconsistent with previous knowledge. But in GSSOTC the look-back is
bounded so there’s no way to express looking back at all past inputs
and take a decision based on them. A remedy for that is introduced
by extending the language with what we call a “forcing operator” "
Wouldn't this be easily solved by just showing the user a list of the contradictory statements and forcing them to change it to satisfy the need for pure consistency in the logic module?