Grammar and added prolog links.