Я не пробовал. Стоит смотреть?

Я 1000 лет назад его скачивал, но дальше этого дело не пошло. С концептуальной точки зрения интересно. Больше добавить нечего.

Я даже не знаю, там всё в одном флаконе, quicklisp, mcclim не нужны.

Ну вот надо было по другому вопрос ставить.

Скомпилируйте poplog для Ubuntu 18, а то у меня

W: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/g/gcc-7/libstdc++-7-dev_7.4.0-1ubuntu1~18.04.1_amd64.deb 404 Not Found [IP: 91.189.88.142 80]

W: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/g/gcc-7/g++-7_7.4.0-1ubuntu1~18.04.1_amd64.deb 404 Not Found [IP: 91.189.88.142 80]

sudo apt update ?

Этого делать не буду, а то у меня всё рассыпется.

Дай ссылку на исходный код, попробую собрать.

Дай ссылку на исходный код, попробую собрать.

Всё что есть

Install packages required for Debian-based versions of linux, e.g. Ubuntu:

https://www.cs.bham.ac.uk/research/projects/poplog/V16/required-packages.html#ubuntu-required

run this script to complete the installation of poplog: http://www.cs.bham.ac.uk/research/projects/poplog/V16/getpoplog.sh

Вот ещё такое

https://www.youtube.com/playlist?list=PLYjykJNvEO9RjvebiQ10eRcfJF-R4ENmF

Под рукой только Ubuntu 16.04, но думаю на 18.04 тоже будет работать.

Распаковывать в /opt/:

7za e poplog.tar.7z
sudo tar -xvf poplog.tar -C /opt

Установка переменных окружения:

export usepop=`cat /opt/poplog/poplog_base/USEPOP`
source $usepop/pop/com/poplog.sh
Poplog Version 16 (64 bit)

Пример:

basepop11 

Sussex Poplog (Version 16.0001 Sat Oct  3 04:13:24 UTC 2020)
Copyright (c) 1982-1999 University of Sussex. All rights reserved.

Setpop
: 3 + 6 =>
** 9 
: sqrt(2) =>
** 1.414214

Motif тоже прилинковал, но примеров с ним не нашёл, не разбирался в общем. Буду рад, если подскажешь как окошко там запустить.

http://esxi.z-lab.me:666/~exl_lab/software/poplog.tar.7z (27 MiB)

@:~/opt$ export usepop=cat /opt/poplog/poplog_base/USEPOP

@:~/opt$ source $usepop/pop/com/poplog.sh

Poplog Version 16 (64 bit)

@:~/opt$ basepop11

basepop11: error while loading shared libraries: libXm.so.4: cannot open shared object file: No such file or directory

@:~/opt$

Что если:

sudo apt-get install libncurses5 libncurses5-dev libxext6 libxext-dev libx11-6 libx11-dev libxt-dev libmotif-dev ncurses-dev

Сделай ещё:

ldd /opt/poplog/poplog_base/pop/pop/basepop11

Чтобы посмотреть чего там у тебя нет. Могу всё это скинуть.

libncurses5 OK

libncurses5-dev OK

libxext6 OK

libxext-dev выплюнула такое, попробовать не удастся W: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/libx/libx11/libx11-dev_1.6.4-3ubuntu0.2_amd64.deb 404 Not Found [IP: 91.189.88.152 80]

ладно может когда-нибудь

ладно может когда-нибудь

404 бьёт потому что ты давно не синхронизировал пакеты. Ты обнови листинг пакетов без установки обновлений и пробуй ставить только то, что тебе нужно:

apt list --upgradable

Или:

apt-get --simulate upgrade

apt list –upgradable

тоже самое

W: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/main/libx/libx11/libx11-dev_1.6.4-3ubuntu0.2_amd64.deb 404 Not Found [IP: 91.189.88.152 80]

Давай пойдём от того, какие либы тебе кроме libXm нужны. Сделай:

ldd /opt/poplog/poplog_base/pop/pop/basepop11

apt-get –simulate upgrade

тоже самое

ldd /opt/poplog/poplog_base/pop/pop/basepop11

   @:~$ ldd /opt/poplog/poplog_base/pop/pop/basepop11
linux-vdso.so.1 (0x00007ffd153a9000)
libXm.so.4 => not found
libXt.so.6 => /usr/lib/x86_64-linux-gnu/libXt.so.6 (0x00007f4446d51000)
libX11.so.6 => /usr/lib/x86_64-linux-gnu/libX11.so.6 (0x00007f4446a19000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f4446815000)
libncurses.so.5 => /lib/x86_64-linux-gnu/libncurses.so.5 (0x00007f44465f2000)
libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f44463c8000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f444602a000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f4445c39000)
libSM.so.6 => /usr/lib/x86_64-linux-gnu/libSM.so.6 (0x00007f4445a31000)
libICE.so.6 => /usr/lib/x86_64-linux-gnu/libICE.so.6 (0x00007f4445816000)
libxcb.so.1 => /usr/lib/x86_64-linux-gnu/libxcb.so.1 (0x00007f44455ee000)
/lib64/ld-linux-x86-64.so.2 (0x00007f4446fba000)
libuuid.so.1 => /lib/x86_64-linux-gnu/libuuid.so.1 (0x00007f44453e7000)
libbsd.so.0 => /lib/x86_64-linux-gnu/libbsd.so.0 (0x00007f44451d2000)
libXau.so.6 => /usr/lib/x86_64-linux-gnu/libXau.so.6 (0x00007f4444fce000)
libXdmcp.so.6 => /usr/lib/x86_64-linux-gnu/libXdmcp.so.6 (0x00007f4444dc8000)
librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f4444bc0000)
libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f44449a1000)

wool@wool:~$

Попробуй:

sudo apt-get install libmotif4

Или:

sudo apt-get install libxm4

sudo apt-get install libxm4

вышло такое

        @:~$ ldd /opt/poplog/poplog_base/pop/pop/basepop11
	linux-vdso.so.1 (0x00007ffc97496000)
	libXm.so.4 => /usr/lib/x86_64-linux-gnu/libXm.so.4 (0x00007f73ff7ab000)
	libXt.so.6 => /usr/lib/x86_64-linux-gnu/libXt.so.6 (0x00007f73ff542000)
	libX11.so.6 => /usr/lib/x86_64-linux-gnu/libX11.so.6 (0x00007f73ff20a000)
	libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f73ff006000)
	libncurses.so.5 => /lib/x86_64-linux-gnu/libncurses.so.5 (0x00007f73fede3000)
	libtinfo.so.5 => /lib/x86_64-linux-gnu/libtinfo.so.5 (0x00007f73febb9000)
	libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f73fe81b000)
	libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f73fe42a000)
	libXmu.so.6 => /usr/lib/x86_64-linux-gnu/libXmu.so.6 (0x00007f73fe211000)
	libXext.so.6 => /usr/lib/x86_64-linux-gnu/libXext.so.6 (0x00007f73fdfff000)
	libfontconfig.so.1 => /usr/lib/x86_64-linux-gnu/libfontconfig.so.1 (0x00007f73fddba000)
	libXft.so.2 => /usr/lib/x86_64-linux-gnu/libXft.so.2 (0x00007f73fdba5000)
	libjpeg.so.8 => /usr/lib/x86_64-linux-gnu/libjpeg.so.8 (0x00007f73fd93d000)
	libpng16.so.16 => /usr/lib/x86_64-linux-gnu/libpng16.so.16 (0x00007f73fd70b000)
	libSM.so.6 => /usr/lib/x86_64-linux-gnu/libSM.so.6 (0x00007f73fd503000)
	libICE.so.6 => /usr/lib/x86_64-linux-gnu/libICE.so.6 (0x00007f73fd2e8000)
	libxcb.so.1 => /usr/lib/x86_64-linux-gnu/libxcb.so.1 (0x00007f73fd0c0000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f73ffc6d000)
	libfreetype.so.6 => /usr/lib/x86_64-linux-gnu/libfreetype.so.6 (0x00007f73fce0c000)
	libexpat.so.1 => /lib/x86_64-linux-gnu/libexpat.so.1 (0x00007f73fcbda000)
	libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f73fc9bb000)
	libXrender.so.1 => /usr/lib/x86_64-linux-gnu/libXrender.so.1 (0x00007f73fc7b1000)
	libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f73fc594000)
	libuuid.so.1 => /lib/x86_64-linux-gnu/libuuid.so.1 (0x00007f73fc38d000)
	libbsd.so.0 => /lib/x86_64-linux-gnu/libbsd.so.0 (0x00007f73fc178000)
	libXau.so.6 => /usr/lib/x86_64-linux-gnu/libXau.so.6 (0x00007f73fbf74000)
	libXdmcp.so.6 => /usr/lib/x86_64-linux-gnu/libXdmcp.so.6 (0x00007f73fbd6e000)
	librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f73fbb66000)

А программа-то запускается? Библиотеки вроде все которые ей нужны имеются.

А программа-то запускается?

$ basepop11

Sussex Poplog (Version 16.0001 Sat Oct 3 04:13:24 UTC 2020) Copyright (c) 1982-1999 University of Sussex. All rights reserved.

Setpop : clisp : (* 2 3)

;;; MISHAP - msep: MISSING SEPARATOR (eg semicolon) ;;; INVOLVING: 2 3 ;;; PRINT DOING ;;; DOING : ( pop_setpop_compiler

Setpop :

думаю что не работает

Setpop
: 2 * 3
: 2 * 3 =

;;; MISHAP - msep: MISSING SEPARATOR (eg semicolon)
;;; INVOLVING:  3 2 
;;; PRINT DOING
;;; DOING    :  pop_setpop_compiler 

Setpop

Ты же в синтаксисе путаешься.

По первому примеру, запускать clisp вместо basepop11:

$ clisp 

Sussex Poplog (Version 16.0001 Sat Oct  3 04:13:24 UTC 2020)
Copyright (c) 1982-1999 University of Sussex. All rights reserved.
Common Lisp (Version 2.0)

Setlisp
== (* 2 3)
6

По второму примеру у тебя =, а надо =>:

Setpop
: 2 * 3 =>
** 6

Графические примеры есть возможность запустить какие-нибудь?

Теперь выйти не могу

: exit => **

Выход на Ctrl+D, как и везде.

это не совсем хорошо

[code] $ clisp ;;; Warning: can’t open shared object libXm.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :
;;; Warning: can’t open shared object libXm.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :
;;; Warning: can’t open shared object libXt.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :
;;; Warning: can’t open shared object libXt.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :
;;; Warning: can’t open shared object libX11.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :
;;; Warning: can’t open shared object libX11.so (Inappropriate ioctl for ;;; device) ;;; PRINT DOING ;;; DOING :

Sussex Poplog (Version 16.0001 Sat Oct 3 04:13:24 UTC 2020) Copyright (c) 1982-1999 University of Sussex. All rights reserved. Common Lisp (Version 2.0)

Setlisp

[/code]

Теперь думаю что нет не стоит, полный отстой.

А сам clisp работает? X-библиотеки для графики. Если её не используешь, они не особо нужны. Если используешь – придётся видимо на твоей машине все это собирать. Наверное какие-то расхождения между 16.04 и 18.04 в плане X-библиотек имеются.

Вообще попробовал вот запустить код на этом poplog’e, вроде всё работает:

$ curl -LOJ http://www.math.uni.wroc.pl/~p-wyk4/pop11_en/example1.p
$ pop11 < example1.p 
Hello World

$ curl -LOJ http://www.math.uni.wroc.pl/~p-wyk4/pop11_en/example2.p
$ pop11 < example2.p
x = <undef>,  y = 7,  z = 7
x = 84,  y = 77,  z = 7

Брал примеры отсюда: http://www.math.uni.wroc.pl/~p-wyk4/pop11_en/

В любом случае, какая-то академическая фигня.

В любом случае, какая-то академическая фигня.

А вот и единственный разработчик

https://www.cs.bham.ac.uk/~axs/pics/aaron-sloman-181002.jpg

Ну что же, долгих лет жизни ему. Вот только не слишком благозвучное название он для своего проекта выбрал.

Продукт отстал от линукса, это ничего не говорит о его качестве. Скачивай современную ему версию убунты (где-то есть архив всех старых убунт, нагугли его) и поставь сначала на ней. Если он тебе понравится - уже думай о модернизации. Старую убунту разверни в виртуалке.

Продукт отстал от линукса, это ничего не говорит о его качестве.

Здесь, я думаю ты прав. Хотя на математику не проверял.

Скачивай современную ему версию убунты (где-то есть архив всех старых убунт, >нагугли его) и поставь сначала на ней. Если он тебе понравится - уже думай о >модернизации. Старую убунту разверни в виртуалке.

На это у меня времени нет, если только у кого посмотреть. Этот продукт должен подключаться к emacs. Без редактора тоска.

ЕСТЬ в пакете что-то, поковыряли бы, настроили под сегодняшний лад, может и преимущества перед sbcl какие появились бы.

Не хочу обижать тебя. Покрути проект сам, я просто не в состоянии, у меня другие вещи на первом месте.

Да мне-то нафиг он нужен? Я ни Prolog, ни Lisp особо не знаю. Я тебе лишь помочь старался с компиляцией всего этого под Ubuntu, вот и всё.

А дальше ты уже сам решай, нужно ли тебе это или нет.

Да мне-то нафиг он нужен? Я ни Prolog, ни Lisp особо не знаю.

Извини, я подумал ты из этих. Ты так быстро скомпилировал. За помощь огромное спасибо.