Items that were previously optional extras and are now part of the standard package no longer need to be listed as available.

Problems for poplog users that have been removed no longer need to be listed on the main page.

For a few years after Fedora Core 4 came out there were problems running Poplog because of interactions with new Linux security mechanisms. These problems have now been fixed.
(The problems are described here.)

Items now in standard linux Poplog distribution

Several of the packages that started as separate add-ons
are now included in the latest distribution bundles.

Note: most of the packages will be in the form of a gzipped tar file or a zip file, e.g. bhamteach.tar.gz These should be unpacked in the $poplocal/local/ directory in order to be conveniently accessible. You can put them in a different place if you understand how to manipulate the search lists used by Ved and the Poplog compilers.
If you have fetched poplog from Birmingham you should already have a shell script in $poplocal/local/com/install_package that can be used to install most of the tar.gz files without hassle. If you don't have it you can fetch it from here (Don't forget to make it executable before using it. See MAN chmod.)

NB: This is already included in the latest Poplog package for linux on PC.

A collection of teaching files, help files, autoloadable utilities and demonstration libraries is available packaged for the convenience of Birmingham AI students who wish to duplicate the teaching environment on their own machines running Poplog.

There are two bundles available

The package provides AI tutorial files, help files and supporting libraries produced mainly at Birmingham for teaching programming and elementary AI, including some Ved/Xved tutorials. Some of these are updated versions of the teach files and libraries distributed with Poplog.

The package includes the pattern prefix "!" which allows the Pop-11 pattern matcher to be used with lvars variables (lexical locals). The complete list of contents can be found here. The Pop-11 code files and the documentation files can be browsed online.


Several of the files in the "bhamteach" package are later versions of the same files included in the older "standard" Poplog distribution (V15.0, V15.5, V15.53). The newer versions have been installed in Poplog V15.6.

In some cases they correct mistakes in the older versions. In other cases they merely include extensions or enhancements, such as the use of the pattern prefix, which reduces the scope for bugs arising from use of the pattern matcher with dynamically scoped variables.

Most of these revised versions of old files were developed at Birmingham before Poplog became available free of charge, and were not incorporated into the standard distribution. Consequently if installed they will often "shadow" the "standard" versions, and this can cause confusion. Some of the files come from Sussex University, not Birmingham and are made available with permission of the authors.

Since version V15.6, these have now been fully merged with Poplog, and the new versions replace the old files.

A bundle of teaching and library files added after Poplog came to Birmingham.
Now included in current releases of Linux poplog.

This is available in a single 2 Mbyte (approx) file containing a basic collection of the teaching materials and pop-11 utilities in the bhamteach package mentioned below, and also the rclib and rcmenu packages, installation scripts, scripts for rebuilding saved images, and the "!" pattern prefix which allows the pop-11 pattern matcher to use lexically scoped variables.

NOTE for Windows users:

the package for Windows/NT poplog does not include any of the graphical facilities since they are usable only with unix/linux/VMS versions of Poplog.

Previous problems for poplog users, now resolved.

Problems with Poplog on versions of Linux using Selinux
(Now Fixed, in Poplog Version 15.62)

The problem described below, involved security extensions to linux (SELinux). For more information about SELinux see SELinux/Understanding: SELinux for dummies or Security-Enhanced Linux (Wikipedia)
This problem prevented poplog saved images running unless launched using 'setarch', but setarch was not available on all systems that set SELinux by default.
The problem has now been fixed (so far only for 32-bit Linux poplog), thanks to changes supplied by Waldek Hebisch. (Department of mathematics, Politechnika Wroclawska, Poland.)
(Unfortunately, this version still seems not to work on the original Asus EEE, for reasons that may be connected with the use of Xandros linux. The latest poplog (v15.63) has been tested successfully on a newer Asus EEE running Archlinux.)

The 'setarch' problem:
Problems with SELinux security mechanisms (Fixed in Version 15.62)
Users of Linux Poplog found problems installing and running Poplog on Fedora Core 4, 5 and 6, CentOS 5, and other versions of Linux using the SELinux security mechanisms by default.

For information about SELinux see SELinux/Understanding: SELinux for dummies or Security-Enhanced Linux (Wikipedia)
The symptoms include pop-11, xved or other saved images, not starting at all or intermittently producing 'segmentation fault', 'access violation' or 'stack empty' errors.

These problems turned out to be results of security enhancements introduced by RedHat and included in precompiled kernels for Fedora Core, even though recent kernels fetched from all work with Poplog if they are compiled and installed without the security enhancements. However, it seems likely that the security enhancements will increasingly be turned on by default. The version of poplog v15.61 made available on 11 Sep 2007 was designed to get round these problems, both during installation and after, by using the 'setarch' command described below, to run poplog. However this mechanism has been superseded in the latest version of Poplog.

Explanation of the problem
John Duncan drew attention to the warnings and suggestions on this web page, provided by Dag Wieers, which explains what is going on:

Previous solutions (not needed since Poplog v15.62):

For more information, please see the above compatibility web page.

This file maintained by:

Aaron Sloman
Last Updated: 27 Dec 2011