[PPL-devel] ppl/interfaces/Prolog/tests pl_check.pl