🚀 go-pugleaf

Here is what I found out about Prolog libraries:

- There is one at Edinburgh.  It is available for 100 pounds.  Send to
  Natalie Honeyman at nh@aiai.edinburgh.ac.uk for information.  This is
  the DEC-10 Prolog Library.
- Supposedly there is one via an anonymous log-in to score.stanford.edu,
 but I have not been able to find anything resembling a Prolog library.
- Someone mentioned an anonymous log-in to arizona.edu.  A copy of SB-
  Prolog is available here.  As for a library, I haven't had the time
  to check it out.
- I have seen a reference to a Quintus Prolog File Library but have no
  idea how to reference it.

Sorry for what little information there is.  If anyone cares to augment
this please feel free to do so!