Poplog

Page numbers are for draft copy at present; they will be replaced with correct numbers when final book is formatted. Chapter numbers are correct and will not change now.

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 Chap. 18: page 434