Files
-rwxr-xr-x | 4425032 | root | root | /usr/bin/ppl_pl |
-rwxr-xr-x | 4651524 | root | root | /usr/lib/ppl/libppl_swiprolog.so |
-rw-r--r-- | 988 | root | root | /usr/lib/ppl/ppl_swiprolog.pl |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ppl-swiprolog-0.10.2 |
-rw-r--r-- | 1468 | root | root | /usr/share/doc/ppl-swiprolog-0.10.2/README.swiprolog |