Behind the grammar notation
{"Image DocumentName": "Behind the grammar notation", "Image ImageDescription": "Prolog in fact converts these rules into ordinary prolog when it reads them in. a --> b, c. Converted to: a(Words, Rest) :- b(Words, Temp), c(Temp, Rest). Words and Rest are lists. So we have: a list of words can be parsed as constituent a, with Rest words left over. This is ok if the list can be parsed as a b , with Temp words left over, and Temp can be parsed as a c with Rest left over. You may see this underlying form when tracing.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}