Poplog
Poplog is a multi-language programming system which includes its own Common Lisp implementation, as well as Standard ML, Prolog, and Pop-11. The Poplog system features its own editor, ved, and extensive online help and tutorials.

Although originally a commercial product, a new, open source version, Free Poplog, has been made available for no cost. It runs on a variety of Unix and linux platforms as well as Windows 95/98/NT/2000

An excellent resource for Poplog can be found at http://www.poplog.org/. As of 2011-01-10, the domain is for sale.

A more up to date source of poplog, along with documentation, additional packages and a version packaged for linux+PC can be found here (at the University of Birmingham): http://www.cs.bham.ac.uk/research/poplog/freepoplog.html

Another such environment seems to be Xerox PARC ILU system.

prolog