[PPL-devel] question about ppl and prolog.