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