LINUX.ORG.RU

Пролог же это просто ЯП, файлы создаёт выполняемый код, что именно запускаете? И почему тема в Desktop?

mky ★★★★★
()

Что я делаю не так?

Пускаешь его от root и не указываешь в конфигурации какой-то префикс?

tailgunner ★★★★★
()
Ответ на: комментарий от mky

Пролог же это просто ЯП, файлы создаёт выполняемый код, что именно запускаете? И почему тема в Desktop?

prolog - ЯП, а swi-prolog - реализация с интерпретатором swipl.

user@user-HP-Notebook:/$ ll
total 128
drwxr-xr-x  27 root root  4096 Mar 31 21:13 ./
drwxr-xr-x  27 root root  4096 Mar 31 21:13 ../
drwxr-xr-x   2 root root  4096 Mar  4 21:18 bin/
drwxr-xr-x   3 root root  4096 Mar 31 21:15 boot/
drwxr-xr-x   2 root root  4096 Dec 17 22:18 cdrom/
drwxr-xr-x  21 root root  4640 Apr  1 11:56 dev/
drwxr-xr-x 167 root root 12288 Mar 31 21:38 etc/
drwxr-xr-x   5 root root  4096 Feb 17 20:05 home/
drwxr-xr-x   3 root root  4096 Jan  6 18:23 include/
lrwxrwxrwx   1 root root    32 Mar  8 14:46 initrd.img -> boot/initrd.img-4.4.0-66-generic
lrwxrwxrwx   1 root root    32 Mar  1 14:40 initrd.img.old -> boot/initrd.img-4.8.0-39-generic
drwxr-xr-x  24 root root  4096 Mar 22 20:01 lib/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib32/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib64/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 libx32/
drwx------   2 root root 16384 Dec 17 22:15 lost+found/
drwxr-xr-x   3 root root  4096 Dec 18 00:39 media/
drwxr-xr-x   5 root root  4096 Mar 12 23:41 mnt/
drwxr-xr-x   6 root root  4096 Mar 23 14:32 opt/
dr-xr-xr-x 235 root root     0 Apr  1 11:55 proc/
drwx------  17 root root  4096 Mar 19 12:40 root/
drwxr-xr-x  28 root root   840 Apr  1 11:58 run/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 sbin/
drwxr-xr-x   2 root root  4096 Apr 19  2016 snap/
drwxr-xr-x   2 root root  4096 Apr 21  2016 srv/
dr-xr-xr-x  13 root root     0 Apr  1 16:17 sys/
drwxrwxrwt  14 root root  4096 Apr  1 16:17 tmp/
drwxr-xr-x  15 root root  4096 Jan  6 17:29 usr/
drwxr-xr-x  15 root root  4096 Mar 17 20:19 var/
lrwxrwxrwx   1 root root    29 Mar  8 14:46 vmlinuz -> boot/vmlinuz-4.4.0-66-generic
lrwxrwxrwx   1 root root    29 Mar  1 14:40 vmlinuz.old -> boot/vmlinuz-4.8.0-39-generic
user@user-HP-Notebook:/$ sudo apt install swi-prolog
swi-prolog       swi-prolog-bdb   swi-prolog-doc   swi-prolog-java  swi-prolog-nox   swi-prolog-odbc  swi-prolog-x

...

The following NEW packages will be installed:
  libbsd-dev libedit-dev libncursesw5-dev libreadline-dev libreadline6-dev swi-prolog swi-prolog-nox swi-prolog-x

...

user@user-HP-Notebook:/$ ll
total 792
drwxr-xr-x  27 root root   4096 Apr  1 16:19 ./
drwxr-xr-x  27 root root   4096 Apr  1 16:19 ../
-rw-r--r--   1 root root  21502 Mar  3 00:18 archive.html
drwxr-xr-x   2 root root   4096 Mar  4 21:18 bin/
drwxr-xr-x   3 root root   4096 Mar 31 21:15 boot/
drwxr-xr-x   2 root root   4096 Dec 17 22:18 cdrom/
drwxr-xr-x  21 root root   4640 Apr  1 11:56 dev/
drwxr-xr-x 167 root root  12288 Apr  1 16:19 etc/
drwxr-xr-x   5 root root   4096 Feb 17 20:05 home/
-rw-r--r--   1 root root 321364 Mar  3 00:18 http.html
-rw-r--r--   1 root root   3878 Mar  3 00:18 httpserver.gif
drwxr-xr-x   3 root root   4096 Jan  6 18:23 include/
lrwxrwxrwx   1 root root     32 Mar  8 14:46 initrd.img -> boot/initrd.img-4.4.0-66-generic
lrwxrwxrwx   1 root root     32 Mar  1 14:40 initrd.img.old -> boot/initrd.img-4.8.0-39-generic
drwxr-xr-x  24 root root   4096 Mar 22 20:01 lib/
drwxr-xr-x   2 root root   4096 Mar 22 20:01 lib32/
drwxr-xr-x   2 root root   4096 Mar 22 20:01 lib64/
-rw-r--r--   1 root root  13672 Mar  3 00:18 libedit.html
drwxr-xr-x   2 root root  12288 Mar 22 20:01 libx32/
drwx------   2 root root  16384 Dec 17 22:15 lost+found/
drwxr-xr-x   3 root root   4096 Dec 18 00:39 media/
drwxr-xr-x   5 root root   4096 Mar 12 23:41 mnt/
-rw-r--r--   1 root root  15059 Mar  3 00:18 nlp.html
drwxr-xr-x   6 root root   4096 Mar 23 14:32 opt/
-rw-r--r--   1 root root   4282 Mar  3 00:18 pdt.html
-rw-r--r--   1 root root  67585 Mar  3 00:18 pldoc.html
-rw-r--r--   1 root root  39124 Mar  3 00:18 plunit.html
dr-xr-xr-x 237 root root      0 Apr  1 11:55 proc/
-rw-r--r--   1 root root  36882 Mar  3 00:18 protobufs.html
-rw-r--r--   1 root root   5415 Mar  3 00:18 readline.html
drwx------  17 root root   4096 Mar 19 12:40 root/
drwxr-xr-x  28 root root    840 Apr  1 16:19 run/
drwxr-xr-x   2 root root  12288 Mar 22 20:01 sbin/
-rw-r--r--   1 root root 113901 Mar  3 00:18 sgml.html
drwxr-xr-x   2 root root   4096 Apr 19  2016 snap/
drwxr-xr-x   2 root root   4096 Apr 21  2016 srv/
dr-xr-xr-x  13 root root      0 Apr  1 16:17 sys/
drwxrwxrwt  14 root root   4096 Apr  1 16:17 tmp/
drwxr-xr-x  15 root root   4096 Jan  6 17:29 usr/
drwxr-xr-x  15 root root   4096 Mar 17 20:19 var/
lrwxrwxrwx   1 root root     29 Mar  8 14:46 vmlinuz -> boot/vmlinuz-4.4.0-66-generic
lrwxrwxrwx   1 root root     29 Mar  1 14:40 vmlinuz.old -> boot/vmlinuz-4.8.0-39-generic
-rw-r--r--   1 root root  11142 Mar  3 00:18 zlib.html
devalone ★★
() автор топика
Ответ на: комментарий от tailgunner

Пускаешь его от root и не указываешь в конфигурации какой-то префикс?

apt? Ну естественно, а как его ещё запускать?

user@user-HP-Notebook:/$ ll
total 128
drwxr-xr-x  27 root root  4096 Mar 31 21:13 ./
drwxr-xr-x  27 root root  4096 Mar 31 21:13 ../
drwxr-xr-x   2 root root  4096 Mar  4 21:18 bin/
drwxr-xr-x   3 root root  4096 Mar 31 21:15 boot/
drwxr-xr-x   2 root root  4096 Dec 17 22:18 cdrom/
drwxr-xr-x  21 root root  4640 Apr  1 11:56 dev/
drwxr-xr-x 167 root root 12288 Mar 31 21:38 etc/
drwxr-xr-x   5 root root  4096 Feb 17 20:05 home/
drwxr-xr-x   3 root root  4096 Jan  6 18:23 include/
lrwxrwxrwx   1 root root    32 Mar  8 14:46 initrd.img -> boot/initrd.img-4.4.0-66-generic
lrwxrwxrwx   1 root root    32 Mar  1 14:40 initrd.img.old -> boot/initrd.img-4.8.0-39-generic
drwxr-xr-x  24 root root  4096 Mar 22 20:01 lib/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib32/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib64/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 libx32/
drwx------   2 root root 16384 Dec 17 22:15 lost+found/
drwxr-xr-x   3 root root  4096 Dec 18 00:39 media/
drwxr-xr-x   5 root root  4096 Mar 12 23:41 mnt/
drwxr-xr-x   6 root root  4096 Mar 23 14:32 opt/
dr-xr-xr-x 235 root root     0 Apr  1 11:55 proc/
drwx------  17 root root  4096 Mar 19 12:40 root/
drwxr-xr-x  28 root root   840 Apr  1 11:58 run/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 sbin/
drwxr-xr-x   2 root root  4096 Apr 19  2016 snap/
drwxr-xr-x   2 root root  4096 Apr 21  2016 srv/
dr-xr-xr-x  13 root root     0 Apr  1 16:17 sys/
drwxrwxrwt  14 root root  4096 Apr  1 16:17 tmp/
drwxr-xr-x  15 root root  4096 Jan  6 17:29 usr/
drwxr-xr-x  15 root root  4096 Mar 17 20:19 var/
lrwxrwxrwx   1 root root    29 Mar  8 14:46 vmlinuz -> boot/vmlinuz-4.4.0-66-generic
lrwxrwxrwx   1 root root    29 Mar  1 14:40 vmlinuz.old -> boot/vmlinuz-4.8.0-39-generic
user@user-HP-Notebook:/$ sudo apt install swi-prolog
swi-prolog       swi-prolog-bdb   swi-prolog-doc   swi-prolog-java  swi-prolog-nox   swi-prolog-odbc  swi-prolog-x

...

The following NEW packages will be installed:
  libbsd-dev libedit-dev libncursesw5-dev libreadline-dev libreadline6-dev swi-prolog swi-prolog-nox swi-prolog-x

...

user@user-HP-Notebook:/$ ll
total 792
drwxr-xr-x  27 root root   4096 Apr  1 16:19 ./
drwxr-xr-x  27 root root   4096 Apr  1 16:19 ../
-rw-r--r--   1 root root  21502 Mar  3 00:18 archive.html
drwxr-xr-x   2 root root   4096 Mar  4 21:18 bin/
drwxr-xr-x   3 root root   4096 Mar 31 21:15 boot/
drwxr-xr-x   2 root root   4096 Dec 17 22:18 cdrom/
drwxr-xr-x  21 root root   4640 Apr  1 11:56 dev/
drwxr-xr-x 167 root root  12288 Apr  1 16:19 etc/
drwxr-xr-x   5 root root   4096 Feb 17 20:05 home/
-rw-r--r--   1 root root 321364 Mar  3 00:18 http.html
-rw-r--r--   1 root root   3878 Mar  3 00:18 httpserver.gif
drwxr-xr-x   3 root root   4096 Jan  6 18:23 include/
lrwxrwxrwx   1 root root     32 Mar  8 14:46 initrd.img -> boot/initrd.img-4.4.0-66-generic
lrwxrwxrwx   1 root root     32 Mar  1 14:40 initrd.img.old -> boot/initrd.img-4.8.0-39-generic
drwxr-xr-x  24 root root   4096 Mar 22 20:01 lib/
drwxr-xr-x   2 root root   4096 Mar 22 20:01 lib32/
drwxr-xr-x   2 root root   4096 Mar 22 20:01 lib64/
-rw-r--r--   1 root root  13672 Mar  3 00:18 libedit.html
drwxr-xr-x   2 root root  12288 Mar 22 20:01 libx32/
drwx------   2 root root  16384 Dec 17 22:15 lost+found/
drwxr-xr-x   3 root root   4096 Dec 18 00:39 media/
drwxr-xr-x   5 root root   4096 Mar 12 23:41 mnt/
-rw-r--r--   1 root root  15059 Mar  3 00:18 nlp.html
drwxr-xr-x   6 root root   4096 Mar 23 14:32 opt/
-rw-r--r--   1 root root   4282 Mar  3 00:18 pdt.html
-rw-r--r--   1 root root  67585 Mar  3 00:18 pldoc.html
-rw-r--r--   1 root root  39124 Mar  3 00:18 plunit.html
dr-xr-xr-x 237 root root      0 Apr  1 11:55 proc/
-rw-r--r--   1 root root  36882 Mar  3 00:18 protobufs.html
-rw-r--r--   1 root root   5415 Mar  3 00:18 readline.html
drwx------  17 root root   4096 Mar 19 12:40 root/
drwxr-xr-x  28 root root    840 Apr  1 16:19 run/
drwxr-xr-x   2 root root  12288 Mar 22 20:01 sbin/
-rw-r--r--   1 root root 113901 Mar  3 00:18 sgml.html
drwxr-xr-x   2 root root   4096 Apr 19  2016 snap/
drwxr-xr-x   2 root root   4096 Apr 21  2016 srv/
dr-xr-xr-x  13 root root      0 Apr  1 16:17 sys/
drwxrwxrwt  14 root root   4096 Apr  1 16:17 tmp/
drwxr-xr-x  15 root root   4096 Jan  6 17:29 usr/
drwxr-xr-x  15 root root   4096 Mar 17 20:19 var/
lrwxrwxrwx   1 root root     29 Mar  8 14:46 vmlinuz -> boot/vmlinuz-4.4.0-66-generic
lrwxrwxrwx   1 root root     29 Mar  1 14:40 vmlinuz.old -> boot/vmlinuz-4.8.0-39-generic
-rw-r--r--   1 root root  11142 Mar  3 00:18 zlib.html

devalone ★★
() автор топика
Ответ на: комментарий от devalone
user@user-HP-Notebook:/$ sudo apt purge swi-prolog*

...

The following packages will be REMOVED:
  swi-prolog* swi-prolog-nox* swi-prolog-x*

...

user@user-HP-Notebook:/$ ll
total 128
drwxr-xr-x  27 root root  4096 Apr  1 16:25 ./
drwxr-xr-x  27 root root  4096 Apr  1 16:25 ../
drwxr-xr-x   2 root root  4096 Mar  4 21:18 bin/
drwxr-xr-x   3 root root  4096 Mar 31 21:15 boot/
drwxr-xr-x   2 root root  4096 Dec 17 22:18 cdrom/
drwxr-xr-x  21 root root  4640 Apr  1 11:56 dev/
drwxr-xr-x 167 root root 12288 Apr  1 16:25 etc/
drwxr-xr-x   5 root root  4096 Feb 17 20:05 home/
drwxr-xr-x   3 root root  4096 Jan  6 18:23 include/
lrwxrwxrwx   1 root root    32 Mar  8 14:46 initrd.img -> boot/initrd.img-4.4.0-66-generic
lrwxrwxrwx   1 root root    32 Mar  1 14:40 initrd.img.old -> boot/initrd.img-4.8.0-39-generic
drwxr-xr-x  24 root root  4096 Mar 22 20:01 lib/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib32/
drwxr-xr-x   2 root root  4096 Mar 22 20:01 lib64/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 libx32/
drwx------   2 root root 16384 Dec 17 22:15 lost+found/
drwxr-xr-x   3 root root  4096 Dec 18 00:39 media/
drwxr-xr-x   5 root root  4096 Mar 12 23:41 mnt/
drwxr-xr-x   6 root root  4096 Mar 23 14:32 opt/
dr-xr-xr-x 235 root root     0 Apr  1 11:55 proc/
drwx------  17 root root  4096 Mar 19 12:40 root/
drwxr-xr-x  28 root root   840 Apr  1 16:25 run/
drwxr-xr-x   2 root root 12288 Mar 22 20:01 sbin/
drwxr-xr-x   2 root root  4096 Apr 19  2016 snap/
drwxr-xr-x   2 root root  4096 Apr 21  2016 srv/
dr-xr-xr-x  13 root root     0 Apr  1 16:17 sys/
drwxrwxrwt  14 root root  4096 Apr  1 16:25 tmp/
drwxr-xr-x  15 root root  4096 Jan  6 17:29 usr/
drwxr-xr-x  15 root root  4096 Mar 17 20:19 var/
lrwxrwxrwx   1 root root    29 Mar  8 14:46 vmlinuz -> boot/vmlinuz-4.4.0-66-generic
lrwxrwxrwx   1 root root    29 Mar  1 14:40 vmlinuz.old -> boot/vmlinuz-4.8.0-39-generic
devalone ★★
() автор топика
Ответ на: комментарий от anonymous

На Debian не похоже. Там swi-prolog собран с libreadline, не с libedit.

TeopeTuK ★★★★★
()
Ответ на: комментарий от TeopeTuK

Что за дистрибутив?

ubuntu

$ uname -a
Linux user-HP-Notebook 4.8.0-39-generic #42~16.04.1-Ubuntu SMP Mon Feb 20 15:06:07 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux
$ lsb_release -a
Distributor ID: Ubuntu
Description:    Ubuntu 16.04.2 LTS
Release:        16.04
Codename:       xenial

devalone ★★
() автор топика
Ответ на: комментарий от TeopeTuK

И никаких нестандартных репозиториев не подключал? Тогда, и правда, надо баг репортить, получается.

Точно, я подключал PPA отсюда http://www.swi-prolog.org/build/PPA.txt уже не помню зачем, сейчас убрал и поставил с официальных репозиториев, мусора не появилось. Спасибо.

devalone ★★
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.