@KentHaines I'm not sure how old your son is. Raymond Smullyan is one of my absolute favourite puzzle writers. I would definitely recommend anything by him
@DavidKButlerUoA This feels alot like a programming language where you have the various symbols marking different lines of your script and a second symbol marking the program's output.