php-syntax-validator-prolog