In Prolog, What are some reasons assert and retract could cause the query to fail?

Question

I am applying the Logic De Morgan rule to all nodes of a set. Whenever I assert/retract the nodes matching the specified format, the query seems to stop there and return no.