 unknown(-Old, 
+New)
unknown(-Old, 
+New)trace (meaning error) and fail. 
If the unknown flag 
is set to
warning, unknown/2 
reports the value as trace.
 unknown(-Old, 
+New)
unknown(-Old, 
+New)trace (meaning error) and fail. 
If the unknown flag 
is set to
warning, unknown/2 
reports the value as trace.