as i said in the title im trying to do an exercise where i need to write a DCG capable of reading propositional logic which are represented by lowercase letters, operators (not,
