Poplog is multi-paradigm language allowing both logic and impertative styles of programming in the same system. It was developed in the early 1980s as an implementation of Prolog in POP-11, and is still under ongoing development.
Used on page 428
Links:
cs.bham.ac.uk: The Free Poplog Portal- Wikipedia: Poplog