[PPL-devel] Prolog documentation incorrect