Third party libraries

The following files are taken from the Edinburgh DEC-10 Prolog Library: