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 in Chap. 18: page 299
Links:
cs.bham.ac.uk:
The Free Poplog Portal
Wikipedia:
Poplog