../../Task/Inverted-syntax/Prolog